tweaks for running definite reach
authorjjenista <jjenista>
Fri, 6 Jan 2012 18:13:30 +0000 (18:13 +0000)
committerjjenista <jjenista>
Fri, 6 Jan 2012 18:13:30 +0000 (18:13 +0000)
commit7c6d5a6772303665f0df7a6dfd3aec3555c3547b
tree045639512fb19f6c5a216527e099f768c777fc25
parent826feb861cbded68259243137086798bcbe46bea
tweaks for running definite reach
14 files changed:
Robust/src/Analysis/Disjoint/DefiniteReachState.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Benchmarks/oooJava/barneshut/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/crypt/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/kmeans/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/labyrinth/rund-512first [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/master-makefile
Robust/src/Benchmarks/oooJava/mergesort/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/moldyn/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/monte/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/power/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/raytracer/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/sor/rund [new file with mode: 0755]
Robust/src/Benchmarks/oooJava/tracking/rund [new file with mode: 0755]