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

[Peter C. M. <Pet...@na...>]

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