projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ddbf550) | patch
fix heap path propagation and generate error msg with more information
authoryeom <yeom>
Thu, 8 Dec 2011 02:10:50 +0000 (02:10 +0000)
committeryeom <yeom>
Thu, 8 Dec 2011 02:10:50 +0000 (02:10 +0000)
commitf28a9fa7ab9ad971ff77332f4294dce3517241f4
tree4dddf97150c7a2d3d513347b6a51cfc06972a26etree | snapshot
parentddbf550a930bd22a5efb526252eb7d3e6362986bcommit | diff
fix heap path propagation and generate error msg with more information
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java diff | blob | history
Irvine Research Compiler