Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <pcm...@us...> - 2008-08-29 00:22:06
|
Revision: 991
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=991&view=rev
Author: pcmehlitz
Date: 2008-08-29 00:22:02 +0000 (Fri, 29 Aug 2008)
Log Message:
-----------
* bug in class initialization - we also need static class init of interface ClassInfos. This sucks, since it is tree recursive. It showed up with interface class objects being null
* with that, fixed Class.getMethods() native peer - for abstract classes, we have to add all unimplemented interface methods, i.e. we have to get all interface methods, and then check if we can map to any of the methods found in the class hierarchy. Also removed the isStatic() filter (which was brain failure)
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/test/gov/nasa/jpf/jvm/TestJavaLangClass.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-28 19:32:06
|
Revision: 990
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=990&view=rev
Author: pcorina
Date: 2008-08-28 19:32:03 +0000 (Thu, 28 Aug 2008)
Log Message:
-----------
added not-null checks for args attributes
Modified Paths:
--------------
trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/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-08-28 19:04:18
|
Revision: 989
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=989&view=rev
Author: pcorina
Date: 2008-08-28 19:04:13 +0000 (Thu, 28 Aug 2008)
Log Message:
-----------
Committed patch contributed by Adam Kiezun (ak...@gm...) and David Harvison (dha...@mi...) -- thank you!
Modified Paths:
--------------
trunk/extensions/symbc/examples/coverage/JPF_coverage_CheckCoverage.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/Constraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/IntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearIntegerConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/LinearIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/MixedConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/NonLinearIntegerConstraint.java
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/RealConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/RealConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsChoco.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicConstraintsGeneral.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_TestUtils.java
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/PathConditionListener.java
trunk/src/gov/nasa/jpf/JPFException.java
trunk/src/gov/nasa/jpf/jvm/DynamicElementInfo.java
trunk/src/gov/nasa/jpf/jvm/StaticElementInfo.java
trunk/src/gov/nasa/jpf/search/Simulation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-28 17:47:43
|
Revision: 988
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=988&view=rev
Author: pcmehlitz
Date: 2008-08-28 17:47:38 +0000 (Thu, 28 Aug 2008)
Log Message:
-----------
* implemented native Class.getMethods()
* applied Taehoon's Class/ClassLoader patch (sans getMethods())
* added a little reg test for getMethods()
Modified Paths:
--------------
trunk/env/jpf/java/lang/Class.java
trunk/env/jpf/java/lang/ClassLoader.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
trunk/test/gov/nasa/jpf/jvm/TestJavaLangClass.java
trunk/test/gov/nasa/jpf/jvm/TestJavaLangClassJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-28 00:08:22
|
Revision: 987
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=987&view=rev
Author: pcmehlitz
Date: 2008-08-28 00:08:19 +0000 (Thu, 28 Aug 2008)
Log Message:
-----------
* NetBeans plugin changed to run JPF in background thread.
stil need time & memory quota to make it robust to run JPF in the same process
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/OutputAdapter.java
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-27 23:29:37
|
Revision: 986
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=986&view=rev
Author: pcorina
Date: 2008-08-27 23:29:35 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
Fixed bug in ProblemChoco (cast exception).
Thanks to David Harvison and Adam Kiezun (@MIT)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/ProblemChoco.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-27 21:49:35
|
Revision: 985
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=985&view=rev
Author: pcmehlitz
Date: 2008-08-27 21:49:31 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
* added +sc.max_steps handling to NativeStateMachine and SimStateMachine, to set optional constraint on the depth of
processed events (== getEnablingEvent calls). This is NOT a search constraint, i.e. for JPF it's a normal program termination condition
The SimStateMachine and NativeStateMachine step counts during logging are different (NativeStateMachine calls it
"event depth"), because the latter one also shows backtracks, which of course show program state ids
Modified Paths:
--------------
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/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2008-08-27 19:31:40
|
Revision: 984
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=984&view=rev
Author: staats
Date: 2008-08-27 19:31:37 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/src/test.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-27 19:13:45
|
Revision: 983
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=983&view=rev
Author: pcmehlitz
Date: 2008-08-27 19:13:42 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
* desiredAnnotationStatus() is public
Modified Paths:
--------------
trunk/env/jpf/java/lang/Class.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <Ta...@us...> - 2008-08-27 13:28:01
|
Revision: 982
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=982&view=rev
Author: Taehoon
Date: 2008-08-27 13:27:59 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
* added the getBytes(String) in String
* modified getSelectedHostProperties to support System.getProperties("java.class.path")
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_String.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_System.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ta...@us...> - 2008-08-27 06:34:46
|
Revision: 981
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=981&view=rev
Author: taehoon
Date: 2008-08-27 06:34:44 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
added readme for 'extension/servlet'
Added Paths:
-----------
trunk/extensions/servlet/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-08-27 01:09:08
|
Revision: 980
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=980&view=rev
Author: pcmehlitz
Date: 2008-08-27 01:09:05 +0000 (Wed, 27 Aug 2008)
Log Message:
-----------
* the inevitable File.pathSeparator screwup. plugin should now run on Windows
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/nbproject/project.properties
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
Property Changed:
----------------
trunk/ide/netbeans/RunJPF/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-26 17:57:36
|
Revision: 979
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=979&view=rev
Author: pcorina
Date: 2008-08-26 17:57:32 +0000 (Tue, 26 Aug 2008)
Log Message:
-----------
added extension complexcoverage for work done in collaboration with u. of minnesota (generate test cases and measure coverage for complex test criteria)
Added Paths:
-----------
trunk/extensions/complexcoverage/
trunk/extensions/complexcoverage/build.xml
trunk/extensions/complexcoverage/doc/
trunk/extensions/complexcoverage/examples/
trunk/extensions/complexcoverage/lib/
trunk/extensions/complexcoverage/src/
trunk/extensions/complexcoverage/test/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-25 18:43:50
|
Revision: 978
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=978&view=rev
Author: sjp100
Date: 2008-08-25 18:43:44 +0000 (Mon, 25 Aug 2008)
Log Message:
-----------
expanded the effects printing to include both the returned object and this; added a check for ref depth=-1 (unbounded) when printing the heap
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/HeapSymbolicListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-23 18:11:55
|
Revision: 977
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=977&view=rev
Author: sjp100
Date: 2008-08-23 18:11:50 +0000 (Sat, 23 Aug 2008)
Log Message:
-----------
name change only - no other changes
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/HeapSymbolicListener.java
Removed Paths:
-------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/HeapListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-23 17:35:05
|
Revision: 976
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=976&view=rev
Author: sjp100
Date: 2008-08-23 17:35:02 +0000 (Sat, 23 Aug 2008)
Log Message:
-----------
Removed heap tracking code from the Symboliclistener and created a new listener (HeapListener) that tracks both the main PC and the heap PC
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/HeapListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-23 17:14:09
|
Revision: 975
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=975&view=rev
Author: sjp100
Date: 2008-08-23 17:14:06 +0000 (Sat, 23 Aug 2008)
Log Message:
-----------
fixed problem where pc solution was getting lost so the test cases were not being generated correctly; also fixed a bug where the printing of the method summary was not iterating over the proper data structure; cleaned up the printing of field values at return.
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: <ubn...@us...> - 2008-08-23 00:21:46
|
Revision: 974
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=974&view=rev
Author: ubnepvpb
Date: 2008-08-23 00:21:44 +0000 (Sat, 23 Aug 2008)
Log Message:
-----------
Additions to extensions/ui/... for swing and awt to support Carl Albach's StateChart animation GUI
Modified Paths:
--------------
trunk/extensions/ui/env/jpf/java/awt/Component.java
trunk/extensions/ui/env/jpf/java/awt/Container.java
trunk/extensions/ui/env/jpf/javax/swing/JButton.java
trunk/extensions/ui/env/jpf/javax/swing/JComponent.java
trunk/extensions/ui/env/jpf/javax/swing/JLabel.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2008-08-23 00:16:51
|
Revision: 973
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=973&view=rev
Author: ubnepvpb
Date: 2008-08-23 00:16:48 +0000 (Sat, 23 Aug 2008)
Log Message:
-----------
Carl Albach's StateChart animation GUI
Changes to core JPF methods are mostly visibility changes
Modified Paths:
--------------
trunk/env/jpf/java/lang/reflect/Field.java
trunk/env/jpf/java/lang/reflect/Method.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/State.java
trunk/extensions/statechart/env/jpf/gov/nasa/jpf/sc/StateMachine.java
trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java
Added Paths:
-----------
trunk/extensions/statechart/examples/samplevisualizeconfigs/
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-ascent-guards
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-las-defect
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-safehold
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-scriptless
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-scriptless-bt
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-scriptless-constraints
trunk/extensions/statechart/examples/samplevisualizeconfigs/cev-tli
trunk/extensions/statechart/examples/samplevisualizeconfigs/cv-assumption
trunk/extensions/statechart/examples/visualize/
trunk/extensions/statechart/examples/visualize/CEV_15EOR_LOR.java
trunk/extensions/statechart/examples/visualize/ErrorLog.java
trunk/extensions/statechart/examples/visualize/Failures.java
trunk/extensions/statechart/examples/visualize/README-ESAS.txt
trunk/extensions/statechart/examples/visualize/README-annotations.txt
trunk/extensions/statechart/examples/visualize/Spacecraft.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/EdgeUtility.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/NotificationConsole.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/ReadMe
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/StateMachineDiagram.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/TextDiagram.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualDiagram.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualDriver.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualModel.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualResource.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualSimStateMachine.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/VisualView.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/ExternalState.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/NextNeighbor.java
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/README-annotations.txt
trunk/extensions/statechart/src/gov/nasa/jpf/tools/visualize/annotations/Transitions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sj...@us...> - 2008-08-22 14:25:51
|
Revision: 972
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=972&view=rev
Author: sjp100
Date: 2008-08-22 14:25:47 +0000 (Fri, 22 Aug 2008)
Log Message:
-----------
changed symbolic naming convention
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-21 00:11:24
|
Revision: 971
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=971&view=rev
Author: pcorina
Date: 2008-08-21 00:11:22 +0000 (Thu, 21 Aug 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExGenSymExe.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-21 00:10:00
|
Revision: 970
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=970&view=rev
Author: pcorina
Date: 2008-08-21 00:09:57 +0000 (Thu, 21 Aug 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-21 00:09:43
|
Revision: 969
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=969&view=rev
Author: pcorina
Date: 2008-08-21 00:09:41 +0000 (Thu, 21 Aug 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-20 23:41:21
|
Revision: 968
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=968&view=rev
Author: pcorina
Date: 2008-08-20 23:41:18 +0000 (Wed, 20 Aug 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExGenSymExe.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-08-20 23:37:14
|
Revision: 967
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=967&view=rev
Author: pcorina
Date: 2008-08-20 23:37:11 +0000 (Wed, 20 Aug 2008)
Log Message:
-----------
helper methods for generalized symbolic execution
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
