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: 
06/06/2011

Write Alloy 4 models the Eclipse way!

  • Compile on save feature
  • Syntax coloring
  • Code completion
  • Navigation to definition
  • ...

The plugin is powered by Xtext technology since release 0.3.0, to get the best integration possible with Eclipse.

Ship with Alloy 4.2 RC from May 9, 2011

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