fix: keeps SESEstatus for either case(TRUE/FALSE)
[IRC.git] / Robust / src / Analysis / OoOJava / OoOJavaAnalysis.java
2010-11-18 yeomfix: keeps SESEstatus for either case(TRUE/FALSE)
2010-11-18 yeomchanges: collects a set of collect effects and generate...
2010-11-05 yeomhave an exceptional case that do not generate fine...
2010-10-20 bdemskymore changes...RCR wasn't usable until it was too late...
2010-10-11 bdemskyhack OoOJava RCR to not run disjointness twice...we...
2010-10-01 jjenistafor timing disjoint reachability in oooJava benchmarks
2010-09-24 jjenistafound a bug, wasn't returning pointer at end of poolcre...
2010-08-13 yeomchanges. add coarse case into our previous changes...
2010-08-06 yeominterface to grab the conflict effect set for Stephen,
2010-08-06 yeomintroduces new flag for runtime conflict resolver.
2010-08-02 yeomchanges.
2010-07-23 yeomchanges.
2010-07-01 yeomincorporated OoOJava into build code + fixed a couple...
2010-06-30 jjenistadebugged the reach graph support for effect conflicts
2010-06-30 yeommore changes according to new effect analysis
2010-06-29 yeomchanges according to new forms of effect analysis
2010-06-29 jjenistagetting close to effects for new disjoint analysis
2010-06-29 yeomchanges.
2010-06-28 jjenistachanged organization and brought in a few new pieces...
2010-06-28 yeomadd more steps to OoO analysis
2010-06-26 yeomworking on the remaining procedures of OoOJava analysis.
2010-06-24 jjenistarblock in set vars get tainted on rblock enter and...
2010-06-23 jjenistaMore pieces for new version of analysis
2010-06-22 yeomset up OoOJava analysis.
2010-06-17 jjenistaget partially set up new version of disjoint analysis...