Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...
[IRC.git] / Robust / src / Analysis / OoOJava / ConflictGraph.java
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-03 yeomchanges: build conflict graphs that have line number...
2011-03-25 bdemskychanges to process/prune state machines
2011-03-24 bdemskyadd lookup tables for effects
2011-03-22 bdemskychange so that new analysis runs for all benchmarks
2011-03-18 jjenistachanging to new traversers/examiners
2011-03-18 bdemskycommit hacks to effect analysis...interfaces to allow...
2010-11-19 yeomadds new option '-nostalltr' that turns off rcr travers...
2010-11-14 yeomfix: had a bug when one coarse entry handles more than...
2010-10-26 yeombug fix: RCR sets its proper conflict type.
2010-10-25 yeomchanges: handle correctly the case when a coarse grain...
2010-10-21 yeomsimple changes:
2010-10-20 bdemskychanges
2010-10-20 yeomchanges. assign tempDescriptor to coarse waiting element
2010-10-20 yeommore changes for RCR
2010-10-20 yeomremove unnecessary conflict type and assign coarse...
2010-10-11 bdemskyhack OoOJava RCR to not run disjointness twice...we...
2010-09-21 jjenistahelp user by showing human-readable task identifier
2010-08-18 stepheyChanged variable type to make more compatible with RCR
2010-08-17 yeomfix wrong condition.
2010-08-09 yeomfix to handle stall site properly for generating confli...
2010-08-06 yeominterface to grab the conflict effect set for Stephen,
2010-08-02 yeomchanges.
2010-07-23 yeomchanges.
2010-07-16 yeomfix: remove unnecessary conflict edge
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 yeomchanges.
2010-06-28 yeomadd more steps to OoO analysis
2010-06-26 yeomworking on the remaining procedures of OoOJava analysis.