First public release of Electrod

Electrod is now available publically!
Ajouté par David Chemouil il y a 12 jours

Electrod is now available publically, under the MPL 2.0. This is a complete rewrite of our compiler for Electrum models, but working at a lower level (similar to the level of Kodkod for Alloy), while the upper layers are addressed by the new Electrum Analyzer (an evolution of the Alloy Analyzer), mainly developed by Nuno Macedo and Alcino Cunha at INESC TEC/U. Minho.


Commentaires