Alloy4Eclipse 0.2.24 (M2) released!
7 views
Skip to first unread message
DanArBer
Mar 13, 2008, 4:39:16 PM3/13/08
to Alloy 4 Eclipse users
Dear all,
We are proud to announce today the availability of Alloy 4 Eclipse
Milestone 2, a full featured Eclipse based front end to Alloy 4.
Most of the features available in the original Alloy 4 GUI have been
replicated: evaluator, unsat core, etc.
Completed by the unique features provided by the Eclipse platform
(Compile on save feature, refactoring of identifiers, etc.), it makes
Alloy 4 models design an enjoyable experience.
The plugin ships with Alloy 4 RC20.
The plugin is available both from the update site and from the
download section of the project site.
Please note that the unsat core feature requires sat solver libraries
(especially minisat one) to be properly configured on your system (see
http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
details).
Have fun,
--Daniel
We are proud to announce today the availability of Alloy 4 Eclipse
Milestone 2, a full featured Eclipse based front end to Alloy 4.
Most of the features available in the original Alloy 4 GUI have been
replicated: evaluator, unsat core, etc.
Completed by the unique features provided by the Eclipse platform
(Compile on save feature, refactoring of identifiers, etc.), it makes
Alloy 4 models design an enjoyable experience.
The plugin ships with Alloy 4 RC20.
The plugin is available both from the update site and from the
download section of the project site.
Please note that the unsat core feature requires sat solver libraries
(especially minisat one) to be properly configured on your system (see
http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
details).
Have fun,
--Daniel
Reply all
Reply to author
Forward
0 new messages