Releases · cubicle-model-checker/cubicle · GitHub

31 Oct 21:23

ddeclerck

Cubicle version 1.2.0 Latest

Latest

IMPROVEMENTS

Compatibility with OCaml 5.0

Assets 3

15 Jan 12:20

mebsout

Cubicle version 1.1.2

IMPROVEMENTS

Cubicle Emacs mode on MELPA (package-install cubicle-mode)

BUG FIXES

Compatibility with OCaml 4.06.0
Fix arithmetic buc in solver usage (set_cc)
Configure with OCaml 4.03.0 minimum
Fix issue with spurious trace replay

Assets 3