Electrum Analyzer 0.3.5

Added by David Chemouil almost 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.


Comments