search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Update to RC9 with unsat core feature #16

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
In Alloy4 RC9, there is a new feature based on unsat core.

When the solver is answering unsat, it is possible to highlight the part of
the specification that is responsible for the inconsistency.  

It would be nice to include that feature for milestone 2.

Original issue reported on code.google.com by daniel.l...@gmail.com on 16 May 2007 at 12:01

GoogleCodeExporter commented 8 years ago 
RC12 introduced several core computations.

The choice of the core computation strategy should be available in A4E 
preferences.

Original comment by daniel.l...@gmail.com on 13 Dec 2007 at 11:55

GoogleCodeExporter commented 8 years ago 
Is A4E kept inline with the Alloy Analyzer 4 updates?  RC14 was released 
yesterday,
but  I don't see anything mentioned on the A4E download page beyond RC11.

(Apologies for this post not being necessarily germane to the unsat core.)

Original comment by alan.sha...@gmail.com on 14 Dec 2007 at 6:00

GoogleCodeExporter commented 8 years ago 
Alan,

We try to keep A4E updated with the releases of A4.

We decided with Felix Chang to wait a bit before releasing a new version of A4E.

If you really need a new release now, just tell me, I only need a few minutes to
build it.

(note that the new unsat core features won't be in that release: not all 
features are
replicated in A4E yet)

Original comment by daniel.l...@gmail.com on 14 Dec 2007 at 7:28

GoogleCodeExporter commented 8 years ago 
Alan,

I just release version 0.2.16 of the plugin.

Enjoy!

--Daniel

Original comment by daniel.l...@gmail.com on 15 Dec 2007 at 1:05

GoogleCodeExporter commented 8 years ago 
A first version of unsat core support is available on release 0.2.23 available 
now on
update site.

Note that minisat library must be available somewhere on your library path and 
that
you need to select "Minisat Unsat Core" SAT solver in Alloy preferences to be 
able to
use that feature.

Original comment by daniel.l...@gmail.com on 7 Mar 2008 at 9:33

GoogleCodeExporter commented 8 years ago

Original comment by rdrue...@gmail.com on 13 Mar 2008 at 9:38