File	Date	Author	Commit
.settings	2012-10-18	lpxz	[91b85f] add .project .classpath
ant_detect_use_pecan	2012-10-07	lpxz	[cc6e65] dcon
bin	2013-03-17	lpxz	[87ce99] updted spyros, memory not that efficient...
eval	2013-01-03	lpxz	[f9ecfe] begin the refactoring for release
graphviz	2013-01-07	lpxz	[e7e877] marking enumeration simplified and remove the r...
index	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
lib	2013-01-05	lpxz	[2bb53e] before clean the code (cleaning does not change...
matrix	2013-01-05	lpxz	[db64e6] clean ok 10:27
monitor	2013-01-05	lpxz	[ca088c] clean ok at 10:18 PM
notes	2012-10-07	lpxz	[cc6e65] dcon
old	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
output	2013-03-17	lpxz	[87ce99] updted spyros, memory not that efficient...
progress	2012-10-07	lpxz	[cc6e65] dcon
results	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
review	2013-01-05	lpxz	[ca088c] clean ok at 10:18 PM
soot24	2013-01-09	lpxz	[721605] code cleaned.
sootOutput	2013-01-09	lpxz	[721605] code cleaned.
src	2013-03-17	lpxz	[87ce99] updted spyros, memory not that efficient...
srcold	2013-03-17	lpxz	[87ce99] updted spyros, memory not that efficient...
tmp	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
todo	2012-10-07	lpxz	[cc6e65] dcon
transformer	2013-01-03	lpxz	[0dca73] transformer/monitor as jar in the Dcon. use tra...
xml	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
.classpath	2012-10-18	lpxz	[91b85f] add .project .classpath
.project	2012-10-18	lpxz	[a4c73e] add project classpath
Copy of properties	2012-10-07	lpxz	[cc6e65] dcon
Copy of runall-no-t.xml	2012-10-07	lpxz	[cc6e65] dcon
Dcon enforce.xml.launch	2013-01-03	lpxz	[f9ecfe] begin the refactoring for release
SPECjbb.props	2012-10-07	lpxz	[cc6e65] dcon
SPECjbb_config.props	2012-10-07	lpxz	[cc6e65] dcon
benchmark.xml	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
build.xml	2013-01-05	lpxz	[2bb53e] before clean the code (cleaning does not change...
detect.xml	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
detect_jar.xml	2013-01-05	lpxz	[2bb53e] before clean the code (cleaning does not change...
detect_pecan.xml	2013-03-13	lpxz	[8a790b] runnable, really
enforce.xml	2013-01-03	lpxz	[f9ecfe] begin the refactoring for release
enforce.xml~	2013-01-03	lpxz	[f9ecfe] begin the refactoring for release
fix.xml	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
fix.xml~	2013-01-03	lpxz	[f9ecfe] begin the refactoring for release
jrockit.22438.dump	2013-03-17	lpxz	[87ce99] updted spyros, memory not that efficient...
jrockit.4312.dump	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
jrockit.8436.dump	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
lpsolver.tar	2013-01-05	lpxz	[2bb53e] before clean the code (cleaning does not change...
newsrc.tar	2013-03-17	lpxz	[87ce99] updted spyros, memory not that efficient...
path_def.xml	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
path_def_jar.xml	2013-01-09	lpxz	[721605] code cleaned.
properties	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
readme	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
readme~	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
recovered	2013-01-06	lpxz	[9b6328] PN modeling done
recovered_details	2013-01-06	lpxz	[125f19] add tail checking for correct modeling of synch...
sortedoutput.txt	2013-03-16	lpxz	[5d1754] now can collect the fixing process metrics.
src.tar	2013-01-06	lpxz	[98cb61] petri net standardizer done
switched	2013-01-06	lpxz	[9b6328] PN modeling done
switched_details	2013-01-06	lpxz	[125f19] add tail checking for correct modeling of synch...
thread0.log	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
thread1.log	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
thread2.log	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
thread3.log	2013-03-17	lpxz	[e57b58] to update the spyros*, make it memory effiency
transformer_jar.xml	2013-01-05	lpxz	[2bb53e] before clean the code (cleaning does not change...
transformer_pecan.xml	2013-03-13	lpxz	[8a790b] runnable, really

Read Me

It is very easy to use:
1) import your application as a project to eclipse
2) fill in the information about your application in the path_def.xml and property.
For example, given a project named "MergedSort"
in path_def.xml, you need to add the classpath (essentially the same as the classpath used in the project building) for the project: 
<path id="MergeSort.classpath">
		<pathelement location="/home/lpxz/eclipse/workspace/MergeSort/bin"/>
</path>
in property, you need to add:
MergeSort_pretrans_arg=-f c -pp -cp /home/lpxz/eclipse/workspace/MergeSort/bin -process-dir /home/lpxz/eclipse/workspace/MergeSort/bin
MergeSort_trans_classpath=/home/lpxz/eclipse/workspace/MergeSort/bin
MergeSort_trans_mainClass=mergesort.MergeSort
MergeSort_trans_excludelist=
MergeSort_trans_includelist=
MergeSort_trans_outputform=c
MergeSort_monitor_mainClassArg=mergesort.MergeSort
Most time, you can copy the above and replace the project bin and the mainclass with your own project bin folder and your own mainclass.
Occasionally, you need to include the jars being dependent on by the project. See the rich examples provided in our property file please.

3) go to the execution files: detect.xml fix.xml benchmark.xml, add the execution command to the "debug" task.
We already provide the macro for you to use.
in detect.xml, which is used to detect bugs, just add : <doittogether projectname="MergeSort"/>
in fix.xml, which is used to produce the fixes, just add: <fixit projectname="MergeSort" BugsToFix="100%"/>
in benchmark.xml, which is used to run the fixed program, just add: <measureit projectname="MergeSort"/>

That is all, enjoy!