RE: Alloy 4 Eclipse : how to stop an execution?

[Irina Rychkova]

Hi!

First of all, congratulations for Alloy 4 under Eclipse! Very usefull, a lot of nice features.

I've got an "out of memory" error executing my code. (I suspect that SAT solver could not check my assertion - quite a standsrd problem) However Eclipse did not interrupt the execution (no message appears etc) and I did not find a good old button "Stop" to do it manually.
The question is: how can I stop my execution under eclipse? Can we have the "stop" button back?! ;)

thank you in advance.
Irina


________________________________
From: alloy-discuss@... [alloy-discuss@...] On Behalf Of Daniel Le Berre [leberre@...]
Sent: 13 March 2008 21:43
To: alloy-discuss@...
Subject: [alloy-discuss] Alloy 4 Eclipse (A4E) Milestone 2 available


Dear alloy users,

We are proud to announce today the availability of Alloy 4 Eclipse (A4E)
Milestone 2, a full featured Eclipse based front end to Alloy 4.

http://code.google.com/p/alloy4eclipse/

Most of the features available in the original Alloy 4 GUI have been
replicated: evaluator, unsat core, etc.

Completed by the unique features provided by the Eclipse platform
(compile on save feature, refactoring of identifiers, etc.), it makes
Alloy 4 models design an enjoyable experience :)

The plugin ships with Alloy 4 RC20.

A4E is available both from an eclipse update site and from the
download section of the project site.

Please note that the unsat core feature requires sat solver libraries
(especially minisat one) to be properly configured on your system (see
http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
details).

Have fun,

The A4E team

--
Daniel Le Berre mailto:leberre@...<mailto:leberre%40cril.univ-artois.fr>
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre

[Daniel Le Berre]

Dear Irina,

Rychkova Irina a écrit :
> Hi!
>
> First of all, congratulations for Alloy 4 under Eclipse! Very usefull, a lot of nice features.
>
>  
Thanks.
> I've got an "out of memory" error executing my code. (I suspect that SAT solver could not check my assertion - quite a standsrd problem) However Eclipse did not interrupt the execution (no message appears etc) and I did not find a good old button "Stop" to do it manually.
>  
If you have an out of memory, then the execution should have stopped.

Running a SAT solver is managed by Eclipse build system, which means
that you should be able to cancel that task as for any other related
Eclipse tasks, by clicking on the bottom right button associated with
running tasks, and hit the red square associated with that particular task.

Please note that the Default SAT solver in A4E is SAT4J, a java solver,
that will share the JVM memory with Eclipse. You might want to give a
try to another SAT solver (non Java) to avoid that problem, or to
configure Eclipse to have more memory (in $ECLIPSE_HOME/eclipse.ini).

    Daniel

> The question is: how can I stop my execution under eclipse? Can we have the "stop" button back?! ;)
>
> thank you in advance.
> Irina
>
>
> ________________________________
> From: alloy-discuss@... [alloy-discuss@...] On Behalf Of Daniel Le Berre [leberre@...]
> Sent: 13 March 2008 21:43
> To: alloy-discuss@...
> Subject: [alloy-discuss] Alloy 4 Eclipse (A4E) Milestone 2 available
>
>
> Dear alloy users,
>
> We are proud to announce today the availability of Alloy 4 Eclipse (A4E)
> Milestone 2, a full featured Eclipse based front end to Alloy 4.
>
> http://code.google.com/p/alloy4eclipse/
>
> Most of the features available in the original Alloy 4 GUI have been
> replicated: evaluator, unsat core, etc.
>
> Completed by the unique features provided by the Eclipse platform
> (compile on save feature, refactoring of identifiers, etc.), it makes
> Alloy 4 models design an enjoyable experience :)
>
> The plugin ships with Alloy 4 RC20.
>
> A4E is available both from an eclipse update site and from the
> download section of the project site.
>
> Please note that the unsat core feature requires sat solver libraries
> (especially minisat one) to be properly configured on your system (see
> http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
> details).
>
> Have fun,
>
> The A4E team
>
> --
> Daniel Le Berre mailto:leberre@...<mailto:leberre%40cril.univ-artois.fr>
> MCF, CRIL-CNRS UMR 8188, Universite d'Artois
> http://www.cril.univ-artois.fr/~leberre
>
>
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>
>
>
>  

