bug fixes and refactoring to have more smooth integration of loopOptimize and loopTer...
authoryeom <yeom>
Fri, 1 Jul 2011 18:48:51 +0000 (18:48 +0000)
committeryeom <yeom>
Fri, 1 Jul 2011 18:48:51 +0000 (18:48 +0000)
commit78bbc8a139de273348fa628a28604d1e99f538df
tree42ab8f777d5689f3d800c092d407615200c955ad
parent8752fede9bde1aa186fa0606f5fddaa213b170a2
bug fixes and refactoring to have more smooth integration of loopOptimize and loopTerminate
Robust/src/Analysis/Loops/LoopOptimize.java
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Main/Main.java