projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e81b2a) | patch
fix: does not need to check a class that does not have any annotated method
authoryeom <yeom>
Wed, 13 Jul 2011 20:23:16 +0000 (20:23 +0000)
committeryeom <yeom>
Wed, 13 Jul 2011 20:23:16 +0000 (20:23 +0000)
commit7f6f48d6b569d4c97e21c30a7094577231878b36
tree8e555c621c3ad7b6a2b094c48e4ab13ce874986ftree | snapshot
parent2e81b2a94da8ddf8aa31e6ed8109f3e78f6f7728commit | diff
fix: does not need to check a class that does not have any annotated method
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Irvine Research Compiler