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 |
2010-06-23 |
jjenista | Updated taint class to allow call site plus var taints... |
tree | commitdiff |
2010-06-22 |
jjenista | taints at reach graph level implemented |
tree | commitdiff |
2010-06-22 |
jjenista | got the hooks in place to get taints for rblocks |
tree | commitdiff |
2010-06-22 |
yeom | set up OoOJava analysis. |
tree | commitdiff |
2010-06-22 |
jjenista | Getting taints to propagate in new analysis, no paramet... |
tree | commitdiff |
2010-06-21 |
jjenista | capturing partially implemented taints before altering... |
tree | commitdiff |
2010-06-17 |
jjenista | taints working intraprocedurally, a bug in inter I... |
tree | commitdiff |
2010-06-17 |
jjenista | getting parameter taints in new analysis |
tree | commitdiff |
2010-06-17 |
jjenista | get partially set up new version of disjoint analysis... |
tree | commitdiff |
2010-05-27 |
jjenista | porting effects analysis |
tree | commitdiff |
2010-05-26 |
jjenista | porting effects analysis to new disjoint analysis |
tree | commitdiff |
2010-05-25 |
bdemsky | changes |
tree | commitdiff |
2010-05-25 |
bdemsky | real fix for the bug...not just the symptom |
tree | commitdiff |
2010-05-25 |
bdemsky | bug fix |
tree | commitdiff |
2010-05-06 |
yeom | changes for the case that an SESE enqueues more than... |
tree | commitdiff |
2010-05-03 |
yeom | bring a snapshot before further changes of memory queue... |
tree | commitdiff |
2010-04-19 |
jjenista | bug fix in that return value assignment edges were... |
tree | commitdiff |
2010-04-19 |
jjenista | improving debugging of call site contributions to initi... |
tree | commitdiff |
2010-04-15 |
jjenista | bug fix, some callees were not being rescheduled becaus... |
tree | commitdiff |
2010-04-14 |
jjenista | fixed a bug where retrieving the context contribution... |
tree | commitdiff |
2010-04-12 |
jjenista | adjustments to stack-based method scheduling, debug... |
tree | commitdiff |
2010-04-09 |
yeom | set temp descriptor for a waiting element. |
tree | commitdiff |
2010-04-07 |
jjenista | deterministic mode works |
tree | commitdiff |
2010-04-07 |
jjenista | added compiler option to desire determinism, it current... |
tree | commitdiff |
2010-04-07 |
jjenista | just improved some output |
tree | commitdiff |
2010-04-06 |
yeom | changes for handling unresolved in-var pointer. |
tree | commitdiff |
2010-04-05 |
jjenista | objects with bamboo-parameter flags got dropped from... |
tree | commitdiff |
2010-04-05 |
jjenista | implemented stack method visit but with callees on... |
tree | commitdiff |
2010-04-02 |
jjenista | bug fixes for unflagged heap regions becoming flagged |
tree | commitdiff |
2010-04-02 |
jjenista | working on bugs, sharing file output updates |
tree | commitdiff |
2010-04-02 |
yeom | bug fixes for generating empty graph. |
tree | commitdiff |
2010-03-31 |
yeom | fixes for memory effects analysis. |
tree | commitdiff |
2010-03-31 |
jjenista | enforce strict monotonicity for initial method contexts... |
tree | commitdiff |
2010-03-30 |
jjenista | turn strong updates back on from yesterday testing... |
tree | commitdiff |
2010-03-30 |
jjenista | why was this missing--latent bug |
tree | commitdiff |
2010-03-30 |
jjenista | bug fixes, make stack/Q method-visiting a cmd line... |
tree | commitdiff |
2010-03-26 |
jjenista | all changes for official testing |
tree | commitdiff |
2010-03-26 |
jjenista | collect last night's changes |
tree | commitdiff |
2010-03-26 |
bdemsky | stack implementation...may expose bugs |
tree | commitdiff |
2010-03-26 |
bdemsky | bug fix |
tree | commitdiff |
2010-03-26 |
bdemsky | bug fix |
tree | commitdiff |
2010-03-25 |
bdemsky | bug fixes and optimizations |
tree | commitdiff |
2010-03-25 |
jjenista | new Canonical hash and equals, also running with assert... |
tree | commitdiff |
2010-03-25 |
jjenista | fixing the heap region descriptions not a pressing... |
tree | commitdiff |
2010-03-25 |
jjenista | bug fixes for task initial heaps and making all new... |
tree | commitdiff |
2010-03-25 |
jjenista | print preds stacked for DOT |
tree | commitdiff |
2010-03-25 |
yeom | bug fixes |
tree | commitdiff |
2010-03-25 |
jzhou | Add BAMBOOCOMPILETIME flag into the state class. When... |
tree | commitdiff |
2010-03-25 |
bdemsky | little optimization to allow it to quickly recompute... |
tree | commitdiff |
2010-03-25 |
bdemsky | code for Jim to use once he gets everything working... |
tree | commitdiff |
next |