nixpkgs / cubicle - An open source model checker for verifying safety properties of array-based systems

Homepage - http://cubicle.lri.fr/

License - Apache-2.0

Maintainers - Luc Chabassier

Outputs

out (expand/collapse)

Releases

1.1.2 (expand/collapse)
From commit 07a6bc6a to 00460bd6
1.1.1 (expand/collapse)
From commit 0289f4ad to 0289f4ad
1.1.2 (expand/collapse)
From commit 050dad29 to 00005ce0
1.1.1 (expand/collapse)
From commit 024ad6c4 to 024ad6c4
1.1.2 (expand/collapse)
From commit 03fddb13 to 05992022
1.1.1 (expand/collapse)
From commit 01a7d703 to 0134db94
1.0.2 (expand/collapse)
From commit 03bcadd4 to 03bcadd4
1.1.1 (expand/collapse)
From commit 00269f66 to 0711fe96
1.0.2 (expand/collapse)
From commit 07e2460a to 07e2460a
1.1.1 (expand/collapse)
From commit 07a6ae40 to 0094ca20
1.0.2 (expand/collapse)
From commit 01bf32de to 01bf32de
1.1.1 (expand/collapse)
From commit 00e27a28 to 0204936c
1.0.2 (expand/collapse)
From commit 064882e5 to 0034f9e5