A4E 0.3.0 released

[Daniel Le Berre]

After basically two years without official release, the A4E team is proud to announce the availability of A4E 0.3.0.
For easier access, it is available from the EclipseMarket:
http://marketplace.eclipse.org/node/55845

Users of previous versions of A4E will see many changes in the way A4E 0.3.0 works compared to the 0.2.X releases.
A step by step tutorial to install it from the marketplace and edit an alloy model is available here:
http://code.google.com/p/alloy4eclipse/wiki/Tutorial

Thanks to Xtext technology (http://www.eclipse.org/Xtext/), A4E is now much more integrated into Eclipse, and as such, the experience is much more convincing.

Let us know your feeling about that new release.

Release 0.3.1 will be made available in July, to benefit from Xtext 2.0 features (rename refactoring and hover support).

Hope you will enjoy A4E just as we do.

Cheers,

The A4E team

[Dmitri Pavlenkov]

You did a great job! Looking forward to next release!

[Dmitri Pavlenkov]

Could you make .thm files associate with XML editor?

[Dmitri Pavlenkov]

I get a bunch of errors in models library. I doubt they are legitimate, but you're welcome to prove me wrong :)

Description    Resource    Path    Location    Type
Couldn't resolve reference to PredicateName 'Lookup'.    INSLabel.als    /A4 models library/examples/case_studies    line: 149 /A4 models library/examples/case_studies/INSLabel.als    Xtext Check (fast)
Couldn't resolve reference to ReferencesName 'children'.    syncimpl.als    /A4 models library/examples/case_studies    line: 45 /A4 models library/examples/case_studies/syncimpl.als    Xtext Check (fast)
Couldn't resolve reference to ReferencesName 'max'.    sequniv.als    /A4 models library/util    line: 70 /A4 models library/util/sequniv.als    Xtext Check (fast)
Couldn't resolve reference to ReferencesName 'max'.    sequniv.als    /A4 models library/util    line: 83 /A4 models library/util/sequniv.als    Xtext Check (fast)
Couldn't resolve reference to ReferencesName 'min'.    sequniv.als    /A4 models library/util    line: 77 /A4 models library/util/sequniv.als    Xtext Check (fast)
Couldn't resolve reference to ReferencesName 'min'.    sequniv.als    /A4 models library/util    line: 80 /A4 models library/util/sequniv.als    Xtext Check (fast)
Couldn't resolve reference to ReferencesName 'totalOrder'.    ordering.als    /A4 models library/util    line: 29 /A4 models library/util/ordering.als    Xtext Check (fast)
Duplicate name : max    integer.als    /A4 models library/util    line: 93 /A4 models library/util/integer.als    Xtext Check (fast)
Duplicate name : min    integer.als    /A4 models library/util    line: 96 /A4 models library/util/integer.als    Xtext Check (fast)

[Daniel Le Berre]

Hi Dmitri,

Those errors are indeed not normal but we have not found a way to prevent them for the moment. That's the reason why the software is release 0.3 and not 1.0 :)

Sorry for the inconvenience,

Daniel

> --
> You received this message because you are subscribed to the Google Groups "Alloy 4 Eclipse users" group.
> To view this discussion on the web visit https://groups.google.com/d/msg/alloy4eclipse/-/IUd-e0G19X4J.
> To post to this group, send email to alloy4...@googlegroups.com.
> To unsubscribe from this group, send email to alloy4eclips...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/alloy4eclipse?hl=en.