projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87a76af) | patch
bug fix: if a parent class doesn't define lattice, we don't need to check whether...
authoryeom <yeom>
Tue, 12 Jul 2011 22:14:10 +0000 (22:14 +0000)
committeryeom <yeom>
Tue, 12 Jul 2011 22:14:10 +0000 (22:14 +0000)
commitda08bce211ee200f5e50859e9eadbb9ac19f4869
tree28b5097762e3862f502e9882a76592af8590103ftree | snapshot
parent87a76afcbc0a1d5bb71f17e70fb814ef0b82c86dcommit | diff
bug fix: if a parent class doesn't define lattice, we don't need to check whether its child classes define lattice
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Irvine Research Compiler