projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57bb8b8) | patch
start implementing loop termination analysis: for the initial version, checking wheth...
authoryeom <yeom>
Sat, 18 Jun 2011 02:04:30 +0000 (02:04 +0000)
committeryeom <yeom>
Sat, 18 Jun 2011 02:04:30 +0000 (02:04 +0000)
commit55cd80c7978ca9305e3bb1ccd2b7854a921a46de
tree76536014dbdcfef1752a764676be353d25dc84a3tree | snapshot
parent57bb8b8bd9be540b058ca437d412cf5a0caeeb88commit | diff
start implementing loop termination analysis: for the initial version, checking whether induction variable is getting bigger and loop guard condition is composed only with induction variables and loop invariant.
Robust/src/Analysis/Loops/LoopTerminate.java [new file with mode: 0644] blob
Irvine Research Compiler