package electrod
Formal analysis for the Electrod formal specification language
Install
Dune Dependency
Authors
Maintainers
Sources
electrod-0.1.7.tbz
md5=4a88e818d658569b86577905c8e9d97d
CHANGES.md.html
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)
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>