Allow some disjointness improvements to be turned off, add script to run all benchmar...
authorjjenista <jjenista>
Thu, 8 Oct 2009 16:51:56 +0000 (16:51 +0000)
committerjjenista <jjenista>
Thu, 8 Oct 2009 16:51:56 +0000 (16:51 +0000)
commit827cb19b1470287e2ae795e9a6cad49e7f54df44
treeeab6f8817bbbf765dcb49a33c15563edc4b1db10
parent867859fa855734749ec581b0d6b529b787fba099
Allow some disjointness improvements to be turned off, add script to run all benchmarks add aggregate results (way overdue), also checking in a test that verifies strong update and global sweep can alter sharing for some programs
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Benchmarks/Ownership/makeTable.sh [new file with mode: 0755]
Robust/src/Benchmarks/Ownership/makefile
Robust/src/Benchmarks/Ownership/summary.tex
Robust/src/IR/State.java
Robust/src/Main/Main.java
Robust/src/Tests/OwnershipAnalysisTest/proveStrongAndGlobal/makefile [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/proveStrongAndGlobal/test.java [new file with mode: 0644]