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-04-16 16:53:53
|
Revision: 1409
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1409&view=rev
Author: frankrimlinger
Date: 2009-04-16 16:53:47 +0000 (Thu, 16 Apr 2009)
Log Message:
-----------
beginning to understand the how the plugin manifest, the product manifest, the project build path preferences, the plug-in dependencies virtual folder view, the repository, the launch configuration, the .metadata, and the runtime.product all work together to make it happen. You must achieve a higher state of consciousness, transcending documentation, to truly understand the rich client platform.
Modified Paths:
--------------
branches/mango/Mango/.classpath
Removed Paths:
-------------
branches/mango/Mango/plugins/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-16 14:15:54
|
Revision: 1408
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1408&view=rev
Author: frankrimlinger
Date: 2009-04-16 14:15:46 +0000 (Thu, 16 Apr 2009)
Log Message:
-----------
Cleaning out the MangoRPF plugin repository for a fresh start. This repository is supposed to contain plugins, but somehow has been filled up with unjarred classes. This is goofy. Discovered there is no problem loading jpf classes as such, but realized that the jpf classes won't load without the jars they depend on. These are listed in the java build path for the trunk. (There is also a Xerces zip file which I repackaged as a jar.) The MangoRPF product needs to have these jars bundled into a plugin and deposited in its plugin repository. But, I suspect that the "jar plugin project" tries to resolve inconsistencies as it creates the bundled jar. This causes trouble when there are a lot of jars. In any case, I am unable to bundle all the required jars in a single plugin using jar plugin project. So, attempting to just bundle a few at a time. Also, need to create a new configuration item for the location of the jpf .properties file.
Modified Paths:
--------------
branches/mango/MangoJPF/META-INF/MANIFEST.MF
branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java
Removed Paths:
-------------
branches/mango/MangoJPF/repository/plugins/Array1$A.class
branches/mango/MangoJPF/repository/plugins/Array1$B.class
branches/mango/MangoJPF/repository/plugins/Array1.class
branches/mango/MangoJPF/repository/plugins/Array1.es
branches/mango/MangoJPF/repository/plugins/Completion1$A.class
branches/mango/MangoJPF/repository/plugins/Completion1$B.class
branches/mango/MangoJPF/repository/plugins/Completion1.class
branches/mango/MangoJPF/repository/plugins/Completion1.es
branches/mango/MangoJPF/repository/plugins/CompletionSend$A.class
branches/mango/MangoJPF/repository/plugins/CompletionSend$B.class
branches/mango/MangoJPF/repository/plugins/CompletionSend$C.class
branches/mango/MangoJPF/repository/plugins/CompletionSend.class
branches/mango/MangoJPF/repository/plugins/CompletionSend.es
branches/mango/MangoJPF/repository/plugins/ExampleAbort$Failure.class
branches/mango/MangoJPF/repository/plugins/ExampleAbort.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Busy.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Connecting.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$DialTone.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing$Receive.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing$Send.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing$Wait.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Invalid.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Pinned.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Ringing.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Talking.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Timeout.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Active.class
branches/mango/MangoJPF/repository/plugins/FixedPhone$Idle.class
branches/mango/MangoJPF/repository/plugins/FixedPhone.class
branches/mango/MangoJPF/repository/plugins/FixedPhone.es
branches/mango/MangoJPF/repository/plugins/FixedPhone.graffle
branches/mango/MangoJPF/repository/plugins/FixedPhone.pdf
branches/mango/MangoJPF/repository/plugins/FixedPhone.png
branches/mango/MangoJPF/repository/plugins/KeepAlive$A.class
branches/mango/MangoJPF/repository/plugins/KeepAlive$B.class
branches/mango/MangoJPF/repository/plugins/KeepAlive.class
branches/mango/MangoJPF/repository/plugins/Logger.class
branches/mango/MangoJPF/repository/plugins/META-INF/
branches/mango/MangoJPF/repository/plugins/MultipleToplevels.class
branches/mango/MangoJPF/repository/plugins/MyClass1.class
branches/mango/MangoJPF/repository/plugins/MyClass2.class
branches/mango/MangoJPF/repository/plugins/MyClassFP.class
branches/mango/MangoJPF/repository/plugins/MyClassWithFields.class
branches/mango/MangoJPF/repository/plugins/MyDriver1.class
branches/mango/MangoJPF/repository/plugins/MyDriverForFields.class
branches/mango/MangoJPF/repository/plugins/OSGI-INF/
branches/mango/MangoJPF/repository/plugins/Option.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S1.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S2$A1.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S2$A2.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S2$B1.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S2$B2.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S2.class
branches/mango/MangoJPF/repository/plugins/Ortho1$S3.class
branches/mango/MangoJPF/repository/plugins/Ortho1.class
branches/mango/MangoJPF/repository/plugins/Ortho1.es
branches/mango/MangoJPF/repository/plugins/Ortho1.graffle
branches/mango/MangoJPF/repository/plugins/Ortho1.pdf
branches/mango/MangoJPF/repository/plugins/POGO.class
branches/mango/MangoJPF/repository/plugins/PrioritySend$A$B.class
branches/mango/MangoJPF/repository/plugins/PrioritySend$A.class
branches/mango/MangoJPF/repository/plugins/PrioritySend.class
branches/mango/MangoJPF/repository/plugins/PrioritySend.es
branches/mango/MangoJPF/repository/plugins/PrioritySendRegions$R1.class
branches/mango/MangoJPF/repository/plugins/PrioritySendRegions$R2.class
branches/mango/MangoJPF/repository/plugins/PrioritySendRegions.class
branches/mango/MangoJPF/repository/plugins/PropertyTEST1.class
branches/mango/MangoJPF/repository/plugins/RATS.class
branches/mango/MangoJPF/repository/plugins/RCAT.class
branches/mango/MangoJPF/repository/plugins/ReceiverConstraints$A.class
branches/mango/MangoJPF/repository/plugins/ReceiverConstraints$B.class
branches/mango/MangoJPF/repository/plugins/ReceiverConstraints.class
branches/mango/MangoJPF/repository/plugins/ReceiverConstraints.es
branches/mango/MangoJPF/repository/plugins/Repeat.es
branches/mango/MangoJPF/repository/plugins/Repeater$A.class
branches/mango/MangoJPF/repository/plugins/Repeater.class
branches/mango/MangoJPF/repository/plugins/Robot.class
branches/mango/MangoJPF/repository/plugins/RobotManager$ListModel.class
branches/mango/MangoJPF/repository/plugins/RobotManager-nothread-console.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager-nothread.es
branches/mango/MangoJPF/repository/plugins/RobotManager-nothread.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager-thread-console.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager-thread.es
branches/mango/MangoJPF/repository/plugins/RobotManager-thread1.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager-thread2.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager-thread3.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager-thread4.jpf
branches/mango/MangoJPF/repository/plugins/RobotManager.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$1.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$2.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$3.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$4.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$5.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$6.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView$RobotCellRenderer.class
branches/mango/MangoJPF/repository/plugins/RobotManagerView.class
branches/mango/MangoJPF/repository/plugins/RobotStatusAcquisitionThread.class
branches/mango/MangoJPF/repository/plugins/RunAnt.class
branches/mango/MangoJPF/repository/plugins/RunJPF.class
branches/mango/MangoJPF/repository/plugins/RunTool.class
branches/mango/MangoJPF/repository/plugins/SecondToplevel$A.class
branches/mango/MangoJPF/repository/plugins/SecondToplevel$B.class
branches/mango/MangoJPF/repository/plugins/SecondToplevel.class
branches/mango/MangoJPF/repository/plugins/SendEvents1$A.class
branches/mango/MangoJPF/repository/plugins/SendEvents1$B.class
branches/mango/MangoJPF/repository/plugins/SendEvents1$C.class
branches/mango/MangoJPF/repository/plugins/SendEvents1.class
branches/mango/MangoJPF/repository/plugins/SendEvents1.es
branches/mango/MangoJPF/repository/plugins/SendEvents2$A$A1.class
branches/mango/MangoJPF/repository/plugins/SendEvents2$A$A2.class
branches/mango/MangoJPF/repository/plugins/SendEvents2$A.class
branches/mango/MangoJPF/repository/plugins/SendEvents2$B$B1.class
branches/mango/MangoJPF/repository/plugins/SendEvents2$B$B2.class
branches/mango/MangoJPF/repository/plugins/SendEvents2$B.class
branches/mango/MangoJPF/repository/plugins/SendEvents2.class
branches/mango/MangoJPF/repository/plugins/SendEvents2.es
branches/mango/MangoJPF/repository/plugins/StringTest.class
branches/mango/MangoJPF/repository/plugins/SyncEvents$A1.class
branches/mango/MangoJPF/repository/plugins/SyncEvents$A2.class
branches/mango/MangoJPF/repository/plugins/SyncEvents$B1.class
branches/mango/MangoJPF/repository/plugins/SyncEvents.class
branches/mango/MangoJPF/repository/plugins/TestInput.class
branches/mango/MangoJPF/repository/plugins/TestOutput.class
branches/mango/MangoJPF/repository/plugins/TestOutputFailing.class
branches/mango/MangoJPF/repository/plugins/TestSafetyAutomaton.class
branches/mango/MangoJPF/repository/plugins/Wildcards$A.class
branches/mango/MangoJPF/repository/plugins/Wildcards$B.class
branches/mango/MangoJPF/repository/plugins/Wildcards.class
branches/mango/MangoJPF/repository/plugins/Wildcards.es
branches/mango/MangoJPF/repository/plugins/coverage/
branches/mango/MangoJPF/repository/plugins/gov/
branches/mango/MangoJPF/repository/plugins/jfuzz/
branches/mango/MangoJPF/repository/plugins/ltl2buchi.properties
branches/mango/MangoJPF/repository/plugins/samplevisualizeconfigs/
branches/mango/MangoJPF/repository/plugins/sequences/
branches/mango/MangoJPF/repository/plugins/symbolicheap/
branches/mango/MangoJPF/repository/plugins/txtfiles/
branches/mango/MangoJPF/repository/plugins/visualize/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <wat...@us...> - 2009-04-16 05:57:21
|
Revision: 1407
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1407&view=rev
Author: watcharin
Date: 2009-04-16 05:57:17 +0000 (Thu, 16 Apr 2009)
Log Message:
-----------
Revised and refactored the core code.
Fixed minor bugs.
Modified Paths:
--------------
trunk/extensions/net-iocache/bin/alphabet-client-nd-mc.sh
trunk/extensions/net-iocache/bin/alphabet-server-mc.sh
trunk/extensions/net-iocache/bin/alphabet-server-nd-mc.sh
trunk/extensions/net-iocache/bin/chat-client-mc.sh
trunk/extensions/net-iocache/bin/chat-client.sh
trunk/extensions/net-iocache/bin/chat-server-client.sh
trunk/extensions/net-iocache/bin/daytime-client-mc.sh
trunk/extensions/net-iocache/bin/daytime-server-client.sh
trunk/extensions/net-iocache/bin/env.sh
trunk/extensions/net-iocache/bin/http-server-mc.sh
trunk/extensions/net-iocache/bin/testall.sh
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_net_Socket.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/alphabet/AlphabetServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/ChatServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/chat/Worker.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/DaytimeClient.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/daytime/DaytimeServer.java
trunk/extensions/net-iocache/examples/gov/nasa/jpf/network/http/HTTPServer.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/CacheLayer.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/PhysicalConnection.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/RRTree.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/listener/CacheNotifier.java
Added Paths:
-----------
trunk/extensions/net-iocache/env/jpf/java/io/
trunk/extensions/net-iocache/env/jpf/java/io/BufferedReader.java
trunk/extensions/net-iocache/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_BufferedReader.java
trunk/extensions/net-iocache/src/gov/nasa/jpf/network/cache/NoCacheLayer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-04-16 03:08:50
|
Revision: 1406
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1406&view=rev
Author: pcmehlitz
Date: 2009-04-16 03:08:39 +0000 (Thu, 16 Apr 2009)
Log Message:
-----------
* fixed Config ctor for property file w/o path
* patch from Nathan moving to "*.html" HTMLPublisher file extensions and adding StateCountEstimator listener
* small refactoring to make TestJPF more robust. Should probably be reworked for better error messages
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/report/HTMLPublisher.java
trunk/test/gov/nasa/jpf/jvm/TestJPF.java
Added Paths:
-----------
trunk/src/gov/nasa/jpf/tools/StateCountEstimator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-15 05:36:26
|
Revision: 1404
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1404&view=rev
Author: frankrimlinger
Date: 2009-04-15 05:36:08 +0000 (Wed, 15 Apr 2009)
Log Message:
-----------
Added a help button to the login dialog pointing the new user to the help. Added some advice about configuration to the Welcome window. Finally figured out how layout works in SWT. Rather cold and efficient compared to the wonderful weirdness of Swing boxes. But anyway, have a sensible initial layout burned into the code now.
Modified Paths:
--------------
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/introContent.xml
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/intro/Perspective.java
branches/mango/MangoJPF/.classpath
branches/mango/MangoJPF/.settings/org.eclipse.jdt.core.prefs
branches/mango/MangoJPF/META-INF/MANIFEST.MF
Added Paths:
-----------
branches/mango/Mango/content/aboutHelp.xhtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-04-15 01:01:11
|
Revision: 1403
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1403&view=rev
Author: pcmehlitz
Date: 2009-04-15 01:01:08 +0000 (Wed, 15 Apr 2009)
Log Message:
-----------
* added a synthetic "config" and "config_path" entry to Config, which is set from the mode property file (if there is any). With that, you can finally specify scripts relative to where the *.jpf is stored, like
inspect.script = ${config_path}/myscript.es
* fixed a little bug in Config.getTargetArgParameters
* removed the awt.* -> inspect.* hack in the UIInspector. Still need to change a bunch of launch configs accordingly, but they now can be replaced with *.jpf's anyways
* moved all the non-test extensions/ui launch configs to *.jpf's
Modified Paths:
--------------
trunk/extensions/ui/examples/RobotManager test.launch
trunk/extensions/ui/examples/RobotManager-nothread.jpf
trunk/extensions/ui/examples/RobotManager-thread1.jpf
trunk/extensions/ui/examples/RobotManager-thread2.jpf
trunk/extensions/ui/examples/RobotManager-thread3.jpf
trunk/extensions/ui/examples/RobotManager-thread4.jpf
trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
trunk/src/gov/nasa/jpf/Config.java
trunk/src/gov/nasa/jpf/util/Inspector.java
Removed Paths:
-------------
trunk/extensions/ui/examples/RobotManager nothread.launch
trunk/extensions/ui/examples/RobotManager thread.launch
trunk/extensions/ui/examples/RobotManager-nothread-console.jpf
trunk/extensions/ui/examples/RobotManager-thread-console.jpf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-14 21:29:35
|
Revision: 1402
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1402&view=rev
Author: frankrimlinger
Date: 2009-04-14 21:29:16 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
Finally figured out how to get help working. This is actually a case of a more general technique, "plugin poker". When documentation goes stale, it is likely that the technique still works, but just uses different plugins. So, just start adding them. You have to know when to hold, and when to fold...
Modified Paths:
--------------
branches/mango/Mango/plugin.xml
branches/mango/MangoJPF/MangoJPF.product
branches/mango/MangoJPF/jpf jar command.rtf
branches/mango/MangoJPF/plugin.xml
Added Paths:
-----------
branches/mango/Mango/help.bmp
branches/mango/Mango/html/
branches/mango/Mango/html/concepts/
branches/mango/Mango/html/concepts/maintopic.html
branches/mango/Mango/html/concepts/subtopic.html
branches/mango/Mango/html/concepts/subtopic2.html
branches/mango/Mango/html/gettingstarted/
branches/mango/Mango/html/gettingstarted/maintopic.html
branches/mango/Mango/html/gettingstarted/subtopic.html
branches/mango/Mango/html/gettingstarted/subtopic2.html
branches/mango/Mango/html/help_home.html
branches/mango/Mango/html/reference/
branches/mango/Mango/html/reference/maintopic.html
branches/mango/Mango/html/reference/subtopic.html
branches/mango/Mango/html/reference/subtopic2.html
branches/mango/Mango/html/samples/
branches/mango/Mango/html/samples/maintopic.html
branches/mango/Mango/html/samples/subtopic.html
branches/mango/Mango/html/samples/subtopic2.html
branches/mango/Mango/html/tasks/
branches/mango/Mango/html/tasks/maintopic.html
branches/mango/Mango/html/tasks/subtopic.html
branches/mango/Mango/html/tasks/subtopic2.html
branches/mango/Mango/html/toc.html
branches/mango/Mango/preferences.ini
branches/mango/Mango/toc/
branches/mango/Mango/toc/tocconcepts.xml
branches/mango/Mango/toc/tocgettingstarted.xml
branches/mango/Mango/toc/tocreference.xml
branches/mango/Mango/toc/tocsamples.xml
branches/mango/Mango/toc/toctasks.xml
branches/mango/Mango/toc.xml
branches/mango/Mango Jars/jpf jar command.rtf
branches/mango/MangoJPF/html/
branches/mango/MangoJPF/html/concepts/
branches/mango/MangoJPF/html/concepts/maintopic.html
branches/mango/MangoJPF/html/concepts/subtopic.html
branches/mango/MangoJPF/html/concepts/subtopic2.html
branches/mango/MangoJPF/html/gettingstarted/
branches/mango/MangoJPF/html/gettingstarted/maintopic.html
branches/mango/MangoJPF/html/gettingstarted/subtopic.html
branches/mango/MangoJPF/html/gettingstarted/subtopic2.html
branches/mango/MangoJPF/html/reference/
branches/mango/MangoJPF/html/reference/maintopic.html
branches/mango/MangoJPF/html/reference/subtopic.html
branches/mango/MangoJPF/html/reference/subtopic2.html
branches/mango/MangoJPF/html/samples/
branches/mango/MangoJPF/html/samples/maintopic.html
branches/mango/MangoJPF/html/samples/subtopic.html
branches/mango/MangoJPF/html/samples/subtopic2.html
branches/mango/MangoJPF/html/tasks/
branches/mango/MangoJPF/html/tasks/maintopic.html
branches/mango/MangoJPF/html/tasks/subtopic.html
branches/mango/MangoJPF/html/tasks/subtopic2.html
branches/mango/MangoJPF/html/toc.html
branches/mango/MangoJPF/toc/
branches/mango/MangoJPF/toc/tocconcepts.xml
branches/mango/MangoJPF/toc/tocgettingstarted.xml
branches/mango/MangoJPF/toc/tocreference.xml
branches/mango/MangoJPF/toc/tocsamples.xml
branches/mango/MangoJPF/toc/toctasks.xml
branches/mango/MangoJPF/toc.xml
Removed Paths:
-------------
branches/mango/Mango/jpf jar command.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-04-14 17:47:39
|
Revision: 1401
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1401&view=rev
Author: pcmehlitz
Date: 2009-04-14 17:47:25 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
* added a generic Eclipse launch config to run JPF via a *.jpf file. Just select the *.jpf in the package explorer or navigator, and do a "run config.."
Added Paths:
-----------
trunk/run JPF.launch
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-14 17:33:26
|
Revision: 1400
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1400&view=rev
Author: frankrimlinger
Date: 2009-04-14 17:33:10 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
Removing dependence on JPF from Mango. This was just some proof-of-concept code that resulted in the new MangoJPF project. The Mango project will be used to complete testing of the original port from C++, and the results will be incorporated in MangoJPF. Mango should go away in a few months, but MangoJPF will eventually become an Eclipse Workbench plugin.
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango/src/mango/control/msg/StartRequestMsg.java
branches/mango/Mango/Mango.product
branches/mango/Mango/content/proofArtifacts.xhtml
branches/mango/Mango/plugins/Mango_Jars_1.0.0.jar
Removed Paths:
-------------
branches/mango/Mango/plugins/JPF_jar_1.0.0.jar
branches/mango/Mango/repository/plugins/JPF_jar_1.0.0.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-14 16:37:44
|
Revision: 1394
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1394&view=rev
Author: frankrimlinger
Date: 2009-04-14 16:37:17 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
Initial import of MangoJPF. This is a clone of the Mango project that will be used to migrate JavaPathfinder functionality to Mango. This effort will parallel the testing of Mango, which is still underway.
Added Paths:
-----------
branches/mango/MangoJPF/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-14 03:36:20
|
Revision: 1393
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1393&view=rev
Author: frankrimlinger
Date: 2009-04-14 03:36:18 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
Rebuilding the Mango project from SVN involves setting some subtle local Eclipse preferences, as discussed in "jpf jar command"
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/jpf jar command.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jt...@us...> - 2009-04-13 23:43:30
|
Revision: 1392
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1392&view=rev
Author: jtzwu
Date: 2009-04-13 23:43:24 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
add comments for symbolic JPF tests
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestSymbolicOutput.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 20:55:40
|
Revision: 1391
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1391&view=rev
Author: frankrimlinger
Date: 2009-04-13 20:55:33 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
mango branch cleanup
Modified Paths:
--------------
branches/mango/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 20:51:00
|
Revision: 1390
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1390&view=rev
Author: frankrimlinger
Date: 2009-04-13 20:50:58 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
Removing all the original jpf code from the mango branch. Henceforth, jpf code will be exposed to mango via jar plugin versions of the javapathfinder-trunk code.
Modified Paths:
--------------
branches/mango/.classpath
Removed Paths:
-------------
branches/mango/README
branches/mango/README-BUILD-TOOLS
branches/mango/README-LIB
branches/mango/RunAnt.class
branches/mango/RunJPF.class
branches/mango/RunTool.class
branches/mango/app/
branches/mango/bin/
branches/mango/build-tools/
branches/mango/build.xml
branches/mango/default.properties
branches/mango/doc/
branches/mango/env/
branches/mango/examples/
branches/mango/extensions/
branches/mango/ide/
branches/mango/index.html
branches/mango/jpf.properties
branches/mango/lib/
branches/mango/nbproject/
branches/mango/src/
branches/mango/test/
branches/mango/update notes/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 20:28:40
|
Revision: 1389
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1389&view=rev
Author: frankrimlinger
Date: 2009-04-13 20:28:37 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
I have made finally make first contact with JPF. Specifically, this means that I was able to call JPF.main() from within mango and step through jpf code using the debugger. To get the debugger part working, all that is required is to add Mango as a dependent project to the javapathfinder-trunk project and locate the source code when asked to do so. However, to get the right runtime requires choices. To help resist the ever present temptation to alter jpf code, I decided to bundle the gov package as a "plugin jar" project. The mango product just imports this jar, so technically only the binaries are available. Of course, changes to jpf internals might break my code, but this is a small price to pay for compatibility with future versions of jpf. On the other hand, if I were start tweaking a copy of jpf to suit my purposes, then I would quickly cut myself off from future developments as it became harder and harder to sync up.
I don't think it is feasible to run jpf from a thread and block as necessary. This would require a lot of cooperation from the jpf side which would be most undesirable. Instead, I will call jpf methods directly, passing jpf objects back and forth as required, essentially regarding jpf as an api. This approach leverages the thread-based design of mango and avoids a lot of unnecessary complexity.
I will sync with the current trunk occasionally to pick up new developments. Each such sync will constitute a new version of mango, if versioning ever becomes an issue. I am abandoning the idea that mango will eventually be "inside" jpf. However, by tweaking my configuration mechanism to pick up .properties files, I could certainly expose all jpf functionality to the mango user.
Modified Paths:
--------------
branches/mango/Mango/.classpath
branches/mango/Mango/META-INF/MANIFEST.MF
branches/mango/Mango/Mango/src/mango/control/msg/StartRequestMsg.java
branches/mango/Mango/Mango.product
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
Added Paths:
-----------
branches/mango/Mango/jpf jar command.rtf
branches/mango/Mango/plugins/JPF_jar_1.0.0.jar
branches/mango/Mango/repository/plugins/JPF_jar_1.0.0.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 16:30:20
|
Revision: 1388
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1388&view=rev
Author: frankrimlinger
Date: 2009-04-13 16:30:16 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
Attempt to add help table of contents and so on didn't work out. Apparently Galileo hasn't incorporated tomcat or getty yet, but surely this is in the pipeline. For now, help content will be inserted as introduction pages, where at least it will be accessible in a primitive form. Tested this idea by adding some random documentation for free predicate calculus syntax. Once help is working the accumulated documentation content can be properly organized. At this point I am mostly interested in documenting integration with jpf as it proceeds.
Modified Paths:
--------------
branches/mango/Mango/Mango.product
branches/mango/Mango/content/mango.xhtml
branches/mango/Mango/introContent.xml
branches/mango/Mango/src/mango/intro/ApplicationActionBarAdvisor.java
Added Paths:
-----------
branches/mango/Mango/content/documentationInProgress.xhtml
branches/mango/Mango/content/freeCalculus.png
branches/mango/Mango/content/freeCalculusRewritten.png
branches/mango/Mango/content/proofArtifacts.xhtml
branches/mango/Mango/content/specification.xhtml
branches/mango/Mango/repository/plugins/org.apache.lucene_1.9.1.v20080530-1600.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.appserver_3.1.301.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.base_3.4.0.v20090302.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.ui_3.4.0.v20090306.jar
branches/mango/Mango/repository/plugins/org.eclipse.help.webapp_3.4.0.v20090302.jar
Removed Paths:
-------------
branches/mango/Mango/content/mango1.xhtml
branches/mango/Mango/content/mango2.xhtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-13 02:14:04
|
Revision: 1387
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1387&view=rev
Author: frankrimlinger
Date: 2009-04-13 02:13:51 +0000 (Mon, 13 Apr 2009)
Log Message:
-----------
Stable rewrite update in progress. Regenerated sessions for more baseline loop tests.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/main(I)Z/'x' is greater than or equal to 0.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/main(II)Z/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/simple_loop(I)I/loops/-baseline.while_with_conjunct.simple_loop(I)I#2:iload_x_Code_01/op0 is less than 5.zip
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'x' is greater than or equal to 'y'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/'x' is less than 'y'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/'y' is less than 5, op0 is less than 5.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5 OR 'y' is less than 5 AND op0 is greater than or equal to 5.zip
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/conjunctive_while_loop(II)I/loops/-baseline.while_with_conjunct.conjunctive_while_loop(II)I#3:iload_x_Code_01/op0 is less than 5.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is greater than or equal to 5.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/while_with_conjunct/disjunctive_while_loop(II)I/loops/-Alpha_baseline.while_with_conjunct.disjunctive_while_loop(II)I#3:iload_x_Code/op0 is less than 5.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-12 03:40:45
|
Revision: 1386
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1386&view=rev
Author: frankrimlinger
Date: 2009-04-12 03:40:43 +0000 (Sun, 12 Apr 2009)
Log Message:
-----------
Reworked much of the plumbing for parametrization, simplifying and clarifying the code. This eliminated the bug that caused the nested loops test to fail. Regenerated the baseline loop tests up through the nested loops example.
Modified Paths:
--------------
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/instance/loop/agent/LoopInstanceAgent.java
branches/mango/Mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/Mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/UnmodelModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/main(I)Z/case.zip
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-12 03:36:32
|
Revision: 1385
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1385&view=rev
Author: frankrimlinger
Date: 2009-04-12 03:36:29 +0000 (Sun, 12 Apr 2009)
Log Message:
-----------
tweak to Mango Jars
Modified Paths:
--------------
branches/mango/Mango Jars/build.properties
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-10 00:07:25
|
Revision: 1384
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1384&view=rev
Author: pcorina
Date: 2009-04-10 00:07:21 +0000 (Fri, 10 Apr 2009)
Log Message:
-----------
eliminated unwanted interference between strings and lazy initialization
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-05 04:38:37
|
Revision: 1383
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1383&view=rev
Author: frankrimlinger
Date: 2009-04-05 04:38:32 +0000 (Sun, 05 Apr 2009)
Log Message:
-----------
Rebuild of loop baseline sessions in progress. There is a parametrization bug that needs to be fixed which comes up in the nested loop example. This fix in progress.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/'x' is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#10:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/loops(I)I/loops/-baseline.if_with_two_loops.loops(I)I#19:iload_i_Code_01/'x' is greater than or equal to op0.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/if_with_two_loops/main(I)Z/'x' is less than 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/<init>()V/case.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' does not equal 3.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/loops/-Alpha_baseline.loop_with_if.clear([I)V#16:iload_i_Code/'i' equals 3.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#10:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/nested_loops/loops(I)I/loops/-baseline.nested_loops.loops(I)I#14:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#15:iload_j_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/two_loops_in_a_row/loops(I)I/loops/-baseline.two_loops_in_a_row.loops(I)I#7:iload_i_Code_01/op0 is less than 'x'.zip
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/LogWindow.java
Added Paths:
-----------
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
Removed Paths:
-------------
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/loop_with_if/clear([I)V/length of theArray 'x' is greater than or equal to 10.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-04-04 05:48:16
|
Revision: 1382
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1382&view=rev
Author: frankrimlinger
Date: 2009-04-04 05:48:14 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
Fixed some backend configuration bugs. Successfully ran test session. Successful run of session after changing configuration user, userHome, productHome and systemHome. Of course, the new projectHome and systemHome have to contain the content required by the session, but the relative addressing scheme is working properly. Users should now be easily able to share work, allowing a distributed knowledge base to grow. Need to regenerate the baseline loop sessions, complete the stable rewrite update, and start the port to the jpf java bytecode model.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/input/SourceDirsAction.java
branches/mango/Mango/Mango/src/mango/core/gui/StaticFields.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptResource.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSaveAction.java
branches/mango/Mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/Mango/Mango/src/mango/workstation/Workstation.java
branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
branches/mango/Mango/mangoUserHome/frank/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-04 02:12:04
|
Revision: 1381
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1381&view=rev
Author: pcorina
Date: 2009-04-04 02:11:54 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
Integrated code for String handling (thanks Fujitsu).
Tested on one example.
No decision procedure for Strings incorporated.
Incompatible with lazy initialization.
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/BytecodeUtils.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/Helper.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
Added Paths:
-----------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFNONNULL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/IFNULL.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/NEW.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/mixednumstrg/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/mixednumstrg/SpecialIntegerExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/mixednumstrg/SpecialOperator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/mixednumstrg/SpecialRealExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/DerivedStringExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringComparator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringConstant.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringConstraint.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringExpression.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringOperator.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringPathCondition.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringSymbolic.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringBuilder.java
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringConstraintsGeneral.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-04 02:09:10
|
Revision: 1380
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1380&view=rev
Author: pcorina
Date: 2009-04-04 02:09:09 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
update with some bytecodes for string handling (will change in the future)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-04-04 02:08:21
|
Revision: 1379
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1379&view=rev
Author: pcorina
Date: 2009-04-04 02:08:19 +0000 (Sat, 04 Apr 2009)
Log Message:
-----------
example illustrating lazy initialization
Modified Paths:
--------------
trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeHeap.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