--
           Daniel Le Berre mailto:leberre@...
           MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
           http://www.cril.univ-artois.fr/~leberre

[Irina Rychkova]

Hi Daniel,
thanx for your answer.
I got confused cause there is no message on the console indicating that the execution is stopped. In addition, eclipse keeps consuming a lot of process resources.

i'll try to experiment with other solvers.

regards,
Irina
________________________________
From: alloy-discuss@... [alloy-discuss@...] On Behalf Of Daniel Le Berre [leberre@...]
Sent: 14 March 2008 12:43
To: alloy-discuss@...
Subject: Re: [alloy-discuss] Alloy 4 Eclipse : how to stop an execution?


Dear Irina,

Rychkova Irina a écrit :
> Hi!
>
> First of all, congratulations for Alloy 4 under Eclipse! Very usefull, a lot of nice features.
>
>
Thanks.
> I've got an "out of memory" error executing my code. (I suspect that SAT solver could not check my assertion - quite a standsrd problem) However Eclipse did not interrupt the execution (no message appears etc) and I did not find a good old button "Stop" to do it manually.
>
If you have an out of memory, then the execution should have stopped.

Running a SAT solver is managed by Eclipse build system, which means
that you should be able to cancel that task as for any other related
Eclipse tasks, by clicking on the bottom right button associated with
running tasks, and hit the red square associated with that particular task.

Please note that the Default SAT solver in A4E is SAT4J, a java solver,
that will share the JVM memory with Eclipse. You might want to give a
try to another SAT solver (non Java) to avoid that problem, or to
configure Eclipse to have more memory (in $ECLIPSE_HOME/eclipse.ini).

Daniel

> The question is: how can I stop my execution under eclipse? Can we have the "stop" button back?! ;)
>
> thank you in advance.
> Irina
>
>
> ________________________________
> From: alloy-discuss@...<mailto:alloy-discuss%40yahoogroups.com> [alloy-discuss@...<mailto:alloy-discuss%40yahoogroups.com>] On Behalf Of Daniel Le Berre [leberre@...<mailto:leberre%40cril.univ-artois.fr>]
> Sent: 13 March 2008 21:43
> To: alloy-discuss@...<mailto:alloy-discuss%40yahoogroups.com>
> Subject: [alloy-discuss] Alloy 4 Eclipse (A4E) Milestone 2 available
>
>
> Dear alloy users,
>
> We are proud to announce today the availability of Alloy 4 Eclipse (A4E)
> Milestone 2, a full featured Eclipse based front end to Alloy 4.
>
> http://code.google.com/p/alloy4eclipse/
>
> Most of the features available in the original Alloy 4 GUI have been
> replicated: evaluator, unsat core, etc.
>
> Completed by the unique features provided by the Eclipse platform
> (compile on save feature, refactoring of identifiers, etc.), it makes
> Alloy 4 models design an enjoyable experience :)
>
> The plugin ships with Alloy 4 RC20.
>
> A4E is available both from an eclipse update site and from the
> download section of the project site.
>
> Please note that the unsat core feature requires sat solver libraries
> (especially minisat one) to be properly configured on your system (see
> http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
> details).
>
> Have fun,
>
> The A4E team
>
> --
> Daniel Le Berre mailto:leberre@...<mailto:leberre%40cril.univ-artois.fr><mailto:leberre%40cril.univ-artois.fr>
> MCF, CRIL-CNRS UMR 8188, Universite d'Artois
> http://www.cril.univ-artois.fr/~leberre
>
>
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>
>
>
>

--
Daniel Le Berre mailto:leberre@...<mailto:leberre%40cril.univ-artois.fr>
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre

[Daniel Le Berre]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Irina,

Rychkova Irina a écrit :
> Hi Daniel,
> thanx for your answer.
> I got confused cause there is no message on the console indicating that the execution is stopped. In addition, eclipse keeps consuming a lot of process resources.
>
> i'll try to experiment with other solvers.

Well, there is maybe a bug here :)

If your model is not top secret, just send it to me by email.
That way, I should be able to reproduce the problem.

        Daniel

