projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e829e32) | patch
bug fixes and few extra things:
authoryeom <yeom>
Tue, 24 May 2011 00:45:34 +0000 (00:45 +0000)
committeryeom <yeom>
Tue, 24 May 2011 00:45:34 +0000 (00:45 +0000)
commit96113b0465d7bfaac70a4bddc83b811a65560907
tree377bdc35c2e5f2c3ba4b1b6559214ac8982c8b8ctree | snapshot
parente829e3236610feee79d556f46bcba3ed757f2f7ccommit | diff
bug fixes and few extra things:
-static final field has TOP location by default
-do not allow to copy values from one class global variable to another class global variable since they're not comparable.
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/SingleReferenceCheck.java diff | blob | history
Robust/src/Tests/ssJava/flowdown/test.java diff | blob | history
Irvine Research Compiler