GaloisInc / crucible
git clone https://github.com/GaloisInc/crucible.git
Crucible is a library for symbolic simulation of imperative programs
+0
stars, 24h · #47,856
+~0
stars, 7 days · #52,135
+~0
stars, 30 days · #52,729
780
★ total
48
forks · 233 open issues
Star history (as recorded here)
LanguageHaskell
LicenseBSD-3-Clause
Created2016-10-31 (9y ago)
Last push1d ago
OwnerOrganization
Links
README
Loading README…