civl

The Concurrency Intermediate Verification Language
https://vsl.cis.udel.edu/civl/

Current versions
1.7-3157

Revision: 1

civl requires the following formula to be installed:
z3 4.5.0 High-performance theorem prover

Formula history

ilovezfs civl: use assert_predicate instead of File.exist?
Dominyk Tiller civl: drop unnecessary ENV
ilovezfs civl: use https for homepage and stable url
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)