Root SESE ironed out, some reorganization for variable analysis. Fixed-point variabl...
authorjjenista <jjenista>
Tue, 21 Apr 2009 22:35:11 +0000 (22:35 +0000)
committerjjenista <jjenista>
Tue, 21 Apr 2009 22:35:11 +0000 (22:35 +0000)
commit2557929035bd45a693c1b10844625b395bb35ccc
tree4d28771a09dc9cd69c391aed38d872ab6d852ad8
parent014cb4b3db982cc6ad5311ca182a409354bded3c
Root SESE ironed out, some reorganization for variable analysis.  Fixed-point variable analysis modeled after other fixed point stuff, but strangely exits early.  Build is stable though.
Robust/src/Analysis/MLP/MLPAnalysis.java
Robust/src/Tests/mlp/tinyTest/test.java