Electrum Analyzer 0.3.5 is now released. It fixes a few bugs and adds a few improvements to the SMV file generation strategy.
It will soon be available through
Electrum Analyzer 0.3.4 is now released and available through opam, the package management system for OCaml.
In a shell, type the following to get it:
opam update opam install electrumAnalyzer
The dependencies for the package may be a bit over-constrained, this will be relaxed in the next release.
Electrum Analyzer is released under the GNU GPL 3.0 or later. It has been developed by Onera, with the participation of IRIT.
Also available in: Atom