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: <fra...@us...> - 2009-06-03 04:35:17
|
Revision: 1588
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1588&view=rev
Author: frankrimlinger
Date: 2009-06-03 04:35:15 +0000 (Wed, 03 Jun 2009)
Log Message:
-----------
Finally fixed the super vertex issue. Next but is inside buildComponentGraphs, so on the homestretch for phase1.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graphic/Graphic.java
branches/mango/MangoJPF/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/MangoJPF/ThreadSupport/src/threadModel/SystemBuilder.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/TargetChoiceGenerator.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKETARGET.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-06-03 04:07:01
|
Revision: 1587
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1587&view=rev
Author: pcmehlitz
Date: 2009-06-03 04:06:59 +0000 (Wed, 03 Jun 2009)
Log Message:
-----------
* of course 'config' and 'config_path' entries have to be set before we parse the mode property file - otherwise config relative paths fail. No idea how this slipped in
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/Config.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-03 03:02:16
|
Revision: 1586
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1586&view=rev
Author: frankrimlinger
Date: 2009-06-03 03:02:12 +0000 (Wed, 03 Jun 2009)
Log Message:
-----------
Minor repairs to Mango project to it running again after changes to location of jar plugins. Discovered that the missing super vertices were created when Mango build the source code graphs, as a side effect. Since MangoJPF isn't going to create these graphs at all, it must create these vertices another way. Already a fix is in place to create the SuperVertexSyms, so just need to create and bind the vertices at this time.
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango/src/mango/worker/mangoModel/graphic/Graphic.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.java
branches/mango/Mango/Mango.product
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-02 21:28:37
|
Revision: 1585
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1585&view=rev
Author: frankrimlinger
Date: 2009-06-02 21:28:35 +0000 (Tue, 02 Jun 2009)
Log Message:
-----------
Fixed silly but hard to find bug that was causing the scanner to fail. Now all of the baseline code is getting through the scanner and the formal peers and total graph are apparently built. Still more phase1 bugs to fix before the graphs will post, next is problem in buildMethodSrcStructure.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ExceptionHandlerUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JmethodSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-02 01:23:37
|
Revision: 1584
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1584&view=rev
Author: staats
Date: 2009-06-02 01:23:28 +0000 (Tue, 02 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ReverseSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchHeuristicBase.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathTrimSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ReorderingSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/TrimAndReorderSymbolicSearch.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-06-02 00:03:40
|
Revision: 1583
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1583&view=rev
Author: frankrimlinger
Date: 2009-06-02 00:03:37 +0000 (Tue, 02 Jun 2009)
Log Message:
-----------
Reinstated much of the JclassSym functionality. This code is pretty ad hoc and hopefully will eventually be replace. But for now just need to get on with it.
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeSyms.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/NEW.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JmethodSym.java
Removed Paths:
-------------
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/ClassSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2009-06-01 15:05:59
|
Revision: 1582
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1582&view=rev
Author: sbadame
Date: 2009-06-01 15:05:51 +0000 (Mon, 01 Jun 2009)
Log Message:
-----------
* getDocument() != null is now checked before adding the AnnotationParser (This was causing error messages to appear)
Modified Paths:
--------------
trunk/ide/netbeans/RunJPF/src/gov/nasa/runjpf/JPFConfigEditorSupport.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <sb...@us...> - 2009-06-01 13:23:45
|
Revision: 1581
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1581&view=rev
Author: sbadame
Date: 2009-06-01 13:23:43 +0000 (Mon, 01 Jun 2009)
Log Message:
-----------
Fixed a bug so that JPF can be run again after an error kills it.
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: <st...@us...> - 2009-06-01 06:01:59
|
Revision: 1580
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1580&view=rev
Author: staats
Date: 2009-06-01 06:01:25 +0000 (Mon, 01 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ReverseSymbolicSearch.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-01 06:01:41
|
Revision: 1579
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1579&view=rev
Author: staats
Date: 2009-06-01 06:01:05 +0000 (Mon, 01 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PCChoiceGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-31 21:11:56
|
Revision: 1578
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1578&view=rev
Author: frankrimlinger
Date: 2009-05-31 21:11:48 +0000 (Sun, 31 May 2009)
Log Message:
-----------
fixed control flow related bugs. Next bug: JmethodSym needs constructor
Modified Paths:
--------------
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeSyms.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-05-31 08:31:08
|
Revision: 1577
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1577&view=rev
Author: staats
Date: 2009-05-31 08:31:07 +0000 (Sun, 31 May 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListenerExample.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchHeuristicBase.java
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchTracker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-05-31 07:36:31
|
Revision: 1576
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1576&view=rev
Author: staats
Date: 2009-05-31 07:36:23 +0000 (Sun, 31 May 2009)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListenerExample.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchTracker.java
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListenerRewrite.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-05-29 22:43:04
|
Revision: 1575
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1575&view=rev
Author: pcmehlitz
Date: 2009-05-29 22:43:02 +0000 (Fri, 29 May 2009)
Log Message:
-----------
* small but subtle change - choiceGeneratorSet() listeners can now call setNextChoiceGenerator(), to override the next CG. Of course this means that listeners can fight with each other, and have to be aware of that other listeners overriding the CG, but the same holds for overriding the next choice, and we already support that
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/SystemState.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-05-29 18:11:57
|
Revision: 1574
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1574&view=rev
Author: staats
Date: 2009-05-29 18:11:49 +0000 (Fri, 29 May 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListenerRewrite.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-29 02:32:49
|
Revision: 1573
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1573&view=rev
Author: frankrimlinger
Date: 2009-05-29 02:32:46 +0000 (Fri, 29 May 2009)
Log Message:
-----------
Finally figured out the ArrayBoundsOutOfRangeException weirdness. Another case of taking stupid pills. Certain instructions needed to access some private fields initialized by the getPeer method of the base Instruction class. Not realizing these base classes were just COPIES of the original jpf classes, I didn't think I could change the field access to protected. Instead, I just overloaded the fields and copied the getPeer methods to the extension instruction classes. Well, this clearly will crash when the clinits try to execute in jpf mode, because the execute routine defers to the base class, whose overloaded fields now have not been initialized!
Deleted the unnecessary setPeer and field overloads, and changed base class access to protected.
Cleaned up a lot of code that was broken with the adoption of MangoInterface. Scanner now scans all the canned clinits in jpf mode and then survives in SCAN mode until the first branch instruction backtrack. instruction_2_vertices is being called again for the backtrack src, fix this. The trouble is you want to set up the new edge, but not the src, which is already set up.
Modified Paths:
--------------
branches/mango/MangoJPF/META-INF/MANIFEST.MF
branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/sym/AgentSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/engine/sym/ExpressionSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/edge/Edge.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/Vertex.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/BIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/DCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/FCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/INSTANCEOF.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/JSR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/JSR_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/LCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/RET.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/SIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchChoiceGenerator.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InvocationUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoFormalInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInterface.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/BIPUSH.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/DCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/FCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/GOTO.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INSTANCEOF.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/JSR.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/JSR_W.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/LCONST.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/RET.java
branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/SIPUSH.java
branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchAdvisor.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-05-29 01:08:08
|
Revision: 1572
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1572&view=rev
Author: staats
Date: 2009-05-29 01:07:55 +0000 (Fri, 29 May 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListener.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListenerRewrite.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 21:16:58
|
Revision: 1571
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1571&view=rev
Author: frankrimlinger
Date: 2009-05-27 21:16:45 +0000 (Wed, 27 May 2009)
Log Message:
-----------
rulebase
Added Paths:
-----------
branches/mango/legacy/destiny.local/franklocal/requirements/
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/ConjunctionSym
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/EquationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/HeapItemSym
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/HeapObjectSym
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/InequationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/OpStack
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/StatItemSym
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/baseStack
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/binder
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/binderFrame
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/binderHeap
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/binderStack
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/binderStat
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/instantiatedLineage
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/localVar
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/opVar
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/topLevelContextFreeFrame
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/topLevelContextFreeHeap
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/topLevelContextFreeStack
branches/mango/legacy/destiny.local/franklocal/requirements/Binder/topLevelContextFreeStat
branches/mango/legacy/destiny.local/franklocal/requirements/Function/
branches/mango/legacy/destiny.local/franklocal/requirements/Function/BaseInvariantAgentProxySym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/FunctionSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/InstanceManagerProxySym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/LoopInvocationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/MethodInvocationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/ModuleHypothesisSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/ModuleInvocationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/ParamSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/PathNameExp
branches/mango/legacy/destiny.local/franklocal/requirements/Function/UserInvocationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Function/freeVarsReq
branches/mango/legacy/destiny.local/franklocal/requirements/Function/functionExp
branches/mango/legacy/destiny.local/franklocal/requirements/Function/functionSpaceTypeName
branches/mango/legacy/destiny.local/franklocal/requirements/LeadingKey/
branches/mango/legacy/destiny.local/franklocal/requirements/LeadingKey/commutesWithWithDive
branches/mango/legacy/destiny.local/franklocal/requirements/LeadingKey/notResolvedAbstractUcon
branches/mango/legacy/destiny.local/franklocal/requirements/Module/
branches/mango/legacy/destiny.local/franklocal/requirements/Module/parameterType
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/automatic
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/automaticHeap
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/automaticLocalVar
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/automaticThis
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiated
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedHeap
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedInfo
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedLocalVar
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedOpVar
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedStack
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedStat
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/instantiatedThis
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/parameterName
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/period
branches/mango/legacy/destiny.local/franklocal/requirements/NaturalLanguage/tpred
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/dummyVariable
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/freeVariable
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/other
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/otherButNotDummy
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/otherButNotFree
branches/mango/legacy/destiny.local/franklocal/requirements/OtherReqs/otherButNotVariable
branches/mango/legacy/destiny.local/franklocal/requirements/Semantics/
branches/mango/legacy/destiny.local/franklocal/requirements/Semantics/SemanticsForIsSuperClass
branches/mango/legacy/destiny.local/franklocal/requirements/Semantics/hasSemantics
branches/mango/legacy/destiny.local/franklocal/requirements/Semantics/tranSymWithoutSemantics
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/AlphaSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/BooleanKey
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/ClassPtrType
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/ExpLevelSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/FreeVariableSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/GateSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/GenericMethodNameSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/InstructionSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/InvocationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/MethodEntrySym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/MethodInstanceSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/MethodSymType
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/ModuleReadOnlySym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/NotFreeVariableSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/PathSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/RuleVariable
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/TranslationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/UconSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/abstractSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/foundationSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/immutable
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/instructionName
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/loopSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/notAbstractSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/resolvedAbstractSym
branches/mango/legacy/destiny.local/franklocal/requirements/Symbols/stableUnblocked
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/abstractSymReq
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/arithmeticFieldType
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/arithmeticValue
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/double
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/float
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/gstackReq
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/heapPointerReq
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/int
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/integralArrayFieldType
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/integralFieldType
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/integralValue
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/javaButNotJVMtype
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/long
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/predTransformerReq
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/predicateReq
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/pushHvalue
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/stateReq
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/stringValue
branches/mango/legacy/destiny.local/franklocal/requirements/Typing/uconReq
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notBoolean
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notByte
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notCharacter
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notDouble
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notFloat
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notInteger
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notLong
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notShort
branches/mango/legacy/destiny.local/franklocal/requirements/backchain/notString
branches/mango/legacy/destiny.local/franklocal/requirements/backflow/
branches/mango/legacy/destiny.local/franklocal/requirements/backflow/BlockedUcon
branches/mango/legacy/destiny.local/franklocal/requirements/backflow/ManuallyBlocked
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/arithmeticLocalVar
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/coefficientValue
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/conjunctionValue
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/equationValue
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/inequationValue
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/linearVariable
branches/mango/legacy/destiny.local/franklocal/requirements/linearArithmetic/notEquationValue
branches/mango/legacy/destiny.local/franklocal/requirements/marker
branches/mango/legacy/destiny.local/franklocal/requirements/nonmarker
branches/mango/legacy/destiny.local/franklocal/requirements/notNumber
branches/mango/legacy/destiny.local/franklocal/requirements/notSym
branches/mango/legacy/destiny.local/franklocal/requirements/number
branches/mango/legacy/destiny.local/franklocal/requirements/stable
branches/mango/legacy/destiny.local/franklocal/requirements/string
branches/mango/legacy/destiny.local/franklocal/requirements/sym
branches/mango/legacy/destiny.local/franklocal/requirements/unconstrained
branches/mango/legacy/destiny.local/franklocal/rules/
branches/mango/legacy/destiny.local/franklocal/rules/rulebase.zip
branches/mango/legacy/destiny.local/franklocal/rules/rulebaseItsAWrap.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 21:11:07
|
Revision: 1569
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1569&view=rev
Author: frankrimlinger
Date: 2009-05-27 21:10:58 +0000 (Wed, 27 May 2009)
Log Message:
-----------
ACL2 acl2Workspace commit
Added Paths:
-----------
branches/mango/legacy/ACL2/.classpath
branches/mango/legacy/ACL2/.project
branches/mango/legacy/ACL2/Makefile
branches/mango/legacy/ACL2/Makefile-generic
branches/mango/legacy/ACL2/acl-compat.dx64fsl
branches/mango/legacy/ACL2/acl-compat.lisp
branches/mango/legacy/ACL2/acl-compat.out
branches/mango/legacy/ACL2/case-match.dx64fsl
branches/mango/legacy/ACL2/case-match.lisp
branches/mango/legacy/ACL2/destiny-model-rev.lisp
branches/mango/legacy/ACL2/destiny-model-rev.lisp.a2s
branches/mango/legacy/ACL2/destiny-model.lisp
branches/mango/legacy/ACL2/destiny-model.lisp.a2s
branches/mango/legacy/ACL2/destiny-model.out
branches/mango/legacy/ACL2/generate-functions.dx64fsl
branches/mango/legacy/ACL2/generate-functions.lisp
branches/mango/legacy/ACL2/guess-theorems.dx64fsl
branches/mango/legacy/ACL2/guess-theorems.lisp
branches/mango/legacy/ACL2/openmcl
branches/mango/legacy/ACL2/parse-theorems.dx64fsl
branches/mango/legacy/ACL2/parse-theorems.lisp
branches/mango/legacy/ACL2/parser.lisp
branches/mango/legacy/ACL2/ppr.dx64fsl
branches/mango/legacy/ACL2/ppr.lisp
branches/mango/legacy/ACL2/preprocess.dx64fsl
branches/mango/legacy/ACL2/preprocess.lisp
branches/mango/legacy/ACL2/pxml0.dx64fsl
branches/mango/legacy/ACL2/pxml0.lisp
branches/mango/legacy/ACL2/pxml1.dx64fsl
branches/mango/legacy/ACL2/pxml1.lisp
branches/mango/legacy/ACL2/pxml2.dx64fsl
branches/mango/legacy/ACL2/pxml2.lisp
branches/mango/legacy/ACL2/pxml3.dx64fsl
branches/mango/legacy/ACL2/pxml3.lisp
branches/mango/legacy/ACL2/saved/
branches/mango/legacy/ACL2/saved/Makefile
branches/mango/legacy/ACL2/saved/Makefile-generic
branches/mango/legacy/ACL2/saved/acl-compat.dx64fsl
branches/mango/legacy/ACL2/saved/acl-compat.lisp
branches/mango/legacy/ACL2/saved/acl-compat.out
branches/mango/legacy/ACL2/saved/case-match.dx64fsl
branches/mango/legacy/ACL2/saved/case-match.lisp
branches/mango/legacy/ACL2/saved/destiny-model.lisp
branches/mango/legacy/ACL2/saved/destiny-model.lisp.a2s
branches/mango/legacy/ACL2/saved/destiny-model.out
branches/mango/legacy/ACL2/saved/generate-functions.dx64fsl
branches/mango/legacy/ACL2/saved/generate-functions.lisp
branches/mango/legacy/ACL2/saved/guess-theorems.dx64fsl
branches/mango/legacy/ACL2/saved/guess-theorems.lisp
branches/mango/legacy/ACL2/saved/openmcl
branches/mango/legacy/ACL2/saved/parse-theorems.dx64fsl
branches/mango/legacy/ACL2/saved/parse-theorems.lisp
branches/mango/legacy/ACL2/saved/parser.lisp
branches/mango/legacy/ACL2/saved/ppr.dx64fsl
branches/mango/legacy/ACL2/saved/ppr.lisp
branches/mango/legacy/ACL2/saved/preprocess.dx64fsl
branches/mango/legacy/ACL2/saved/preprocess.lisp
branches/mango/legacy/ACL2/saved/pxml0.dx64fsl
branches/mango/legacy/ACL2/saved/pxml0.lisp
branches/mango/legacy/ACL2/saved/pxml1.dx64fsl
branches/mango/legacy/ACL2/saved/pxml1.lisp
branches/mango/legacy/ACL2/saved/pxml2.dx64fsl
branches/mango/legacy/ACL2/saved/pxml2.lisp
branches/mango/legacy/ACL2/saved/pxml3.dx64fsl
branches/mango/legacy/ACL2/saved/pxml3.lisp
branches/mango/legacy/ACL2/saved/substitutions.dx64fsl
branches/mango/legacy/ACL2/saved/substitutions.lisp
branches/mango/legacy/ACL2/saved/utilities.dx64fsl
branches/mango/legacy/ACL2/saved/utilities.lisp
branches/mango/legacy/ACL2/src/
branches/mango/legacy/ACL2/substitutions.dx64fsl
branches/mango/legacy/ACL2/substitutions.lisp
branches/mango/legacy/ACL2/utilities.dx64fsl
branches/mango/legacy/ACL2/utilities.lisp
branches/mango/legacy/acl2Workspace/.classpath
branches/mango/legacy/acl2Workspace/.project
branches/mango/legacy/acl2Workspace/about/
branches/mango/legacy/acl2Workspace/about/about certification.rtf
branches/mango/legacy/acl2Workspace/about/about induction variable.rtf
branches/mango/legacy/acl2Workspace/about/about measures.rtf
branches/mango/legacy/acl2Workspace/baseline/
branches/mango/legacy/acl2Workspace/baseline/loop tests/
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/if-with-two-loops.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/if-with-two-loops.lisp.a2s
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/if-with-two-loops.txt
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/loops-1.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/loops-2.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/main-1.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/main-2.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robert/
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robert/if-with-two-loops.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/if-with-two-loops.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/loops-1.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/loops-2.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/main-1.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/main-2.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/if_with_two_loops/robertRecovery/parserScript.txt
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/Rimlinger.acl2
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/Rimlinger.cert
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/Rimlinger.fasl
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/Rimlinger.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/Rimlinger.lisp.a2s
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/about itsAWrap.rtf
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/clear.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/itsAWrap.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/itsAWrap.lisp.a2s
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/itsAWrap.txt
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/main.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/robert/
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/robert/its-a-wrap-orig.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/itsAWrap/robert/its-a-wrap.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/about loop-with-if.rtf
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/clear.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/loop-with-if.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/loop-with-if.txt
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/main.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/robert/
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/robert/loop-with-if-orig.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/loop-with-if/robert/loop-with-if.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/Robert/
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/Robert/while-with-conjunct-orig.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/Robert/while-with-conjunct.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/about while-with-conjunct.rtf
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/conjunctive_loop.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/disjunctive_loop.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/main.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/simple_loop.xml
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/while-with-conjunct.lisp
branches/mango/legacy/acl2Workspace/baseline/loop tests/while-with-conjunct/while-with-conjunct.txt
branches/mango/legacy/acl2Workspace/certificationScript.txt
branches/mango/legacy/acl2Workspace/mybook.lisp
branches/mango/legacy/acl2Workspace/mybook.lisp.a2s
branches/mango/legacy/acl2Workspace/quickstart/
branches/mango/legacy/acl2Workspace/quickstart/ACL2 perspective quickstart.rtf
branches/mango/legacy/acl2Workspace/quickstart/eclipse-acl2 quickstart.txt
branches/mango/legacy/acl2Workspace/quickstart/parser quickstart.rtf
branches/mango/legacy/acl2Workspace/quickstart/session quickstart.rtf
branches/mango/legacy/acl2Workspace/rulebase/
branches/mango/legacy/acl2Workspace/rulebase/backchain/
branches/mango/legacy/acl2Workspace/rulebase/backchain/Inequality reasoning/
branches/mango/legacy/acl2Workspace/rulebase/backchain/Inequality reasoning/parserScript.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/Inequality reasoning/rules.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/Inequality reasoning/rules.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/Modular arithmetic/
branches/mango/legacy/acl2Workspace/rulebase/backchain/Modular arithmetic/parserScript.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/Modular arithmetic/rules.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/Modular arithmetic/rules.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/basic arithmetic/
branches/mango/legacy/acl2Workspace/rulebase/backchain/basic arithmetic/basic arithmetic.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/basic arithmetic/basic arithmetic.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/basic arithmetic/basic arithmetic.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/bit logic/
branches/mango/legacy/acl2Workspace/rulebase/backchain/bit logic/about bit logic.rtf
branches/mango/legacy/acl2Workspace/rulebase/backchain/bit logic/bit logic.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/bit logic/bit logic.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/bit logic/bit logic.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/bitMask reasoning/
branches/mango/legacy/acl2Workspace/rulebase/backchain/bitMask reasoning/parserScript.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/bitMask reasoning/rules.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/bitMask reasoning/rules.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/exponential reasoning/
branches/mango/legacy/acl2Workspace/rulebase/backchain/exponential reasoning/about exponential reasoning.rtf
branches/mango/legacy/acl2Workspace/rulebase/backchain/exponential reasoning/parserScript.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/exponential reasoning/rules.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/exponential reasoning/rules.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/floor 2 div reasoning/
branches/mango/legacy/acl2Workspace/rulebase/backchain/floor 2 div reasoning/parserScript.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/floor 2 div reasoning/rules.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/floor 2 div reasoning/rules.xml
branches/mango/legacy/acl2Workspace/rulebase/backchain/garbage collection reasoning/
branches/mango/legacy/acl2Workspace/rulebase/backchain/garbage collection reasoning/axioms for garbage collection.rtf
branches/mango/legacy/acl2Workspace/rulebase/backchain/logical reasoning/
branches/mango/legacy/acl2Workspace/rulebase/backchain/logical reasoning/parserScript.txt
branches/mango/legacy/acl2Workspace/rulebase/backchain/logical reasoning/rules.lisp
branches/mango/legacy/acl2Workspace/rulebase/backchain/logical reasoning/rules.xml
branches/mango/legacy/acl2Workspace/rulebase/defunInv-for-little-rulebase.xml
branches/mango/legacy/acl2Workspace/rulebase/defunInv.xml
branches/mango/legacy/acl2Workspace/src/
branches/mango/legacy/acl2Workspace/test.lisp
branches/mango/legacy/acl2Workspace/test.lisp.a2s
branches/mango/legacy/acl2Workspace/test1.lisp
branches/mango/legacy/acl2Workspace/test1.lisp.a2s
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 20:39:59
|
Revision: 1565
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1565&view=rev
Author: frankrimlinger
Date: 2009-05-27 20:39:31 +0000 (Wed, 27 May 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/legacy/worker3/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 20:38:30
|
Revision: 1564
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1564&view=rev
Author: frankrimlinger
Date: 2009-05-27 20:37:30 +0000 (Wed, 27 May 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/legacy/gumbo2/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 20:37:57
|
Revision: 1563
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1563&view=rev
Author: frankrimlinger
Date: 2009-05-27 20:36:48 +0000 (Wed, 27 May 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/legacy/destiny3/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 20:36:51
|
Revision: 1562
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1562&view=rev
Author: frankrimlinger
Date: 2009-05-27 20:35:51 +0000 (Wed, 27 May 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/legacy/destiny.local/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 20:32:03
|
Revision: 1561
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1561&view=rev
Author: frankrimlinger
Date: 2009-05-27 20:30:52 +0000 (Wed, 27 May 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/legacy/destiny.input/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-05-27 20:31:07
|
Revision: 1560
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1560&view=rev
Author: frankrimlinger
Date: 2009-05-27 20:30:09 +0000 (Wed, 27 May 2009)
Log Message:
-----------
Initial import.
Added Paths:
-----------
branches/mango/legacy/acl2Workspace/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
