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-08-08 23:28:25
|
Revision: 1814
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1814&view=rev
Author: frankrimlinger
Date: 2009-08-08 23:28:10 +0000 (Sat, 08 Aug 2009)
Log Message:
-----------
The secondary hash idea still has the linear time in the number of rules matching problem, so decided on a filter tree instead. This reduces the matching problem to about (2^number of wildcards)*(number of arguments+2) steps. The filter design is
class RuleFilter{
RuleFilter wildFilter
HashMap<Object, RuleFilter > keyFilterMap
HashSet<Rule> rules
}
Pattern encoding starts at the topFilter, using the lead ruleKey. The variable length patterns bottom out immediately, everybody else then matches on argument length followed by the key for each individual argument, with wildcards matching on the wildFilter. When the pattern bottoms out, it adds the corresponding rule to the rules member of the bottom filter. When matching, each step will generally match on the wildFilter and a filter from the keyFilterMap, which is quite acceptable since number of wildcards <= number of arguments <4 with very few exceptions. The rules from each bottom filter are then concatenated to form the rules forwarded to the unifier for unification. This should dramatically decrease the load on the unifier.
With all this in place, hook up rule indexing update when rules are added/deleted, regardless of whether they are template, variable length, or "normal" rules. These updates are no longer handled via the messaging system, but happen naturally as rules are created/deleted. The details of template updating are elaborate and contained in the new "rule template" document.
The real reason for cleaning this up is to pave the way for new growth in the area of dynamic rule generation. In particular, stable rules and composition rules should be generated dynamically. Also, much could be done to ease the pain of translation rules.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/sym/RuleVariable.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleGenerator.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClinitWasCalledSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/GenericMethodNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ImmutableSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InstructionNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Marker.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/NullObject.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Other.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/StringSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/InstructionSym.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleFilter.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleFilterManager.java
branches/mango/Mango/doc/rule template.txt
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/core/sym/PrimaryRuleGroup.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleCensus.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-08 13:17:29
|
Revision: 1813
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1813&view=rev
Author: frankrimlinger
Date: 2009-08-08 13:17:22 +0000 (Sat, 08 Aug 2009)
Log Message:
-----------
secondary hash in progress for rewriting
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleCensus.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleGenerator.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/core/sym/PrimaryRuleGroup.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/core/sym/RuleViewSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-08 01:37:04
|
Revision: 1812
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1812&view=rev
Author: frankrimlinger
Date: 2009-08-08 01:36:57 +0000 (Sat, 08 Aug 2009)
Log Message:
-----------
Implementing new strategy for RuleViewSym secondary hashing. The basic contract of this hash is that rule patterns must hash to the same place as all expressions which match on such a pattern. The original idea to just take the top-level (ruleKey, numArgs) pair as the hash key is inadequate, but now serves as a primary hash. After the primary has is built for the rulebase, a census is taken. All the rules whose corresponding class is not variable length but is too coarse are then further subgrouped by "secondary pattern". The secondary pattern associates to each argument:
rulekey if the argument is a corresponding cons (rulekey ...)
arg if the argument is <patternImmutable>
#SWildCard ? otherwise
to form the key (secondaryPattern arg1 ... argn)
A rewrite candidate expression which hashes to a coarse class is then matched against each secondary pattern using simple grep logic, and the hits are forwarded to the rewrite engine for unification.
Hopefully this will eliminate unifier bottlenecks. The variable length rules are not believed to be a performance issue, but there is no factual basis for this belief.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/sym/RuleViewSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/Rewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleGenerator.java
branches/mango/Mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleCensus.java
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getComponentType()Ljava.lang.Class_MangoFormal;/
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/core/sym/LengthViewSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-08-07 21:59:21
|
Revision: 1811
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1811&view=rev
Author: pcmehlitz
Date: 2009-08-07 21:59:13 +0000 (Fri, 07 Aug 2009)
Log Message:
-----------
URL typo in news
Modified Paths:
--------------
trunk/doc/home.html
trunk/doc/news.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-07 04:44:12
|
Revision: 1810
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1810&view=rev
Author: frankrimlinger
Date: 2009-08-07 04:44:04 +0000 (Fri, 07 Aug 2009)
Log Message:
-----------
Added native implementation for Class_MangoFormal.isArray(). Currently favoring the idea of casing out and returning concrete 't and 'f, as oppose to a boolean valued utility. This makes for cleaner syntax, as the isArray() utility is now a <predicate>. Translation is now via semantic operator. Do the same for isPrimitive, isAssignableFrom, and isInterface.
There is an rewriter bug with getComponentType. fix this.
When Class_MangoFormal is done, migrate the HeapPtr stuff to the new type system.
Modified Paths:
--------------
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsArray.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsClassLoadableAssumption.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsArray.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/semantics/SemanticsForIsArray.java
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isArray()Z/
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/isArray()Z/case.zip
branches/mango/Mango/mangoUserHome/system/System/java/lang/Worksheet for String_MangoFormal.isArray()Z.txt
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/IsClassLoadable.java
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet (Autosaved)
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-08-07 00:57:51
|
Revision: 1809
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1809&view=rev
Author: pcmehlitz
Date: 2009-08-07 00:57:45 +0000 (Fri, 07 Aug 2009)
Log Message:
-----------
* removed the platform dependent tools.jar reference from the build path - this breaks builds for most people! Didn't I do this before?
Modified Paths:
--------------
trunk/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <mil...@us...> - 2009-08-06 23:27:32
|
Revision: 1808
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1808&view=rev
Author: milos-gligoric
Date: 2009-08-06 23:27:19 +0000 (Thu, 06 Aug 2009)
Log Message:
-----------
Added the copy propagation mode to the basic delayed choice
and refactored the previous code to separate the two modes.
Both basic delayed choice and delayed choice with copy propagation
are explained in extensions/delayed/doc/index.html
Added Paths:
-----------
trunk/extensions/delayed/doc/index.html
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ObjectPool.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/CPDelayedStateExtensionClient.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/CPInstructionFactory.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/AnyObjCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/BooleanCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/CPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/IntCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/NewObjCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/attr/ObjCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/AALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/ALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/ANEWARRAY.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/BALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/CHECKCAST.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/GETFIELD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/GETSTATIC.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/I2B.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/I2C.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/I2D.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/I2F.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/I2L.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/I2S.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IADD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IAND.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IDIV.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFEQ.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFGE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFGT.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFLE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFLT.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFNE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFNONNULL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IFNULL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ACMPEQ.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ACMPNE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ICMPEQ.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ICMPGE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ICMPGT.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ICMPLE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ICMPLT.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IF_ICMPNE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IINC.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/ILOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IMUL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/INEG.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/INVOKEINTERFACE.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/INVOKESPECIAL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/INVOKESTATIC.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/INVOKEVIRTUAL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IOR.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IREM.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/ISHL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/ISHR.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/ISUB.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IUSHR.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/IXOR.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/LOOKUPSWITCH.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/NEWARRAY.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/SwitchInstruction.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/TABLESWITCH.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cp/bytecode/VirtualInvocation.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/NCPDelayedStateExtensionClient.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/NCPInstructionFactory.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/AnyObjNCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/BooleanNCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/IntNCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/NCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/NewObjNCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/attr/ObjNCPDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/AALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/ALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/BALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/CHECKCAST.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/GETFIELD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/GETSTATIC.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/IALOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/IINC.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/ILOAD.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/INVOKESPECIAL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/INVOKESTATIC.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/INVOKEVIRTUAL.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ncp/bytecode/VirtualInvocation.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/AnyOrderEntry.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/DelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/DelayedCG.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/NewOrderEntry.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/ObjDelayedAttr.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/ObjDelayedCG.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/Order.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/OrderEntry.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/UnderlineObjectPool.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/NCPUtils.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/Pair.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/Roundtrip.java
trunk/extensions/delayed/src/gov/nasa/jpf/jvm/CPDelayedRestorer.java
trunk/extensions/delayed/src/gov/nasa/jpf/jvm/NCPDelayedRestorer.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/JPF_gov_nasa_jpf_delayed_TestCPInvoke$C.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPGETFIELD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPGETFIELDJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPI2.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPI2JPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIADD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIADDJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIAND.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIANDJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIDIV.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIDIVJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFEQ.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFEQJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFGE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFGEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFGT.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFGTJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFLE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFLEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFLT.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFLTJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFNE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIFNEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ACMPEQ.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ACMPEQJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ACMPNE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ACMPNEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPEQ.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPEQJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPGE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPGEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPGT.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPGTJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPLE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPLEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPLT.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPLTJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPNE.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIF_ICMPNEJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIINC.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIINCJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIMUL.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIMULJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPINEG.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPINEGJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIOR.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIORJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIREM.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIREMJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPISHL.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPISHLJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPISHR.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPISHRJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPISUB.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPISUBJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIUSHR.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIUSHRJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIXOR.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPIXORJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPInvoke.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPInvokeJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPSwitchInstruction.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestCPSwitchInstructionJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPAALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPAALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPBALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPBALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPDefaultObjectPool.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPDefaultObjectPoolJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPGETFIELD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPGETFIELDJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPGETSTATIC.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPGETSTATICJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPIALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPIALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPILOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestNCPILOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/CPConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/ConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/DefaultConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/NCPConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/JPF_gov_nasa_jpf_delayed_test_util_TestUtils.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/TestUtils.java
Removed Paths:
-------------
trunk/extensions/delayed/doc/index.html
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/NCPInstructionFactory.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/ObjectPool.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/attr/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/bytecode/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/cg/
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/AnyOrderEntry.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/NCPDelayedStateExtensionClient.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/NewOrderEntry.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/Order.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/OrderEntry.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/state/UnderlineObjectPool.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/NCPUtils.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/Pair.java
trunk/extensions/delayed/src/gov/nasa/jpf/delayed/util/Roundtrip.java
trunk/extensions/delayed/src/gov/nasa/jpf/jvm/NCPDelayedRestorer.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestAALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestAALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestBALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestBALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestDefaultObjectPool.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestDefaultObjectPoolJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETFIELD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETFIELDJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETSTATIC.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestGETSTATICJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestIALOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestIALOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestILOAD.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/TestILOADJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/ConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/DefaultConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/conf/NCPConfigurableTestJPF.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/JPF_gov_nasa_jpf_delayed_test_util_TestUtils.java
trunk/extensions/delayed/test/gov/nasa/jpf/delayed/test/util/TestUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-06 05:48:58
|
Revision: 1807
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1807&view=rev
Author: frankrimlinger
Date: 2009-08-06 05:48:44 +0000 (Thu, 06 Aug 2009)
Log Message:
-----------
Wrote native implementation for Class_MangoFormal.getName().
Discovered the meaning behind "canonical representation". It turns out the javadoc for Class.getName() states that arrays represent the base class in "internal form", [Ljava.lang.object; and that classes are represented by their "binary name", java.lang.object. Modeled Class_MangoFormal.getName() accordingly. So, the conversion from MFL, which uses source code level representation, to canonical representation, is
Types.getCanonicalTypeName(FormalTypes.getTypeCode(source-level-rep))
Mystery revealed.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringValue.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/GetCanonicalTypeName.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_string.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/StringReq.java
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String_MangoFormal;/
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/getName()Ljava.lang.String_MangoFormal;/case.zip
branches/mango/Mango/mangoUserHome/system/System/java/lang/getName worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet (Autosaved)
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_stringValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StringReq.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-05 23:16:13
|
Revision: 1806
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1806&view=rev
Author: frankrimlinger
Date: 2009-08-05 23:16:06 +0000 (Wed, 05 Aug 2009)
Log Message:
-----------
"Fixed" the replay performance problem. For some reason a java app does not use available memory unless explicitly told to do so. So if you have 8GB, you need the vm argument -Xmx8000m. Eventually, have to figure out how to get the garbage collector to do its thing each time the worker resets, but at the very least, use up the memory that you have.
Untangled the return translation issue. If an object is returned, and the type of that object is stored in the heap, then that type is reported. Otherwise, if context is available, then the type is deduced from context. The point is that in the case of a thrown exception, the exception does exist on the heap and its type will be reported, otherwise the nominal case will obtain.
So, finally, Class_MangoFormal.forName() is specified, and we can move on.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateReturnUcon.java
branches/mango/Mango/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/Mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslateModuleManager.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/className is defined.zip
branches/mango/Mango/secret memory command.txt
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateSym.java
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/className is undefined.zip
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateOther.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-08-05 20:30:17
|
Revision: 1805
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1805&view=rev
Author: pcmehlitz
Date: 2009-08-05 20:30:11 +0000 (Wed, 05 Aug 2009)
Log Message:
-----------
forgot (tm) in banner title, oh my..
Modified Paths:
--------------
trunk/doc/JPF_files/banner_title.png
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-08-05 19:52:30
|
Revision: 1804
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1804&view=rev
Author: pcmehlitz
Date: 2009-08-05 19:52:23 +0000 (Wed, 05 Aug 2009)
Log Message:
-----------
* minimal news update
* website hot fixes to make Sun happy - make your guess what JPF stands for
Modified Paths:
--------------
trunk/doc/JPF_files/JPF-mod.css
trunk/doc/JPF_files/banner_title.png
trunk/doc/The_Model_Java_Interface.html
trunk/doc/What_is_Java_PathFinder.html
trunk/doc/home.html
trunk/doc/index.html
trunk/doc/navigation.html
trunk/doc/news.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <tel...@us...> - 2009-08-04 02:36:22
|
Revision: 1803
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1803&view=rev
Author: telcontar
Date: 2009-08-04 02:36:13 +0000 (Tue, 04 Aug 2009)
Log Message:
-----------
* Readme.txt: Changed possibly misleading ">" shell prompt to spaces.
Modified Paths:
--------------
trunk/extensions/net-iocache/Readme.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-03 22:34:23
|
Revision: 1802
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1802&view=rev
Author: frankrimlinger
Date: 2009-08-03 22:34:17 +0000 (Mon, 03 Aug 2009)
Log Message:
-----------
Fixed problem with automatic assumptions. Automatic rules should now use the "Contextual" requirement as necessary to avoid matching on context free local variables, which are no longer translatable.
Modules and Template worker image top-level ties are now automatically deactivated, regardless of the corresponding core state. This is the first tiny step in splitting these off into their own separate database settings.
Worker.staticReset now uses reflection. So all you have to do now is remember to *write* the staticReset method for every class that creates static data which stores counters or hashing info.
With all this in place, parametrization appears to be working for Class_MangoFormal.forName(). Time to get back into the System rebuild business.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/Mango/Mango/src/mango/core/CoreTier.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleBaseSym.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Automatic.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Contextual.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/ContextualExp.java
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wat...@us...> - 2009-08-03 07:56:25
|
Revision: 1801
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1801&view=rev
Author: watcharin
Date: 2009-08-03 07:56:18 +0000 (Mon, 03 Aug 2009)
Log Message:
-----------
Change the command to build net-iocache.
Modified Paths:
--------------
trunk/extensions/net-iocache/Readme.txt
trunk/extensions/net-iocache/build.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-08-03 07:05:56
|
Revision: 1800
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1800&view=rev
Author: staats
Date: 2009-08-03 07:05:48 +0000 (Mon, 03 Aug 2009)
Log Message:
-----------
Removed Paths:
-------------
trunk/extensions/complexcoverage/bin/bintree-constrain-config-16-2.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-32-1.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-08-03 06:43:34
|
Revision: 1799
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1799&view=rev
Author: staats
Date: 2009-08-03 06:43:27 +0000 (Mon, 03 Aug 2009)
Log Message:
-----------
Ready to rock, all experiments
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov BinTree Symbolic.launch
trunk/extensions/complexcoverage/launch/CompCov BinomialHeap Symbolic.launch
trunk/extensions/complexcoverage/launch/CompCov FibHeap Symbolic.launch
trunk/extensions/complexcoverage/launch/CompCov TreeMap Symbolic.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/asw-constrain-config-16-2.txt
trunk/extensions/complexcoverage/bin/asw-constrain-config-2-16.txt
trunk/extensions/complexcoverage/bin/asw-constrain-config-32-1.txt
trunk/extensions/complexcoverage/bin/asw-constrain-config-4-8.txt
trunk/extensions/complexcoverage/bin/asw-constrain-config-8-4.txt
trunk/extensions/complexcoverage/bin/binheap-constrain-config-16-2.txt
trunk/extensions/complexcoverage/bin/binheap-constrain-config-2-16.txt
trunk/extensions/complexcoverage/bin/binheap-constrain-config-32-1.txt
trunk/extensions/complexcoverage/bin/binheap-constrain-config-4-8.txt
trunk/extensions/complexcoverage/bin/binheap-constrain-config-8-4.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-16-2.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-18-2.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-2-16.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-27-1.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-32-1.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-4-8.txt
trunk/extensions/complexcoverage/bin/bintree-constrain-config-8-4.txt
trunk/extensions/complexcoverage/bin/fibheap-constrain-config-16-2.txt
trunk/extensions/complexcoverage/bin/fibheap-constrain-config-2-16.txt
trunk/extensions/complexcoverage/bin/fibheap-constrain-config-32-1.txt
trunk/extensions/complexcoverage/bin/fibheap-constrain-config-4-8.txt
trunk/extensions/complexcoverage/bin/fibheap-constrain-config-8-4.txt
trunk/extensions/complexcoverage/bin/treemap-constrain-config-16-2.txt
trunk/extensions/complexcoverage/bin/treemap-constrain-config-2-16.txt
trunk/extensions/complexcoverage/bin/treemap-constrain-config-32-1.txt
trunk/extensions/complexcoverage/bin/treemap-constrain-config-4-8.txt
trunk/extensions/complexcoverage/bin/treemap-constrain-config-8-4.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-08-03 05:39:22
|
Revision: 1798
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1798&view=rev
Author: frankrimlinger
Date: 2009-08-03 05:39:15 +0000 (Mon, 03 Aug 2009)
Log Message:
-----------
Fixed more typing bugs, and arrived at a nominal parametrization of Class_MangoFormal.forName(). Refined logic for the type of a parameter. This type is stored persistently in the rulebase, and it not used by mango. It only has relevance for possible secondary theorem proving. Therefore, to the extent possible, we make this type correspond to ACL2 expectations, which differ in certain ways from those of mango. Chiefly, ACL2 makes no type distinction between a concrete integer and an expression that could evaluate to an integer. But mango does. The type exposed persistently is the "relatvie minimum" type of rev 1793.
Cleaned up the logic for assigned a parameter to a "group". These groups have no logical significance but make it easier to scan the parameter list. The group is now stored persistently in the description field of a parameter, with grandfathered groups just assigned "misc". This should be cleaned up some day.
Expressions which may be bound to context MUST NOT be of type <parameter>. This confuses the parameter harvester because it then gets two versions of the same thing, one with context, the other without. For the same reason, the harvestParameters operator now commutes with the rulekeys for state variable storage and access. It is really only looking for BinderSyms, functions, certain utility rulekeys and predicates. The good news is that all these specialized choices are now rulebased and moderated by the typing system for EZ tweaking.
NEXT BUG: For some reason, translation of hypotheses is picking up context free base expression, which is not what we want.
Revision Links:
--------------
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1793&view=rev
Modified Paths:
--------------
branches/mango/Mango/.settings/org.eclipse.jdt.core.prefs
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/OtherEqual.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/StabilizeParameterExp.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/definition/HarvestParameters.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/RenderParameterName.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/SingleQuotes.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateOpVar.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_unknownLocalVar.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_unknownOpVar.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/EnabledParameterReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownLocalVarReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownOpVarReq.java
branches/mango/Mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/LAsolver.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/OpVarSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/module/definition/agent/HarvestParametersAgent.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_doubleRelax.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_floatRelax.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_intRelax.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_longRelax.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_relaxedNumber.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ImmutableReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/DoubleRelaxReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/FloatRelaxReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntRelaxReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/LongRelaxReq.java
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8- dload_i_Code_01/op0 is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/className is defined.zip
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/definition/HarvestLocalVariableFunction.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/Immutable.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-08-02 19:55:10
|
Revision: 1797
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1797&view=rev
Author: staats
Date: 2009-08-02 19:54:59 +0000 (Sun, 02 Aug 2009)
Log Message:
-----------
improved path constraint support
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/PathConstraint.java-needsJava6JDK
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-08-02 04:14:17
|
Revision: 1796
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1796&view=rev
Author: staats
Date: 2009-08-02 04:14:11 +0000 (Sun, 02 Aug 2009)
Log Message:
-----------
Fixed configs
Modified Paths:
--------------
trunk/extensions/complexcoverage/bin/asw-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config.txt
trunk/extensions/complexcoverage/bin/asw-trim-config-64.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config.txt
trunk/extensions/complexcoverage/bin/launch-parallel-experiment.py
trunk/extensions/complexcoverage/bin/treemap-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config.txt
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-08-01 03:13:25
|
Revision: 1795
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1795&view=rev
Author: staats
Date: 2009-08-01 03:13:18 +0000 (Sat, 01 Aug 2009)
Log Message:
-----------
Concretize configs
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConcretizeVariables.java
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java
Added Paths:
-----------
trunk/extensions/complexcoverage/bin/asw-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/asw-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/binheap-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/bintree-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/fibheap-concretize-config-8-4.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-16-2.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-2-16.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-32-1.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-4-8.txt
trunk/extensions/complexcoverage/bin/treemap-concretize-config-8-4.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-31 17:02:41
|
Revision: 1794
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1794&view=rev
Author: staats
Date: 2009-07-31 17:02:31 +0000 (Fri, 31 Jul 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Parallel Client.launch
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-30 23:54:35
|
Revision: 1793
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1793&view=rev
Author: frankrimlinger
Date: 2009-07-30 23:54:19 +0000 (Thu, 30 Jul 2009)
Log Message:
-----------
Completed and tested code for minimum type of an object. Harvest parameters now uses minimum type. Tweaked the minimum type data to optimize parametrization choices. Very nice. Teased apart the types <className> and <classNameSymbol>. The point here is that both of these are recognized as <className> for the purpose of garbage collection, but a <classNameSymbol> implies <defeatParametrization> so we don't paint the rose. Updated the rulebase accordingly.
All Markers were initialized with type <notObject>. Unfortunately, ^null *is* an <object>, because we have blurred the distinction between and object and its reference. The null object has no business being a Marker in the first place, since its semantics are so very different from every other marker. So, like EmptyString, it has been split off into its own singleton class NullObject extending Sym directly. Altered the MFL encoder/decoder to retain the syntax ^null but back it with NullObject instead of Marker.
An attempt to create a Marker with name "null" or a NullObject with any name other than "null" will throw IllegalStateException.
Changed name of the RuleKey "refH" to "loc", consistenty with the type <location> introduced for ref expressions. Every object,subaddress pair has a location in the heap, and every object IS its reference, which is why null can be an object. This is not compatible with java terminology, but so be it. The null object never occurs in a location pair, which is why the heap counter state variable never can take the value null. We assume infinite storage, finite resources is SEP.
BUG: local variable parametrization is broken.
TODO: In Worker.staticReset(), use reflection to examine ALL the mango code and call ALL the staticReset methods (except Worker.staticReset). Its time to do this. This is EZ code.
TODO: You MUST add code NOW to compute the transitive closure of the submitted linear orders. It is just impossibly difficult to do this by hand. Also, you can detect circularity this way and this is a valuable debugging feature.
TODO: Eliminate the HeapPointer class, folding all its functionality into the typing system. This class originally arose to compensate for the inadequacy of earlier versions of typing, but now it is just a swamp area that will hold back evolution of garbage collection. The plan is just to create all the required types for temporal logic and object taxonomy, and then build up the rules for heap pointer comparison on an as needed basis.
Modified Paths:
--------------
branches/mango/Mango/ACL2/itsAWrap-construct.lisp
branches/mango/Mango/Mango/src/mango/core/CoreSym.java
branches/mango/Mango/Mango/src/mango/core/CoreVariable.java
branches/mango/Mango/Mango/src/mango/core/mfl/CoreMFLBuilder.java
branches/mango/Mango/Mango/src/mango/core/mfl/CoreMFLCreator.java
branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutes.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Instanceof.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsAssignmentCompatible.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/InequivalentRef.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/ToCharArray.java
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/BindBoot.java
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/ValueH.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuum.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuum012.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuum02.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuumA.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateLocation.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/AssignNotObjectValue.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InvocationNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Marker.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyAndAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/FactorizationModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInstruction.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/AASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ACONST_NULL.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ARRAYLENGTH.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/BALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/BASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/CASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/DALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/DASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/FALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/FASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GETFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNONNULL.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IFNULL.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LASTORE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC_W.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/MULTIANEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/PUTFIELD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/SALOAD.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/SASTORE.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/'className' is defined.zip
branches/mango/Mango/mangoUserHome/system/System/java/lang/Worksheet for String._MangoFormal<init>(C)V.txt
branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_Class.forName worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.append(str1,str2) worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.arraySyntax worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.charAt worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.append worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/Mango_StringBuffer.length worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/lang/toCharArray Worksheet (Autosaved)
branches/mango/Mango/mangoUserHome/system/System/mango/lang/toCharArray Worksheet.txt
branches/mango/Mango/mangoUserHome/system/System/mango/util/Mango_ArrayList.add worksheet.txt
branches/mango/Mango/mangoUserHome/system/bin/mango/lang/Mango_String.charAt worksheet.rtf
branches/mango/Mango/mangoUserHome/system/bin/mango/lang/Mango_String.length worksheet.rtf
branches/mango/Mango/mangoUserHome/system/bin/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
branches/mango/Mango/mangoUserHome/system/bin/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/Mango/mangoUserHome/system/bin/mango/util/Mango_ArrayList.add worksheet.rtf
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_className.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ClassNameReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ClassNameSymbolReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/EnabledParameterReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/InvocationNameSymbolReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/rewriter/DefeatParametrizationReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/NullObject.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/ClassNameSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/InvocationNameSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ParameterReq.java
branches/mango/Mango/bytecode cheat.txt
branches/mango/Mango/intermediate transformers
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-30 19:45:44
|
Revision: 1792
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1792&view=rev
Author: staats
Date: 2009-07-30 19:45:31 +0000 (Thu, 30 Jul 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/launch/CompCov Parallel Manager Testfile.launch
trunk/extensions/complexcoverage/launch/CompCov TestFun Normal.launch
trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-30 13:04:59
|
Revision: 1791
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1791&view=rev
Author: frankrimlinger
Date: 2009-07-30 13:04:50 +0000 (Thu, 30 Jul 2009)
Log Message:
-----------
Introduced "relative minimum" type of an item, which means a type that is minimal over the set of types of an item. This is different from "minimal type", which means a type that is minimal over the set of all types. An item always has a relative minimum type provided it has at least one type. This gets around the problem of which type to declare as "the" type during parametrization, because by definition such an item has at least one type. In order to avoid parametrizing all <predicate>s, introduced the type <defeatParametrization>. Any item which has assigned type <defeatParametrization> will not be parametrized, regardless of whether or not it is a parameter. Accordingly, 't and 'f are now initialized with <defeatParametrization>.
A type may now optionally be bound to a "parametrizationScore". In the event of multiple relative minimums for an item, the one returned by FormalTypes.getRelativeMinimum() will have lowest score. Eventually we may just have to persistently store *all* the minimal types for a parameter, but for now we see how it goes.
In progress.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-07-30 00:41:55
|
Revision: 1790
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1790&view=rev
Author: frankrimlinger
Date: 2009-07-30 00:41:46 +0000 (Thu, 30 Jul 2009)
Log Message:
-----------
Revised Kons.getAssignedTypes so that if the rulekey x is NOT a type, but x has assigned types, then those types are also assigned to the Kons. This revision allows the "short names" for functions to propagate the <exposed> type to function instantiations without actually introducing the short names into the type namespace, which is already getting crowded. However, it is no longer a good idea to designate ANY rulekey as immutable, and in fact all such designations have been removed. In the end, it may be necessary to introduced levels into the type namespace in order to avoid collisions, but this is fraught with peril. It is much safer to dynamically assign types then to dynamically create new types, and maybe this is good enough.
Fixed Kons.getAssignedTypes so that it no longer wastes memory. Its ok to have a secondary hash to store the HashSets as long as you UPDATE the retrieved set each time.
There is another point here, that has to do with timing. Type assignment RuleKey.getAssignedTypes() guarantees that associated Kons items will learn the type *before* any requirement fires on that Kons. This is critical for the newly introduced rewriter types like <notWithDiveCommuter> and <binder>. This technique captures the essence of all the hacks used to "get out in front" of the rewriter in a systematic way.
Removed all the type delegates for Kons. This hack is really no longer necessary now that a Kons inherits type from its rulekey.
The cleanest way to assign type to SymbolHash fields is simply to add the corresponding "known implication" to FormalTypes. To this end, method FormalTypes.buildInitialImplications() is called during initialization of the FormalTypes object. In a way, we are recreating the old SymbolHash initialization method, but at least now all the really funky stuff is localized in FormalTypes, which has become a kind "nerve center" for Mango. In fact, this class should be reincarnated as a plugin some day.
CAVEAT EMPTOR: Don't assign types to a type, this is what the partial order is for!
Removed ugly code from getAssignedTypes() methods and localized in buildInitialImplications().
Completed rulebase rehab. Port of hacks to typing system now complete. Session replay is ok for forName, at least up to parametrization. This means that the new typing system is getting it done.
NEXT BUG: Typing is now so aggressive that 't and 'f are recognized as <predicate> and therefore as <parameter>, which causes a bug because they have no minimal type. This needs some thought.
TODO introduce types <freeStateVariable> and <dummyStateVariable>. Something I have wanted to do for a long long time is now possible.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/HYPO.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/EvaluatePredicate.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuum.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuum012.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuum02.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/theory/ModelHeapVacuumA.java
branches/mango/Mango/Mango/src/mango/util/LOG.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/DoubleH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/FloatH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/IntegerH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/LongH.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClinitWasCalledSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/GenericMethodNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ImmutableSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InstructionNameSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Marker.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Other.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Plug.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/HypoAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/LocalVarModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleAction/simpleSubstitution/AutomaticSubstitution.java
branches/mango/Mango/Mango/src/mango/ruleAction/simpleSubstitution/Substitution.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/AssignNotObjectValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/NotObjectReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ItemImplication.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/ruleAction/simpleSubstitution/SUBR.java
branches/mango/Mango/Mango/src/mango/ruleAction/simpleSubstitution/SUBRautomatic.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
