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: <pc...@us...> - 2008-12-03 20:11:52
|
Revision: 1094
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1094&view=rev
Author: pcorina
Date: 2008-12-03 20:11:49 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
changed ";" into ","
Modified Paths:
--------------
trunk/extensions/symbc/launch/jpf se BSTDriver Abstraction.launch
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic Heuristic.launch
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic.launch
trunk/extensions/symbc/launch/jpf se BankAccountDriver Symbolic.launch
trunk/extensions/symbc/launch/jpf se StackDriver Abstraction.launch
trunk/extensions/symbc/launch/jpf se StackDriver Symbolic.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-03 19:58:01
|
Revision: 1093
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1093&view=rev
Author: pcorina
Date: 2008-12-03 19:57:57 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-03 01:24:35
|
Revision: 1092
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1092&view=rev
Author: pcorina
Date: 2008-12-03 01:24:33 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-03 01:21:49
|
Revision: 1091
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1091&view=rev
Author: pcorina
Date: 2008-12-03 01:21:47 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/examples/sequences/BSTDriverSequences.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-03 01:14:39
|
Revision: 1090
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1090&view=rev
Author: pcorina
Date: 2008-12-03 01:14:37 +0000 (Wed, 03 Dec 2008)
Log Message:
-----------
Added config options that display coverage:
+jpf.listener=.tools.CoverageAnalyzer
+coverage.include=*.BST
+coverage.show_methods=true
+coverage.show_bodies=true
(will measure coverage of methods in class *.BST).
Modified Paths:
--------------
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-02 02:22:09
|
Revision: 1085
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1085&view=rev
Author: pcorina
Date: 2008-12-02 01:30:10 +0000 (Tue, 02 Dec 2008)
Log Message:
-----------
changed +vm.insn.factory.class back to +vm.insn_factory.class
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-02 02:01:41
|
Revision: 1089
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1089&view=rev
Author: pcorina
Date: 2008-12-02 02:01:37 +0000 (Tue, 02 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-02 01:59:46
|
Revision: 1088
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1088&view=rev
Author: pcorina
Date: 2008-12-02 01:59:41 +0000 (Tue, 02 Dec 2008)
Log Message:
-----------
corrected again config jpf syntax
Modified Paths:
--------------
trunk/extensions/symbc/launch/jpf se BSTDriver Abstraction.launch
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic Heuristic.launch
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic.launch
trunk/extensions/symbc/launch/jpf se BankAccountDriver Symbolic.launch
trunk/extensions/symbc/launch/jpf se StackDriver Abstraction.launch
trunk/extensions/symbc/launch/jpf se StackDriver Symbolic.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-02 01:55:13
|
Revision: 1087
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1087&view=rev
Author: pcorina
Date: 2008-12-02 01:55:04 +0000 (Tue, 02 Dec 2008)
Log Message:
-----------
added launch configurations for test seq generation with symbolic jpf.
Added Paths:
-----------
trunk/extensions/symbc/launch/
trunk/extensions/symbc/launch/jpf se BSTDriver Abstraction.launch
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic Heuristic.launch
trunk/extensions/symbc/launch/jpf se BSTDriver Symbolic.launch
trunk/extensions/symbc/launch/jpf se BankAccountDriver Symbolic.launch
trunk/extensions/symbc/launch/jpf se StackDriver Abstraction.launch
trunk/extensions/symbc/launch/jpf se StackDriver Symbolic.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-12-02 01:43:24
|
Revision: 1086
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1086&view=rev
Author: pcorina
Date: 2008-12-02 01:43:22 +0000 (Tue, 02 Dec 2008)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/Readme
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-26 02:53:30
|
Revision: 1084
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1084&view=rev
Author: pcmehlitz
Date: 2008-11-26 02:53:24 +0000 (Wed, 26 Nov 2008)
Log Message:
-----------
* slight bug in MethodInfo.getCallerStackSlots() - it didn't account for argument slots being freed before the return value gets pushed
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
trunk/src/gov/nasa/jpf/jvm/Types.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-11-26 02:23:16
|
Revision: 1083
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1083&view=rev
Author: pcorina
Date: 2008-11-26 02:23:06 +0000 (Wed, 26 Nov 2008)
Log Message:
-----------
Added examples illustrating generation of test sequences:
The code was written by Mithun Acharya (http://www4.ncsu.edu/~mpachary/) as part of Google Summer of Code.
more info can be found
http://www4.ncsu.edu/~mpachary/gsoc-jpf/
Added Paths:
-----------
trunk/extensions/symbc/examples/sequences/
trunk/extensions/symbc/examples/sequences/BST.java
trunk/extensions/symbc/examples/sequences/BSTDriverAbstraction.java
trunk/extensions/symbc/examples/sequences/BSTDriverSequences.java
trunk/extensions/symbc/examples/sequences/BankAccount.java
trunk/extensions/symbc/examples/sequences/BankAccountDriverSequences.java
trunk/extensions/symbc/examples/sequences/BinTree.java
trunk/extensions/symbc/examples/sequences/IncDec.java
trunk/extensions/symbc/examples/sequences/IncDecDriverAbstraction.java
trunk/extensions/symbc/examples/sequences/IncDecDriverSequences.java
trunk/extensions/symbc/examples/sequences/LinkedList.java
trunk/extensions/symbc/examples/sequences/MethodSequenceGeneratorTao.java
trunk/extensions/symbc/examples/sequences/MySymbolicDriverForBST.java
trunk/extensions/symbc/examples/sequences/Stack.java
trunk/extensions/symbc/examples/sequences/StackDriverAbstraction.java
trunk/extensions/symbc/examples/sequences/StackDriverSequences.java
trunk/extensions/symbc/examples/sequences/TaoSymbolicDriverForBST.java
trunk/extensions/symbc/examples/sequences/TestBinTree.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2008-11-26 02:12:20
|
Revision: 1082
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1082&view=rev
Author: pcorina
Date: 2008-11-26 02:12:14 +0000 (Wed, 26 Nov 2008)
Log Message:
-----------
Added code that:
-- creates test sequences (symbc.sequences) and
-- performs abstraction between method calls (symbc.abstraction)
The code was written by Mithun Acharya (http://www4.ncsu.edu/~mpachary/) as part of Google Summer of Code.
more info can be found
http://www4.ncsu.edu/~mpachary/gsoc-jpf/
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/JPF_gov_nasa_jpf_symbc_Debug.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/SequenceChoiceGenerator.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/abstraction/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/abstraction/OSM.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/abstraction/SymbolicAbstractionListener.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/README.txt
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/sequences/SymbolicSequenceListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-25 20:18:58
|
Revision: 1081
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1081&view=rev
Author: pcmehlitz
Date: 2008-11-25 20:18:56 +0000 (Tue, 25 Nov 2008)
Log Message:
-----------
NetBeans 6.5 compatibility
* a number of changes to make the NetBeans 6.5 compiler happy when compiling overridden lib classes (mostly visibility and type erasure stuff)
* with the release of NetBeans 6.5, the RunJPF dependencies had to be changed (ClassPath API is now in it's own module)
NOTE - this will cause problems when trying to build on NetBeans 6.1, but we can only support one version, so it's the latest & greatest
Modified Paths:
--------------
trunk/env/jpf/gov/nasa/jpf/SerializationConstructor.java
trunk/env/jpf/java/lang/System.java
trunk/env/jpf/java/lang/reflect/Constructor.java
trunk/env/jpf/java/text/DecimalFormat.java
trunk/env/jpf/java/text/NumberFormat.java
trunk/ide/examples/JPFTest/build.xml
trunk/ide/examples/JPFTest/nbproject/build-impl.xml
trunk/ide/examples/JPFTest/nbproject/genfiles.properties
trunk/ide/netbeans/RunJPF/nbproject/genfiles.properties
trunk/ide/netbeans/RunJPF/nbproject/project.xml
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/RunJPF.java
trunk/nbproject/project.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-24 20:13:16
|
Revision: 1080
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1080&view=rev
Author: pcmehlitz
Date: 2008-11-24 20:13:13 +0000 (Mon, 24 Nov 2008)
Log Message:
-----------
* left-over File.separatorChar in vm.sourcepath construction of RunJPF
Modified Paths:
--------------
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: <fra...@us...> - 2008-11-24 17:22:39
|
Revision: 1079
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1079&view=rev
Author: frankrimlinger
Date: 2008-11-24 17:22:37 +0000 (Mon, 24 Nov 2008)
Log Message:
-----------
Changed wording of license for files in
branches/mango/extensions/mango/
to refer to "NOSA-1.3-Mango at the top of the mango branch"
I'm having difficulty changing all the files at once. This is the final
part4 ThreadSupport.
This concludes the license tweaking and incidental SVN stress test. In other news, the translation of C++ mango code to java is moving into high gear. I should have a good chunk of mango working in a month or two.
Modified Paths:
--------------
branches/mango/extensions/mango/ThreadSupport/src/gumbo2_support/Message.java
branches/mango/extensions/mango/ThreadSupport/src/gumbo2_support/MessageDataException.java
branches/mango/extensions/mango/ThreadSupport/src/gumbo2_support/MessageException.java
branches/mango/extensions/mango/ThreadSupport/src/gumbo2_support/MessageHead.java
branches/mango/extensions/mango/ThreadSupport/src/gumbo2_support/MessageIOException.java
branches/mango/extensions/mango/ThreadSupport/src/impl/CommandUtilities.java
branches/mango/extensions/mango/ThreadSupport/src/impl/JpfTest.java
branches/mango/extensions/mango/ThreadSupport/src/impl/LongCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ParentDoneCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ShortCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SubcommandGenerator.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
branches/mango/extensions/mango/ThreadSupport/src/model/Main.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
branches/mango/extensions/mango/ThreadSupport/src/model/UserCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/WorkerBuilder.java
branches/mango/extensions/mango/ThreadSupport/src/script/SafeModel.java
branches/mango/extensions/mango/ThreadSupport/src/script/Script.java
branches/mango/extensions/mango/ThreadSupport/src/script/ScriptCommandCellRenderer.java
branches/mango/extensions/mango/ThreadSupport/src/script/ScriptModel.java
branches/mango/extensions/mango/ThreadSupport/src/script/ScriptRunAction.java
branches/mango/extensions/mango/ThreadSupport/src/script/ScriptUtilities.java
branches/mango/extensions/mango/ThreadSupport/src/script/ScriptWindow.java
branches/mango/extensions/mango/ThreadSupport/src/util/Time.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2008-11-24 17:01:34
|
Revision: 1077
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1077&view=rev
Author: frankrimlinger
Date: 2008-11-24 17:01:29 +0000 (Mon, 24 Nov 2008)
Log Message:
-----------
Changed wording of license for files in
branches/mango/extensions/mango/
to refer to "NOSA-1.3-Mango at the top of the mango branch"
I'm having difficulty changing all the files at once. This is
part2 local
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/Demo.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/EZfunctionAbs.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/FieldTest.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/LinearTest.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/ManagementDemo.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/ModelCheckText.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/RefBuster.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/Wacko.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/condTest.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/conditionalTest.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/conditonalBugs.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/falseRecursion/A.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/falseRecursion/B.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/falseRecursion/falseRecursion.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/fcnCall.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/heapVacuum.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/initTest/A.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/initTest/B.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/invocationTest.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/multiarray.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/one.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/simpleArray.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/staticObjectVirtualCallTest/crazyGlue.java
branches/mango/extensions/mango/local/franklocal_input/DestinyModel/src/destinyModel/staticObjectVirtualCallTest/staticObjectVirtualCallTest.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/LinearArithmeticTest/LinearArithmetic.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/LinearArithmeticTest/LinearArithmeticTest.java
branches/mango/extensions/mango/local/franklocal_input/LinearArithmeticTest/src/LinearArithmeticTest/liteTest1.java
branches/mango/extensions/mango/local/franklocal_input/LocalVariableScopeTest/src/LocalVariableScopeTest/LocalVariableScopeTest.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/DataInput.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/File.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/FileDescriptor.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/FileOutputStream.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/FilterOutputStream.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/IOException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/InputStream.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/ObjectInput.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/ObjectInputStream.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/ObjectStreamClass.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/ObjectStreamConstants.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/ObjectStreamField.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/OutputStream.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/PrintStream.java
branches/mango/extensions/mango/local/franklocal_input/System/java/io/Serializable.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/ArithmeticException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/ArrayIndexOutOfBoundsException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/ArrayStoreException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/CharSequence.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Character.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Class.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/ClassCastException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/ClassNotFoundException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/CloneNotSupportedException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Cloneable.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Comparable.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Double.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Exception.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Float.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/IllegalAccessException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/IllegalArgumentException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/IllegalMonitorStateException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/IllegalStateException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/IllegalThreadStateException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/IndexOutOfBoundsException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/InstantiationException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/InterruptedException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Long.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Math.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/NegativeArraySizeException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/NoSuchFieldException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/NoSuchMethodException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/NullPointerException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Number.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/NumberFormatException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Object.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/RuntimeException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/SecurityException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Short.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuilder.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringIndexOutOfBoundsException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/System.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Throwable.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/UnsupportedOperationException.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Void.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/reflect/Array.java
branches/mango/extensions/mango/local/franklocal_input/System/java/math/BigInteger.java
branches/mango/extensions/mango/local/franklocal_input/System/java/net/URI.java
branches/mango/extensions/mango/local/franklocal_input/System/java/net/URL.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractCollection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractMap.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Arrays.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Collection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Comparator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/HashMap.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Iterator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/List.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ListIterator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Locale.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Map.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Random.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/RandomAccess.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Set.java
branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/ArrayCopyFunctionalTest.java
branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/ArrayCopyTest.java
branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/PleaseWrapThis.java
branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/StartsWithTest.java
branches/mango/extensions/mango/local/franklocal_input/SystemTests/src/systemTests/StringTests.java
branches/mango/extensions/mango/local/franklocal_input/app/src/app/Bit/Bit.java
branches/mango/extensions/mango/local/franklocal_input/app/src/app/Bit/nastyBitTest.java
branches/mango/extensions/mango/local/franklocal_input/app/src/app/BitString/BitString.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/ArrayLengthLoopTest.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/EcapTwo.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/EncapsulationTest.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/LoopGuardTest.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/LoopImplicitCall/A.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/LoopImplicitCall/B.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/LoopImplicitCall/LoopImplicitCall.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/NaturalMultiplier.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/SimpleEcap.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/WarrenExample.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/fibonocci.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/genloc.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/heapLoop.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/innermostLoop.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/nested_blowup.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/testrecursive.java
branches/mango/extensions/mango/local/franklocal_input/loopTests/src/loopTests/twoLevelLoop.java
branches/mango/extensions/mango/local/rkrug_input/AxiomInLoop/src/baseline/AxiomInLoop.java
branches/mango/extensions/mango/local/rkrug_input/big-model-check-test/src/baseline/big_model_check_test.java
branches/mango/extensions/mango/local/rkrug_input/find_negative/src/baseline/find_negative.java
branches/mango/extensions/mango/local/rkrug_input/if-with-two-loops/src/baseline/if_with_two_loops.java
branches/mango/extensions/mango/local/rkrug_input/itsAWrap/src/baseline/itsAWrap.java
branches/mango/extensions/mango/local/rkrug_input/loop-with-if/src/baseline/loop_with_if.java
branches/mango/extensions/mango/local/rkrug_input/nested-loops/src/baseline/nested_loops.java
branches/mango/extensions/mango/local/rkrug_input/two-loops-in-a-row/src/baseline/two_loops_in_a_row.java
branches/mango/extensions/mango/local/rkrug_input/while-with-conjunct/src/baseline/while_with_conjunct.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-22 02:45:45
|
Revision: 1075
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1075&view=rev
Author: pcmehlitz
Date: 2008-11-22 02:45:39 +0000 (Sat, 22 Nov 2008)
Log Message:
-----------
* added a "jpf.report.show_repository" property (which is 'false' by default) for debugging purposes. If it is set, and JPF is built from an SVN checkout, the reporter tries to locate the "{jpf.basedir}/.svn/entries" file, and pulls the revision, DTG and repository location out of it. The whole shebang is reported in the JPF banner
This is mostly to verify what versions where used for bug reports
Modified Paths:
--------------
trunk/default.properties
trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
trunk/src/gov/nasa/jpf/report/Reporter.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-21 05:32:18
|
Revision: 1074
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1074&view=rev
Author: pcmehlitz
Date: 2008-11-21 05:32:11 +0000 (Fri, 21 Nov 2008)
Log Message:
-----------
* vm.sourcepath now also supports jars, including archive internal root dirs (as in ../hum/di/dum/src.jar/src). Note that even on Windows, archive internal paths have to use '/', i.e. these "jar paths" have a filesystem- and an archive- part.
* because of this, Config now only recognizes ',' as separator for String arrays
!!!! IF YOU USED ':' OR ' ' OR ';' AS SEPARATORS IN *.properties, *.jpf OR ECLIPSE *.launch FILES, YOU HAVE TO CHANGE THEM !!!!
* little fix on the go - if BCEL doesn't report a source file, and we have to guess it from the class name, we should use the outermost encapsulating class name (note this doesn't help for non-public classes)
Modified Paths:
--------------
trunk/default.properties
trunk/examples/ICSETutorial/launch/Tutorial-CEV-scriptless-bt.launch
trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-1.launch
trunk/examples/ICSETutorial/launch/Tutorial-CV-generate-assumption-2.launch
trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-UseAssumption.launch
trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-generateAssumption.launch
trunk/examples/ICSETutorial/launch/Tutorial-InputWithProperty-scriptless.launch
trunk/examples/ICSETutorial/launch/Tutorial-Output-dischargeAssumption.launch
trunk/examples/jpfESAS/launch/CEV-scriptless-bt.launch
trunk/examples/jpfESAS/launch/CEV-scriptless-constraints.launch
trunk/examples/jpfESAS/launch/CEV-scriptless.launch
trunk/examples/jpfESAS/launch/CV-assumption-1.launch
trunk/examples/jpfESAS/launch/CV-assumptions-1-2.launch
trunk/examples/jpfESAS/launch/CV-generate-assumption-1.launch
trunk/examples/jpfESAS/launch/CV-generate-assumption-2.launch
trunk/examples/launch/basic-racer.launch
trunk/examples/launch/basic-random.launch
trunk/examples/launch/conc-1-RA.launch
trunk/examples/launch/conc-2-RA_da.launch
trunk/examples/launch/conc-3-lockorder.launch
trunk/examples/launch/conc-4-ms.launch
trunk/examples/launch/conc-5-nml.launch
trunk/examples/launch/conc-6-race.launch
trunk/examples/launch/conc-7-race-eraser.launch
trunk/extensions/complexcoverage/test/ComplexCoverage DoubleTest Normal.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced Test #0.launch
trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
trunk/src/gov/nasa/jpf/report/Reporter.java
trunk/src/gov/nasa/jpf/report/XMLPublisher.java
trunk/src/gov/nasa/jpf/util/Source.java
trunk/src/gov/nasa/jpf/util/SourceRef.java
trunk/test/gov/nasa/jpf/mc/TestAnnotationPropertiesJPF.java
trunk/test/gov/nasa/jpf/mc/TestDataChoiceJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2008-11-21 01:08:57
|
Revision: 1073
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1073&view=rev
Author: frankrimlinger
Date: 2008-11-21 01:08:51 +0000 (Fri, 21 Nov 2008)
Log Message:
-----------
Replaced the NOSA license in the mango branch, so that Frank Rimlinger is the POC for the software. Also added an explanatory file, so that it is understood that this license only applies to contents of branches/mango/extensions/mango.
Added Paths:
-----------
branches/mango/NOSA-1.3 Scope of license.rtf
branches/mango/NOSA-1.3-Mango.pdf
Removed Paths:
-------------
branches/mango/NOSA-1.3-JPF
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2008-11-20 21:12:31
|
Revision: 1072
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1072&view=rev
Author: frankrimlinger
Date: 2008-11-20 21:12:25 +0000 (Thu, 20 Nov 2008)
Log Message:
-----------
This is the initial load of Mango software. This project will proceed in three phases:
Phase1: Translation of remaining C++ code to java.
Phase2: Testing of resulting application and generation of baseline tests.
Phase3: Integration with jpf as an extension.
The original contribution of Mango code has been placed in
branches/mango/extensions/mango/
Coexistence notes: The following source roots are incompatible with Mango and have been defeated.
env/jpf
ui/env/jpf
The "System" project in franklocal_input is incompatible with everything. These stubs just allow Mango to get testable bytecodes for arraycopy().
Added Paths:
-----------
branches/mango/update notes/
branches/mango/update notes/081120a.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-20 06:09:46
|
Revision: 1070
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1070&view=rev
Author: pcmehlitz
Date: 2008-11-20 06:09:43 +0000 (Thu, 20 Nov 2008)
Log Message:
-----------
* added value appends to Config - a spec like "foo.bar+=,doo" now appends ",doo" to whatever current value is stored under "foo.bar". Needless to say it's useless within defaults.properties, but it is supported for both mode property files and command line args
NOTE - since we use the standard Properties.load(), this is a bit quirked: there is no blank allowed between the last key char and the '+', i.e. "foo.bar += ,doo" DOES NOT WORK
* first part of reworked +vm.sourcepath handling (now done centralized from ClassInfo, i.e. no more hardcoded defaults in jpf.util.Sources). So far, not much has changed for the user, but this will be extended towards *.jar support
Modified Paths:
--------------
trunk/jpf.properties
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
trunk/src/gov/nasa/jpf/util/Source.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2008-11-18 21:51:07
|
Revision: 1069
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1069&view=rev
Author: frankrimlinger
Date: 2008-11-18 21:51:03 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
Mango is the name of the 100%java project which will eventually become the actual JPF extension.
Added Paths:
-----------
branches/mango/about mango.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2008-11-18 20:53:56
|
Revision: 1068
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1068&view=rev
Author: frankrimlinger
Date: 2008-11-18 20:53:53 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
about mango
Added Paths:
-----------
branches/mango/about mango?\194?\160.webloc
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2008-11-18 20:31:49
|
Revision: 1067
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1067&view=rev
Author: pcmehlitz
Date: 2008-11-18 20:31:46 +0000 (Tue, 18 Nov 2008)
Log Message:
-----------
creating mango branch
Added Paths:
-----------
branches/mango/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