> regards,
> Irina
> ________________________________
> From: alloy-discuss@... [alloy-discuss@...] On Behalf Of Daniel Le Berre [leberre@...]
> Sent: 14 March 2008 12:43
> To: alloy-discuss@...
> Subject: Re: [alloy-discuss] Alloy 4 Eclipse : how to stop an execution?
>
>
> Dear Irina,
>
> Rychkova Irina a écrit :
>> Hi!
>>
>> First of all, congratulations for Alloy 4 under Eclipse! Very usefull, a lot of nice features.
>>
>>
> Thanks.
>> I've got an "out of memory" error executing my code. (I suspect that SAT solver could not check my assertion - quite a standsrd problem) However Eclipse did not interrupt the execution (no message appears etc) and I did not find a good old button "Stop" to do it manually.
>>
> If you have an out of memory, then the execution should have stopped.
>
> Running a SAT solver is managed by Eclipse build system, which means
> that you should be able to cancel that task as for any other related
> Eclipse tasks, by clicking on the bottom right button associated with
> running tasks, and hit the red square associated with that particular task.
>
> Please note that the Default SAT solver in A4E is SAT4J, a java solver,
> that will share the JVM memory with Eclipse. You might want to give a
> try to another SAT solver (non Java) to avoid that problem, or to
> configure Eclipse to have more memory (in $ECLIPSE_HOME/eclipse.ini).
>
> Daniel
>> The question is: how can I stop my execution under eclipse? Can we have the "stop" button back?! ;)
>>
>> thank you in advance.
>> Irina
>>
>>
>> ________________________________
>> From: alloy-discuss@...<mailto:alloy-discuss%40yahoogroups.com> [alloy-discuss@...<mailto:alloy-discuss%40yahoogroups.com>] On Behalf Of Daniel Le Berre [leberre@...<mailto:leberre%40cril.univ-artois.fr>]
>> Sent: 13 March 2008 21:43
>> To: alloy-discuss@...<mailto:alloy-discuss%40yahoogroups.com>
>> Subject: [alloy-discuss] Alloy 4 Eclipse (A4E) Milestone 2 available
>>
>>
>> Dear alloy users,
>>
>> We are proud to announce today the availability of Alloy 4 Eclipse (A4E)
>> Milestone 2, a full featured Eclipse based front end to Alloy 4.
>>
>> http://code.google.com/p/alloy4eclipse/
>>
>> Most of the features available in the original Alloy 4 GUI have been
>> replicated: evaluator, unsat core, etc.
>>
>> Completed by the unique features provided by the Eclipse platform
>> (compile on save feature, refactoring of identifiers, etc.), it makes
>> Alloy 4 models design an enjoyable experience :)
>>
>> The plugin ships with Alloy 4 RC20.
>>
>> A4E is available both from an eclipse update site and from the
>> download section of the project site.
>>
>> Please note that the unsat core feature requires sat solver libraries
>> (especially minisat one) to be properly configured on your system (see
>> http://code.google.com/p/alloy4eclipse/wiki/HowToInstall for
>> details).
>>
>> Have fun,
>>
>> The A4E team
>>
>> --
>> Daniel Le Berre mailto:leberre@...<mailto:leberre%40cril.univ-artois.fr><mailto:leberre%40cril.univ-artois.fr>
>> MCF, CRIL-CNRS UMR 8188, Universite d'Artois
>> http://www.cril.univ-artois.fr/~leberre
>>
>>
>>
>>
>> ------------------------------------
>>
>> Yahoo! Groups Links
>>
>>
>>
>>
>>
>>
>
> --
> Daniel Le Berre mailto:leberre@...<mailto:leberre%40cril.univ-artois.fr>
> MCF, CRIL-CNRS UMR 8188, Universite d'Artois
> http://www.cril.univ-artois.fr/~leberre
>
>
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>
>

- --
             Daniel Le Berre mailto:leberre@...
             MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
             http://www.cril.univ-artois.fr/~leberre
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org

iD8DBQFH2o/9qVioN+Yc2ggRAt+7AKDKLxlflhL8v6zM4Jg7m921W6PPJwCg5lRo
MWC8QR+Ndo+yHvverSHoH+M=
=jO9y
-----END PGP SIGNATURE-----