Alloy Community

User login

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

Home » Groups » CRIL-CNRS
leberre's picture
url: 
http://alloy4eclipse.googlecode.com
latestversion: 
12/06/2008

Write Alloy 4 models the Eclipse way!

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

Ship with Alloy 4.1.9.

by leberre

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