Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1648] trunk
|
From: <ne...@us...> - 2009-06-17 22:52:31
|
Revision: 1648
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1648&view=rev
Author: nehas
Date: 2009-06-17 22:49:44 +0000 (Wed, 17 Jun 2009)
Log Message:
-----------
Initial commit of the guided execution engine for JPF
* Contains the abstraction, refinement and heuristic computation in the absrefine.jar
* Currently guides the concrete execution
* The hook for guiding symbolic is coming soon
Updating the class path for the absrefine dependency.
Modified Paths:
--------------
trunk/.classpath
Added Paths:
-----------
trunk/extensions/guidedsymbolic/lib/
trunk/extensions/guidedsymbolic/lib/absrefine.jar
trunk/extensions/guidedsymbolic/src/
trunk/extensions/guidedsymbolic/src/edu/
trunk/extensions/guidedsymbolic/src/edu/byu/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/GuidedListener.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/jpf/TrackLocations.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/DebugGuided.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/GuidedDFSearch.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristic.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristicState.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaLevelComparator.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/PFSMHeuristic.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
