projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac69f1d) | patch
associate assignment nodes that writes to the same height location with corresponding...
authoryeom <yeom>
Thu, 15 Dec 2011 01:27:15 +0000 (01:27 +0000)
committeryeom <yeom>
Thu, 15 Dec 2011 01:27:15 +0000 (01:27 +0000)
commita8b64832616c39013fa76a9d38c7e7affaa7cb2f
treebed2f6ebe96fc566bd60b066e6704c407962baf7tree | snapshot
parentac69f1d79a7ca9e02bc695ec500e77710589a8e2commit | diff
associate assignment nodes that writes to the same height location with corresponding flat nodes in order to check  definitely written rules easily.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java diff | blob | history
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Robust/src/IR/Flat/BuildFlat.java diff | blob | history
Irvine Research Compiler