Release 0.1.0 available

[daniel....@gmail.com]

Dear all,

We are proud to announce release 0.1.0 of the alloy4eclipse plugin.

The alloy4eclipse plugin features have evolved a lot that last days:
- Alloy files are compiled on the fly when modified, using Eclipse
builder mechanism
(previous versions were using a hack to do this)
- Alloy commands are run using Eclipse Launch mechanism, in another
thread. That way, no need to wait for the answer to continue writing
the specifications.
- The outline view is used to navigate quickly through an alloy spec
file and to choose which commands to run. Thanks to the Eclipse launch
mechanism, launch configurations are stored and easily accessible for
later reuse.
As a consequence, the former Commands view has been deleted.
- It is possible to display a model or a counter example using the
"display ans" action in a command contextual menu.

Some work is still needed to better integrate the graphical view to
Eclipse and to allow the configuration of Alloy.
That will be the main objectives of the next releases.

Have fun,

Antoine, Daniel and Francois

[daniel....@gmail.com]

There was two icons missing in 0.1.0 release. They have been added in
release 0.1.1.

Note that now the alloy4 runtime is clearly separated from the rest of
the plugin.

As a consequence, updating from 0.1.0 to 0.1.1 means downloading less
than 200KB (Alloy 4 itself is around 5MB).

Cheers,

Daniel

[daniel....@gmail.com]

I uploaded the release 0.1.2 on the update web site.

It is a bugfix release:

1] it is now possible to use models packaged with alloy4 (e.g. util/
ordering, see issue 13)
2] there was a problem with commands having the same names: only the
latest one was executed. It is fixed now.

there is still an annoying problem when displaying models or counter
examples: the option is disabled when the command has not been
launched. It is only enabled when the selection changes, not when the
command has executed. (see issue 11)
It will be fixed ASAP.

We expect a new release by the end of the week (on Saturday
probably).

People meeting problems 1 or 2 are encouraged to update.
The other users could wait the next release.

Cheers,

Daniel