civl

The Concurrency Intermediate Verification Language

Current version:
1.7-3157

Homepage: http://vsl.cis.udel.edu/civl/

Dependencies

civl requires the following formula to be installed:

Formula history

Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Martin Afanasjew civl: fix/update sha256 of tarball
Andrew Janke civl: remove cvc4 dependency
Martin Afanasjew civl: improve test
AlshammariA civl 1.7-3157 (new formula)