Lib.rs

› Hardware support
#bit-vector #rtl #smt #model-checking #btor

libpatron

Hardware bug-finding toolkit

by Kevin Laeufer

46 releases (14 breaking)

0.16.0 Jan 6, 2024
0.14.1 Jan 2, 2024
0.14.0 Dec 18, 2023
0.1.0 Sep 5, 2023

#313 in Hardware support

Download history 131/week @ 2023-12-30 36/week @ 2024-01-06 11/week @ 2024-01-13 3/week @ 2024-02-24 27/week @ 2024-03-02 27/week @ 2024-03-09 8/week @ 2024-03-16 121/week @ 2024-03-30 47/week @ 2024-04-06 19/week @ 2024-04-13

187 downloads per month

BSD-3-Clause

2MB
6.5K SLoC

Patron

Dependencies

~3–11MB
~95K SLoC