package electrod

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)

• Fix OPAM problem.

0.1.3 (2018-01-24)

• Fix OPAM problem.

0.1.2 (2018-01-24)

• First OPAM (tentative) release

• Joint switch to Jbuilder/Dune