brew install civl
Concurrency Intermediate Verification Language
https://vsl.cis.udel.edu/civl/
License: GPL-3.0-or-later and LGPL-3.0-or-later and BSD-3-Clause
Formula JSON API: /api/formula/civl.json
Formula code: civl.rb
on GitHub
Bottle (binary package) installation support provided.
Current versions:
stable | ✅ | 1.20-5259 |
Revision: 1
Depends on:
openjdk | 20.0.1 | Development kit for the Java programming language |
z3 | 4.12.2 | High-performance theorem prover |
Analytics:
Installs (30 days) | |
---|---|
civl |
0 |
Installs on Request (30 days) | |
civl |
0 |
Build Errors (30 days) | |
civl |
0 |
Analytics (macOS):
Installs (90 days) | |
---|---|
civl |
0 |
Installs on Request (90 days) | |
civl |
0 |
Installs (365 days) | |
civl |
144 |
Installs on Request (365 days) | |
civl |
144 |
Analytics (Linux):
Installs (90 days) | |
---|---|
civl |
0 |
Installs on Request (90 days) | |
civl |
0 |
Installs (365 days) | |
civl |
2 |
Installs on Request (365 days) | |
civl |
2 |