switch to spaces only..
[IRC.git] / Robust / src / Analysis / OoOJava / OoOJavaAnalysis.java
2011-04-27 bdemskyswitch to spaces only..
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do...
2011-04-18 yeombug fixes: printing out linenum & source file name...
2011-04-05 jjenistaget this debug print out of here
2011-04-05 jjenistaat task exit, a task should acquire any out-set variabl...
2011-03-31 yeomchanges: reorganizes debug messages
2011-03-31 yeomchanges: only apply the variable analysis on the method...
2011-03-30 yeombug fixes on OoOJava, now it works fine with all of...
2011-03-25 bdemskytry to get runtimeconflictresolver working...and cleani...
2011-03-25 bdemskychanges to process/prune state machines
2011-03-24 bdemskyBug fix...supposed to pass in bsm into Pointer analysis...
2011-03-22 bdemskychanges to give compiler run times for phases....
2011-03-21 bdemskyfixing bugs...
2011-03-19 jjenistawe took DFJ and broke its arm, and we'll reset the...
2011-03-18 jjenistachanging to new traversers/examiners
2011-03-18 bdemskycommit hacks to effect analysis...interfaces to allow...
2011-02-03 jjenistafixing bugs from task code cleanup
2011-02-03 jjenistaThis is a compile-stable update of OoOJava code, there...
2011-02-03 jjenistabringing ooojava code gen around, some todos still...
2011-02-01 jjenistabringing analysis up to clean model, buildcode is left
2011-02-01 jjenistastarting to get into memory conflicts where cleaned...
2011-02-01 jjenistahonor the easy request of suppressing output for the...
2011-02-01 jjenistapushing cleaned code further through analyses...
2011-01-31 jjenistacleaning up OoOJava and related systems, touching lots...
2011-01-22 stepheyWe fixed the bug of where to find the stallsite reachgr...
2011-01-10 jjenistajust a little change to keep genreach debug node from...
2010-11-19 yeombug fix: RBlockRelationAnalysis failed to set a non...
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...