0.2.3 (2019-09-22)
- fix compilation problems (depend on ocaml >= 4.05.0)
- use dune-build-info
0.2.2 (2019-09-21)
- switch to Iter and Stdlib
- reformat code
- fix bug related to update of Fmt
0.2.1 (2018-11-01)
- fix bug between Dune, Menhir and 4.07.1
- make compilable until 4.04
- add compilation testing for various versions of the compiler
0.2.0 (2018-10-25)
- migration to OPAM 2.0
- migration to Dune 1.4 (for better handling of Menhir)
- handle SIGTERM properly
- feature #993: add BMC mode
- bug #978: handle nested "always" in INVAR field
0.1.7 (2018-05-23)
- remove ocamlfind from dependencies
- handle child termination
0.1.6 (2018-05-09)
- fix opam problems... (sigh!)
0.1.5 (2018-05-09)
- fix lexical error on SMV trace parsing (GH#2)
- use short names when generating SMV files (#805)
- switch to jbuilder/dune & get rid of most ppx'es
- use hashconsing internally (improved compilation speed)
- fix parsing bug of parenthesized integer expressions
0.1.4 (2018-01-25)
- Fix OPAM problem. '+' sign poses a problem with Github releases or topkg??
0.1.3+2 (2018-01-25)
0.1.3 (2018-01-24)
0.1.2 (2018-01-24)
- First OPAM (tentative) release
- Joint switch to Jbuilder/Dune