search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
628 stars 42 forks source link

Remove crucible-mc #1164

Closed langston-barrett closed 7 months ago

langston-barrett commented 7 months ago

Fixes #1122.

Ptival commented 7 months ago

Ok for me, let's check for @yav 's approval.