@hackage afv0.0.1
Model checking Atom generated C.
Installation
Dependencies (0)
- base >=4 && <5
- bytestring >=0.9 && <1.0
- directory >=1.0 && <1.1
- language-c >=0.3.1.1
- mtl >=1.1 && <1.2
- process >=1.0 && <1.1 Show all…
Dependents (1)
@hackage/acme-everything
A model checker for Atom generated, or similar, C code.