2011-02-04 |
bdemsky | changes |
tree | commitdiff |
2011-02-03 |
jjenista | fixing bugs from task code cleanup |
tree | commitdiff |
2011-02-03 |
jjenista | This is a compile-stable update of OoOJava code, there... |
tree | commitdiff |
2011-02-03 |
jjenista | bringing ooojava code gen around, some todos still... |
tree | commitdiff |
2011-02-01 |
jjenista | bringing analysis up to clean model, buildcode is left |
tree | commitdiff |
2011-02-01 |
jjenista | starting to get into memory conflicts where cleaned... |
tree | commitdiff |
2011-02-01 |
jjenista | honor the easy request of suppressing output for the... |
tree | commitdiff |
2011-02-01 |
jjenista | pushing cleaned code further through analyses... |
tree | commitdiff |
2011-01-31 |
jjenista | cleaning up OoOJava and related systems, touching lots... |
tree | commitdiff |
2011-01-28 |
bdemsky | more changes... |
tree | commitdiff |
2011-01-27 |
bdemsky | more changes |
tree | commitdiff |
2011-01-27 |
bdemsky | more changes |
tree | commitdiff |
2011-01-26 |
bdemsky | more work towards new points to analysis |
tree | commitdiff |
2011-01-26 |
bdemsky | changes |
tree | commitdiff |
2011-01-25 |
bdemsky | more changes |
tree | commitdiff |
2011-01-25 |
bdemsky | more changes |
tree | commitdiff |
2011-01-25 |
bdemsky | more changes |
tree | commitdiff |
2011-01-22 |
bdemsky | beginning of points-to analysis |
tree | commitdiff |
2011-01-22 |
stephey | We fixed the bug of where to find the stallsite reachgr... |
tree | commitdiff |
2011-01-21 |
stephey | Corrected reach graph issue with SESE BLOCKS ONLY.... |
tree | commitdiff |
2011-01-10 |
jjenista | just a little change to keep genreach debug node from... |
tree | commitdiff |
2011-01-10 |
jjenista | enforce monotonicity in heap contributions from call... |
tree | commitdiff |
2011-01-10 |
jjenista | make reach graph visualizations tractable |
tree | commitdiff |
2010-11-19 |
yeom | bug fix: RBlockRelationAnalysis failed to set a non... |
tree | commitdiff |
2010-11-19 |
yeom | adds new option '-nostalltr' that turns off rcr travers... |
tree | commitdiff |
2010-11-18 |
yeom | fix: keeps SESEstatus for either case(TRUE/FALSE) |
tree | commitdiff |
2010-11-18 |
yeom | changes: collects a set of collect effects and generate... |
tree | commitdiff |
2010-11-14 |
yeom | fix: had a bug when one coarse entry handles more than... |
tree | commitdiff |
2010-11-13 |
yeom | BuildCode.java: removes (1) the calls to build a traver... |
tree | commitdiff |
2010-11-05 |
yeom | have an exceptional case that do not generate fine... |
tree | commitdiff |
2010-10-29 |
jjenista | A variable defined in task A and read in task A's child... |
tree | commitdiff |
2010-10-26 |
yeom | bug fix: RCR sets its proper conflict type. |
tree | commitdiff |
2010-10-25 |
yeom | changes: handle correctly the case when a coarse grain... |
tree | commitdiff |
2010-10-25 |
jjenista | bug fix in identifying leaf tasks |
tree | commitdiff |
2010-10-21 |
yeom | simple changes: |
tree | commitdiff |
2010-10-20 |
bdemsky | changes |
tree | commitdiff |
2010-10-20 |
yeom | changes. assign tempDescriptor to coarse waiting element |
tree | commitdiff |
2010-10-20 |
yeom | more changes for RCR |
tree | commitdiff |
2010-10-20 |
yeom | remove unnecessary conflict type and assign coarse... |
tree | commitdiff |
2010-10-20 |
bdemsky | more changes...RCR wasn't usable until it was too late... |
tree | commitdiff |
2010-10-18 |
bdemsky | changes |
tree | commitdiff |
2010-10-13 |
bdemsky | changes...plus a little optimization |
tree | commitdiff |
2010-10-11 |
jjenista | two methods for generating a reach graph at any desired... |
tree | commitdiff |
2010-10-11 |
bdemsky | hack OoOJava RCR to not run disjointness twice...we... |
tree | commitdiff |
2010-10-05 |
yeom | try to get more information about flagged sites. |
tree | commitdiff |
2010-10-05 |
jjenista | cpaturing some makefile updates and have OoOJava print... |
tree | commitdiff |
2010-10-01 |
jjenista | for timing disjoint reachability in oooJava benchmarks |
tree | commitdiff |
2010-09-24 |
jjenista | found a bug, wasn't returning pointer at end of poolcre... |
tree | commitdiff |
2010-09-23 |
jjenista | working on task mem pool, there is a crash bug, use... |
tree | commitdiff |
2010-09-23 |
jjenista | support for optimizations later, leaf tasks need less... |
tree | commitdiff |
2010-09-22 |
stephey | Added getter method to get all effects (needed for... |
tree | commitdiff |
2010-09-21 |
jzhou | my changes |
tree | commitdiff |
2010-09-21 |
jjenista | help user by showing human-readable task identifier |
tree | commitdiff |
2010-09-08 |
stephey | Jim told me to change the int hashCodeSpecific() functi... |
tree | commitdiff |
2010-08-18 |
stephey | Changed variable type to make more compatible with RCR |
tree | commitdiff |
2010-08-17 |
yeom | fix wrong condition. |
tree | commitdiff |
2010-08-13 |
yeom | changes. add coarse case into our previous changes... |
tree | commitdiff |
2010-08-09 |
jjenista | did something I shouldnt have, mixed changes for two... |
tree | commitdiff |
2010-08-09 |
yeom | fix to handle stall site properly for generating confli... |
tree | commitdiff |
2010-08-06 |
yeom | interface to grab the conflict effect set for Stephen, |
tree | commitdiff |
2010-08-06 |
yeom | introduces new flag for runtime conflict resolver. |
tree | commitdiff |
2010-08-02 |
yeom | changes. |
tree | commitdiff |
2010-07-30 |
yeom | *** empty log message *** |
tree | commitdiff |
2010-07-30 |
yeom | changes. |
tree | commitdiff |
2010-07-26 |
jjenista | bug fix for allowing out-of-contexts taints to flow... |
tree | commitdiff |
2010-07-23 |
yeom | changes. |
tree | commitdiff |
2010-07-16 |
yeom | fix: remove unnecessary conflict edge |
tree | commitdiff |
2010-07-07 |
stephey | public VariableNode getVariableNodeNoMutation( TempDesc... |
tree | commitdiff |
2010-07-02 |
jjenista | some subtle reach state bug fixes uncovered by labyrint... |
tree | commitdiff |
2010-07-01 |
yeom | incorporated OoOJava into build code + fixed a couple... |
tree | commitdiff |
2010-06-30 |
jjenista | debugged the reach graph support for effect conflicts |
tree | commitdiff |
2010-06-30 |
jjenista | implemented details to support effect conflict detection |
tree | commitdiff |
2010-06-30 |
yeom | more changes according to new effect analysis |
tree | commitdiff |
2010-06-29 |
yeom | changes according to new forms of effect analysis |
tree | commitdiff |
2010-06-29 |
jjenista | tweak to interface |
tree | commitdiff |
2010-06-29 |
jjenista | reachability query interface for ooojava heap conflict... |
tree | commitdiff |
2010-06-29 |
jjenista | getting close to effects for new disjoint analysis |
tree | commitdiff |
2010-06-29 |
jjenista | little bug fix |
tree | commitdiff |
2010-06-29 |
yeom | changes. |
tree | commitdiff |
2010-06-29 |
jjenista | stall site critical regions implemented, including... |
tree | commitdiff |
2010-06-28 |
jjenista | restate inaccessible vars for stall site so facts get... |
tree | commitdiff |
2010-06-28 |
jjenista | more effects bug fixes |
tree | commitdiff |
2010-06-28 |
jjenista | bug fixes for effects analysis |
tree | commitdiff |
2010-06-28 |
jjenista | stall site taints propagate awesomely, get cleared... |
tree | commitdiff |
2010-06-28 |
jjenista | forgot to add moved files back in, injecting stall... |
tree | commitdiff |
2010-06-28 |
jjenista | changed organization and brought in a few new pieces... |
tree | commitdiff |
2010-06-28 |
yeom | add more steps to OoO analysis |
tree | commitdiff |
2010-06-26 |
yeom | working on the remaining procedures of OoOJava analysis. |
tree | commitdiff |
2010-06-26 |
jjenista | Do effects as a global space, don't even need to consid... |
tree | commitdiff |
2010-06-26 |
jjenista | both reach states and taints were not propagating to... |
tree | commitdiff |
2010-06-25 |
jjenista | getting effects analysis going, need a few more pieces... |
tree | commitdiff |
2010-06-25 |
jjenista | rblock effects dont collect over method call, but its... |
tree | commitdiff |
2010-06-25 |
jjenista | analysis collects effects per method and interprocedurally |
tree | commitdiff |
2010-06-24 |
jjenista | bug fix, now interprocedural seems cool, unitl the... |
tree | commitdiff |
2010-06-24 |
jjenista | taints tested, propagate interprocedurally |
tree | commitdiff |
2010-06-24 |
jjenista | rblock in set vars get tainted on rblock enter and... |
tree | commitdiff |
2010-06-24 |
yeom | changes. |
tree | commitdiff |
2010-06-24 |
jjenista | add rblock relation analysis and makefile aware of... |
tree | commitdiff |
2010-06-23 |
jjenista | More pieces for new version of analysis |
tree | commitdiff |
2010-06-23 |
yeom | get set up part of the stall site analysis |
tree | commitdiff |
next |