projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c85ad40) | patch
changes: have a better way to keep the set of reading shared variables to verify...
authoryeom <yeom>
Mon, 29 Aug 2011 18:28:58 +0000 (18:28 +0000)
committeryeom <yeom>
Mon, 29 Aug 2011 18:28:58 +0000 (18:28 +0000)
commit9d8abb8cfe4ef3b0a4cc993f90b721f8d66344d0
tree7d4fafbe0b8d527b2f8cca7001c1347bfc15f28dtree | snapshot
parentc85ad40214743c4c9aea1a2f73547ffe3dfb62adcommit | diff
changes: have a better way to keep the set of reading shared variables to verify their clearance.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java diff | blob | history
Irvine Research Compiler