Groups
Sign in
Groups
jstar-users
Conversations
About
Send feedback
Help
jstar-users
Contact owners and managers
1–20 of 20
Mark all as read
Report group
0 selected
xuân bách
3/13/13
JStar-Eclipse plug-in installation failed
Hi all, I have been trying to install jstar-eclipse plug-in to eclipse version 3.4. However, I got
unread,
JStar-Eclipse plug-in installation failed
Hi all, I have been trying to install jstar-eclipse plug-in to eclipse version 3.4. However, I got
3/13/13
Daniel Bassen
1/9/13
Problem with compiling jstar
Hello, compiling jstar fails with the following error message: "ocamlbuild -cflags -dtypes `cat
unread,
Problem with compiling jstar
Hello, compiling jstar fails with the following error message: "ocamlbuild -cflags -dtypes `cat
1/9/13
eccle...@gmail.com
7/3/12
Questions about jstar in general
I have been assigned to writing the logic file in the analysis of a program with jstar. When I looked
unread,
Questions about jstar in general
I have been assigned to writing the logic file in the analysis of a program with jstar. When I looked
7/3/12
Alexander Schremmer
,
Matko Botincan
4
2/1/12
Question about Bi-Abduction in run_logic (was: Re: Question about dereference rule in corestar paper)
On 01/02/2012 13:43, Alexander Schremmer wrote: > >> Regarding where's the equality _v=b
unread,
Question about Bi-Abduction in run_logic (was: Re: Question about dereference rule in corestar paper)
On 01/02/2012 13:43, Alexander Schremmer wrote: > >> Regarding where's the equality _v=b
2/1/12
Alexander Schremmer
, …
Matko Botincan
13
1/20/12
Two corestar questions: abstraction in run_prover/non-termination of entailment check
On 20.01.2012 17:19, Matko Botincan wrote: > On 20/01/2012 11:57, Alexander Schremmer wrote: >
unread,
Two corestar questions: abstraction in run_prover/non-termination of entailment check
On 20.01.2012 17:19, Matko Botincan wrote: > On 20/01/2012 11:57, Alexander Schremmer wrote: >
1/20/12
Yevgeniy
,
Radu Grigore
2
1/10/12
jstar eclipse plugin
On Tue, Jan 10, 2012 at 7:45 PM, Yevgeniy <eva...@gmail.com> wrote: > I get the following
unread,
jstar eclipse plugin
On Tue, Jan 10, 2012 at 7:45 PM, Yevgeniy <eva...@gmail.com> wrote: > I get the following
1/10/12
Radu Grigore
3/5/11
Re: Question about jStar
You can use the spec remove(...) { lspe(head, nil()) } { lspe($ret_v1, nil()) }; with the attached
unread,
Re: Question about jStar
You can use the spec remove(...) { lspe(head, nil()) } { lspe($ret_v1, nil()) }; with the attached
3/5/11
Radu Grigore
2
1/31/11
Re: problem with compiling jstar
On Wed, Jan 26, 2011 at 9:49 AM, Dino Distefano <dino.di...@eecs.qmul.ac.uk> wrote: >
unread,
Re: problem with compiling jstar
On Wed, Jan 26, 2011 at 9:49 AM, Dino Distefano <dino.di...@eecs.qmul.ac.uk> wrote: >
1/31/11
Radu Grigore
9/29/10
Re: json objects in jStar
On Tue, Sep 28, 2010 at 4:46 PM, D. Aleknaviciute <da...@cam.ac.uk> wrote: > Since the
unread,
Re: json objects in jStar
On Tue, Sep 28, 2010 at 4:46 PM, D. Aleknaviciute <da...@cam.ac.uk> wrote: > Since the
9/29/10
Radu Grigore
,
Mike Dodds
3
9/23/10
Re: any news about commit emails?
On Wed, Sep 22, 2010 at 5:57 PM, Mike Dodds <md...@cam.ac.uk> wrote: > verbose mode is for
unread,
Re: any news about commit emails?
On Wed, Sep 22, 2010 at 5:57 PM, Mike Dodds <md...@cam.ac.uk> wrote: > verbose mode is for
9/23/10
Radu Grigore
, …
Matthew Parkinson
6
9/22/10
line endings
On Wed, Sep 22, 2010 at 11:31 AM, Matthew Parkinson <mjpar...@gmail.com> wrote: > So I
unread,
line endings
On Wed, Sep 22, 2010 at 11:31 AM, Matthew Parkinson <mjpar...@gmail.com> wrote: > So I
9/22/10
Radu Grigore
,
Mike Dodds
3
9/20/10
wishlist
On Mon, Sep 20, 2010 at 10:38 AM, Mike Dodds <md...@cam.ac.uk> wrote: > I don't think so
unread,
wishlist
On Mon, Sep 20, 2010 at 10:38 AM, Mike Dodds <md...@cam.ac.uk> wrote: > I don't think so
9/20/10
Radu Grigore
9/20/10
running
You may want to know about scripts/run.sh which is what I use to run soot and jStar in one go. It
unread,
running
You may want to know about scripts/run.sh which is what I use to run soot and jStar in one go. It
9/20/10
Radu Grigore
9/20/10
mli files
Finally I merged all the small changes I made earlier this year. More interestingly, we now have mli
unread,
mli files
Finally I merged all the small changes I made earlier this year. More interestingly, we now have mli
9/20/10
Radu Grigore
, …
Dino Distefano
7
9/10/10
a brief overview of the huge commit
Yes I agree to have skype meetings. Once every one or two weeks can be an idea. It looks to me that
unread,
a brief overview of the huge commit
Yes I agree to have skype meetings. Once every one or two weeks can be an idea. It looks to me that
9/10/10
Radu Grigore
, …
Stephan van Staden
4
9/9/10
verify_axioms_implications
Thanks! Please let me know if there are problems. S On 9/9/2010 11:08 AM, Radu Grigore wrote: > On
unread,
verify_axioms_implications
Thanks! Please let me know if there are problems. S On 9/9/2010 11:08 AM, Radu Grigore wrote: > On
9/9/10
Radu Grigore
9/7/10
huge merge
I did a big merge. Let me know what I broke. One thing I noticed is that Mike added some command line
unread,
huge merge
I did a big merge. Let me know what I broke. One thing I noticed is that Mike added some command line
9/7/10
Mike Dodds
5/1/10
[jstar-users] jstar-developers list
Dear jstar-users: I created a mailing list jstar-developers: http://groups.google.com/group/jstar-
unread,
[jstar-users] jstar-developers list
Dear jstar-users: I created a mailing list jstar-developers: http://groups.google.com/group/jstar-
5/1/10
Radu Grigore
, …
Mike Dodds
5
4/21/10
website address
Ok, I'll email the QMUL webguy. M. On 16 Apr 2010, at 14:02, Matthew Parkinson wrote: > Agreed
unread,
website address
Ok, I'll email the QMUL webguy. M. On 16 Apr 2010, at 14:02, Matthew Parkinson wrote: > Agreed
4/21/10
Radu Grigore
,
Matthew Parkinson
2
4/16/10
[jstar-users] module dependencies
I think the diagram assumed transitivity, so I would add > symbexe_syntax -> prover_syntax >
unread,
[jstar-users] module dependencies
I think the diagram assumed transitivity, so I would add > symbexe_syntax -> prover_syntax >
4/16/10