Alloy Community

User login

CRIL-CNRS

Eclipse Plugin for Alloy 4: Alloy 4 Eclipse (A4E)

latestversion: 
12/06/2008

Write Alloy 4 models the Eclipse way!

  • Compile on save feature
  • Syntax coloring
  • Code completion
  • Identifier rename refactoring
  • ...

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte