News

Electrum Analyzer 0.3.5

Added by David Chemouil about 3 years ago

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 opam too.

Electrum Analyzer 0.3.4 released and added to OCaml's opam

Added by David Chemouil almost 4 years ago

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.

First public release of the Electrum Analyzer

Added by David Chemouil almost 4 years ago

Electrum Analyzer is released under the GNU GPL 3.0 or later. It has been developed by Onera, with the participation of IRIT.

(1-3/3)

Also available in: Atom