Menu
▾
▴
javapathfinder-devel — development related topics (your place if you work with the sources)
You can subscribe to this list here.
| 2005 |
Jan
|
Feb
|
Mar
|
Apr
(9) |
May
(38) |
Jun
(13) |
Jul
(3) |
Aug
(14) |
Sep
(25) |
Oct
(44) |
Nov
(6) |
Dec
(2) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
(4) |
Feb
(14) |
Mar
(16) |
Apr
(2) |
May
(1) |
Jun
(2) |
Jul
(2) |
Aug
(1) |
Sep
(1) |
Oct
|
Nov
(3) |
Dec
(1) |
| 2007 |
Jan
(3) |
Feb
(39) |
Mar
(30) |
Apr
(31) |
May
(20) |
Jun
(72) |
Jul
(41) |
Aug
(78) |
Sep
(48) |
Oct
(59) |
Nov
(31) |
Dec
(47) |
| 2008 |
Jan
(18) |
Feb
(37) |
Mar
(45) |
Apr
(78) |
May
(16) |
Jun
|
Jul
(8) |
Aug
(10) |
Sep
(23) |
Oct
(10) |
Nov
(12) |
Dec
(1) |
| 2009 |
Jan
(4) |
Feb
|
Mar
(3) |
Apr
(1) |
May
(1) |
Jun
(1) |
Jul
|
Aug
|
Sep
(1) |
Oct
(3) |
Nov
(2) |
Dec
|
| 2010 |
Jan
(1) |
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(2) |
Oct
|
Nov
|
Dec
|
|
From: <pc...@us...> - 2008-02-28 02:40:33
|
Revision: 770
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=770&view=rev
Author: pcorina
Date: 2008-02-27 18:40:29 -0800 (Wed, 27 Feb 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-27 19:08:23
|
Revision: 769
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=769&view=rev
Author: pcorina
Date: 2008-02-27 11:08:19 -0800 (Wed, 27 Feb 2008)
Log Message:
-----------
added list of tracked vars in Expression (used for priniting test cases;
needs more work)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DDIV.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Expression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicReal.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-27 01:35:00
|
Revision: 768
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=768&view=rev
Author: pcorina
Date: 2008-02-26 17:34:57 -0800 (Tue, 26 Feb 2008)
Log Message:
-----------
added HTML output for method summaries
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ar...@us...> - 2008-02-27 01:17:57
|
Revision: 767
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=767&view=rev
Author: artimid
Date: 2008-02-26 17:17:54 -0800 (Tue, 26 Feb 2008)
Log Message:
-----------
* the priority wasn't used in the PendingEvent creation. We also
should not modify event objects out of the cache, because that
might prevent state matching (the same event with different prios)
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEvent.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/PendingEventQueue.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 23:32:24
|
Revision: 766
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=766&view=rev
Author: pcorina
Date: 2008-02-22 15:32:23 -0800 (Fri, 22 Feb 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeDDIV.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 23:26:10
|
Revision: 765
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=765&view=rev
Author: pcorina
Date: 2008-02-22 15:26:09 -0800 (Fri, 22 Feb 2008)
Log Message:
-----------
added suport for Math lib functions (sin, cos, and pow)
should be run with option;
+vm.peer_packages=gov.nasa.jpf.symbc:gov.nasa.jpf.jvm
comitted an example ExSymExePrecondAndMath that shows
handling of precond and Math functions.
Modified Paths:
--------------
trunk/.classpath
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeDDIV.java
Added Paths:
-----------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_MathOld.java
trunk/extensions/symbc/env/
trunk/extensions/symbc/env/jvm/
trunk/extensions/symbc/env/jvm/gov/
trunk/extensions/symbc/env/jvm/gov/nasa/
trunk/extensions/symbc/env/jvm/gov/nasa/jpf/
trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/
trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/JPF_java_lang_Math.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExePrecondAndMath.java
Removed Paths:
-------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Math.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 22:35:09
|
Revision: 764
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=764&view=rev
Author: pcorina
Date: 2008-02-22 14:35:08 -0800 (Fri, 22 Feb 2008)
Log Message:
-----------
added support of pre-conditions; corrected prev bug;
still need to check if pc choice generator in
invoke bytecodes does not interfere with thread
choice generator from super
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PCChoiceGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-02-22 21:10:55
|
Revision: 763
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=763&view=rev
Author: ubnepvpb
Date: 2008-02-22 13:10:04 -0800 (Fri, 22 Feb 2008)
Log Message:
-----------
Clean up the tests, separate float and double tests
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestUtils.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestDoubleSpecial2.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestUtils.java
Added Paths:
-----------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestFloatSpecial1.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-02-22 14:36:57
|
Revision: 762
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=762&view=rev
Author: sjp100
Date: 2008-02-22 06:36:46 -0800 (Fri, 22 Feb 2008)
Log Message:
-----------
(old) example with preconditions
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe31.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-02-22 04:25:37
|
Revision: 761
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=761&view=rev
Author: pcmehlitz
Date: 2008-02-21 20:25:35 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
* added an MJIEnv.getOperandAttrs() so that we can get and set operand attrs from within native methods.
This came up with the java.lang.Math native peer for symbolic exec, but will be helpful for the
numeric extension too
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/src/gov/nasa/jpf/jvm/StackFrame.java
trunk/test/gov/nasa/jpf/jvm/TestAttrs.java
trunk/test/gov/nasa/jpf/jvm/TestAttrsJPF.java
Added Paths:
-----------
trunk/test/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_TestAttrs.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 03:55:46
|
Revision: 760
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=760&view=rev
Author: pcorina
Date: 2008-02-21 19:55:39 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
added proper handling of pre-conditions
still needs more work
discovered probable bug in choice gen
symbolic listener does not print proper summary for static methods
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/D2I.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/D2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DCMPL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2I.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/F2L.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPG.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FCMPL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2D.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/I2F.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFEQ.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFGT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFLT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFNE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPEQ.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPGT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPLT.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IF_ICMPNE.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/L2D.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/L2F.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/LCMP.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/PCChoiceGenerator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PreCondition.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 00:41:43
|
Revision: 759
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=759&view=rev
Author: pcorina
Date: 2008-02-21 16:41:40 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathFunction.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MathRealExpression.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-22 00:40:26
|
Revision: 758
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=758&view=rev
Author: pcorina
Date: 2008-02-21 16:40:24 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
added support for Math operations
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Operator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealProblem.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-02-22 00:38:14
|
Revision: 757
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=757&view=rev
Author: pcmehlitz
Date: 2008-02-21 16:38:12 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
* added a 'vm.peer_packages' property which can be used to specify an ordered list of packages we try to
locate native peer classes. This is required to override native peer implementations from extension. The
alternative would have been to try all packages in the classpath, i.e. control the lookup with the
classpath order, but that would be VERY inefficient since there are gazillions of packages in the usual
classpath (the jars!)
Modified Paths:
--------------
trunk/default.properties
trunk/extensions/statechart/examples/CompletionSend.es
trunk/extensions/statechart/examples/CompletionSend.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/src/gov/nasa/jpf/jvm/NativePeer.java
Added Paths:
-----------
trunk/examples/jpfESAS/launch/CEV-las-defect.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-02-21 19:48:01
|
Revision: 756
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=756&view=rev
Author: ubnepvpb
Date: 2008-02-21 11:47:56 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
Code duplication: Use BytecodeUtils.isMethodSymbolic()
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-02-21 19:20:28
|
Revision: 755
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=755&view=rev
Author: ubnepvpb
Date: 2008-02-21 11:20:13 -0800 (Thu, 21 Feb 2008)
Log Message:
-----------
Put common code from symbc/.../INVOKExxx into BytecodeUtils: isMethodSymbolic()
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-02-21 05:33:47
|
Revision: 754
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=754&view=rev
Author: pcmehlitz
Date: 2008-02-20 21:33:41 -0800 (Wed, 20 Feb 2008)
Log Message:
-----------
* don't queue sendEvent() entries when running scriptless, which would not only be pointless but also
screw state matching.
* add an MJIEnv.setReturnAttr(attr), so that we can set operand attrs from within native peer methods
(on return values).
Modified Paths:
--------------
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_sc_StateMachine.java
trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
trunk/src/gov/nasa/jpf/jvm/NativePeer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-02-21 00:40:01
|
Revision: 753
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=753&view=rev
Author: ubnepvpb
Date: 2008-02-20 16:39:58 -0800 (Wed, 20 Feb 2008)
Log Message:
-----------
For boolean fields annotated with @Symbolic:
use
new SymbolicIntgeger(name, 0, 1)
instead of
new SymbolicIntgeger(name)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESPECIAL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKESTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/INVOKEVIRTUAL.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Arnab D. <arn...@gm...> - 2008-02-20 09:11:25
|
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 ----------------------------------------------------------- |
|
From: Peter C. M. <Pet...@na...> - 2008-02-20 07:12:38
|
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 |
|
From: Arnab D. <ar...@cs...> - 2008-02-20 03:15:55
|
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 ----------------------------------------------------------- |
|
From: <pc...@us...> - 2008-02-20 01:50:46
|
Revision: 752
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=752&view=rev
Author: pcorina
Date: 2008-02-19 17:50:44 -0800 (Tue, 19 Feb 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FDIV.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-20 01:50:37
|
Revision: 751
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=751&view=rev
Author: pcorina
Date: 2008-02-19 17:50:33 -0800 (Tue, 19 Feb 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DDIV.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-20 01:13:18
|
Revision: 750
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=750&view=rev
Author: pcorina
Date: 2008-02-19 17:13:14 -0800 (Tue, 19 Feb 2008)
Log Message:
-----------
fixed DDIV
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/DDIV.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-02-20 01:08:47
|
Revision: 749
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=749&view=rev
Author: pcorina
Date: 2008-02-19 17:08:44 -0800 (Tue, 19 Feb 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/FDIV.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
