civl

The Concurrency Intermediate Verification Language

Current version:
1.7-3157

Revision: 1

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

Dependencies

civl requires the following formula to be installed:

Formula history

ilovezfscivl: use https for homepage and stable url
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Martin Afanasjewcivl: fix/update sha256 of tarball
Andrew Jankecivl: remove cvc4 dependency
Martin Afanasjewcivl: improve test
AlshammariAcivl 1.7-3157 (new formula)