projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: efa4c6a) | patch
bug fix: no need to check flow down rule for abstract method
authoryeom <yeom>
Wed, 13 Jul 2011 00:43:25 +0000 (00:43 +0000)
committeryeom <yeom>
Wed, 13 Jul 2011 00:43:25 +0000 (00:43 +0000)
commit8f160d83f469d044521d9b0e1db3342f50ecefff
treedd15986693163723888e43a827d5ced2cfb9a999tree | snapshot
parentefa4c6a6f28b2de5891b91c2201f6bffef28e95ecommit | diff
bug fix: no need to check flow down rule for abstract method
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Irvine Research Compiler