projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee9de78) | patch
bug fixes + integrate loop termination analysis into ssjava checking
authoryeom <yeom>
Wed, 22 Jun 2011 00:27:05 +0000 (00:27 +0000)
committeryeom <yeom>
Wed, 22 Jun 2011 00:27:05 +0000 (00:27 +0000)
commit1eb46e8f7edc3dc014777a951b27b71d85d396ba
tree005c27eab95037c369ef2c12e88b1c247a4f4379tree | snapshot
parentee9de78abddb169b0c843be739d3f2784bd869e4commit | diff
bug fixes + integrate loop termination analysis into ssjava checking
- add an interface to access loop invariant from LoopOptimize
- add "TERMINATE" annotation for method method declaration when developer wants to skip the loop termination analysis for an annotated method. There is no way to have direct annotations on the loop since Java only allows to have annotations on declaration nodes
Robust/src/Analysis/Loops/LoopOptimize.java diff | blob | history
Robust/src/Analysis/Loops/LoopTerminate.java diff | blob | history
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Irvine Research Compiler