The Concurrency Intermediate Verification Language

Current versions

Revision: 1

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

Recent 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)

Formula code at GitHub