projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34d9f4d) | patch
improves the strategy of checkings: starting from ssjava outermost loop, then only...
authoryeom <yeom>
Fri, 3 Jun 2011 23:03:56 +0000 (23:03 +0000)
committeryeom <yeom>
Fri, 3 Jun 2011 23:03:56 +0000 (23:03 +0000)
commit10c4992e9c69fbea06eff269cc320c290963c915
treeb729a39c3441a297414b8d5a76d509b514e2a523tree | snapshot
parent34d9f4d123797b3156dbefd535b49ff6e771a5d6commit | diff
improves the strategy of checkings: starting from ssjava outermost loop, then only checking methods reachable from that loop. Also, check that every method which overrides an annotated method is also annotated.
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/MethodAnnotationCheck.java [new file with mode: 0644] blob
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Irvine Research Compiler