Re: [Javapathfinder-user] [Javapathfinder-devel] What will be a good point to start

[Arnab D. <arn...@gm...>]

Hi Peter,
Thanks for your reply. I need a little more help.
For my tool, I need to modify the state structure and the transitions
that are possible from the current state. Which classes I should look into?
Is it enough to modify the SystemState class? How changing it affects GC and
POR? Is there any other place I should look into?

Thanks and regards,
Arnab.

On Feb 20, 2008 3:12 PM, Peter C. Mehlitz <Pet...@na...> wrote:

> the core is fairly stable, and changes are always tested against the
> regression tests, so I would recommend going with the SVN head. Most
> of the current work is going on in extensions and the annotations
> i.e. doesn't affect the rest of the system. Changes of the core are
> usually small bug fixes you want to get anyways.
>
> -- Peter
>
>
> On Feb 19, 2008, at 7:15 PM, Arnab De wrote:
>
> > Hi,
> > I'm trying to develop a tool using JPF and for this, I need a
> > stable but recent version of the JPF source code. As lots of
> > developments are going on in JPF, I'm not sure whether the latest
> > checkout from SVN is stable enough! Could you please tell me how to
> > get a clean and stable version of the code? A slightly outdated
> > version will do, but I do not want to used the 2005 version that is
> > given in the download page.
> >
> > Thanks and regards,
> > Arnab.
> >
> > --
> > Arnab De
> > -----------------------------------------------------------
> > Graduate Student.
> > Computer Science and Automation Department,
> > Indian Institute of Science, Bangalore.
> > http://people.csa.iisc.ernet.in/arnabde
> > -----------------------------------------------------------
> > ----------------------------------------------------------------------
> > ---
> > This SF.net email is sponsored by: Microsoft
> > Defy all challenges. Microsoft(R) Visual Studio 2008.
> > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> > _______________________________________________
> > Javapathfinder-devel mailing list
> > Jav...@li...
> > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
>
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> Javapathfinder-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
>



-- 
Arnab De
-----------------------------------------------------------
Graduate Student.
Computer Science and Automation Department,
Indian Institute of Science, Bangalore.
http://people.csa.iisc.ernet.in/arnabde
-----------------------------------------------------------