Electrum Analyzer 0.3.5

Ajouté par David Chemouil il y a environ un an

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.


Commentaires