| 2010-06-30 |
jjenista | debugged the reach graph support for effect conflicts |
tree | commitdiff |
| 2010-06-29 |
jjenista | little bug fix |
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 |
yeom | new test case. |
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-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 | 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 |
jjenista | just an interesting test case I never got around to... |
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-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-05-27 |
jjenista | porting effects analysis |
tree | commitdiff |
| 2010-05-26 |
jjenista | porting effects analysis to new disjoint analysis |
tree | commitdiff |
| 2010-05-10 |
jjenista | Added the this() explicit constructor invocation which... |
tree | commitdiff |
| 2010-05-01 |
adash | test file for using FileOutputStream |
tree | commitdiff |
| 2010-04-12 |
jjenista | adjustments to stack-based method scheduling, debug... |
tree | commitdiff |
| 2010-04-12 |
stephey | Core of Sudoku Puzzler is ported without input error... |
tree | commitdiff |
| 2010-04-10 |
stephey | Added input file support; user must put the file locati... |
tree | commitdiff |
| 2010-04-10 |
stephey | Modified my core code to be able to compile under ... |
tree | commitdiff |
| 2010-04-10 |
stephey | Ported over commonly used operations in ArrayList.java... |
tree | commitdiff |
| 2010-04-09 |
jjenista | trying to isolate a bug from MapReduceTag in a miniatur... |
tree | commitdiff |
| 2010-04-09 |
jjenista | an example program using StringTokenizer |
tree | commitdiff |
| 2010-04-06 |
tmduong | First test case |
tree | commitdiff |
| 2010-04-05 |
stephey | Moved Prime Program into its own folder |
tree | commitdiff |
| 2010-04-05 |
stephey | Moved Primes into its own folder |
tree | commitdiff |
| 2010-04-05 |
stephey | Updated Test.java; it now achieves a speed-up of 8x... |
tree | commitdiff |
| 2010-04-05 |
stephey | Updated Test.java to working condition (parallelized) |
tree | commitdiff |
| 2010-04-03 |
stephey | backed up working serial program and original program... |
tree | commitdiff |
| 2010-04-03 |
stephey | Renamed test.java to Test.java and updated makefile... |
tree | commitdiff |
| 2010-04-03 |
stephey | renamed test.java to Test.java and changed the makefile... |
tree | commitdiff |
| 2010-04-03 |
stephey | Updated to working non-parallelized version for Test.c |
tree | commitdiff |
| 2010-04-02 |
stephey | Stephen's intro application added (not yet done) |
tree | commitdiff |
| 2010-04-02 |
stephey | A test update |
tree | commitdiff |
| 2010-04-02 |
stephey | This is Stephen's test program |
tree | commitdiff |
| 2010-03-30 |
jjenista | turn strong updates back on from yesterday testing... |
tree | commitdiff |
| 2010-03-30 |
jjenista | a test that shows our analysis doesn't always terminate |
tree | commitdiff |
| 2010-03-26 |
jjenista | all changes for official testing |
tree | commitdiff |
| 2010-03-25 |
yeom | add power bench. |
tree | commitdiff |
| 2010-03-25 |
yeom | add annoated kmeans |
tree | commitdiff |
| 2010-03-25 |
yeom | changes. |
tree | commitdiff |
| 2010-03-25 |
yeom | add annotated raytracer |
tree | commitdiff |
| 2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
tree | commitdiff |
| 2010-03-19 |
jjenista | making debugging easier |
tree | commitdiff |
| 2010-03-18 |
yeom | a test. |
tree | commitdiff |
| 2010-03-17 |
jjenista | use different graph writing options to better find... |
tree | commitdiff |
| 2010-03-17 |
yeom | a test |
tree | commitdiff |
| 2010-03-17 |
jjenista | was accidentally dropping param var to node edges when... |
tree | commitdiff |
| 2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still... |
tree | commitdiff |
| 2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still... |
tree | commitdiff |
| 2010-03-16 |
jjenista | updating the global sweep and some related code--this... |
tree | commitdiff |
| 2010-03-15 |
jjenista | most of the missing context-rewriting code |
tree | commitdiff |
| 2010-03-12 |
jjenista | a test that shows reachabiltiy states are broken |
tree | commitdiff |
| 2010-03-12 |
jjenista | bunch of bug fixes, graphs appear to be working mechani... |
tree | commitdiff |
| 2010-03-11 |
jjenista | debugging something else, but commiting this bug fix... |
tree | commitdiff |
| 2010-03-11 |
jjenista | bug fix yonghun found, return value's region may be... |
tree | commitdiff |
| 2010-03-11 |
jjenista | there was a simple fix for variable problem, in new... |
tree | commitdiff |
| 2010-03-11 |
jjenista | caller local variables to in-context regions are modele... |
tree | commitdiff |
| 2010-03-10 |
jjenista | lots of bug fixes, system cannot compute even simple... |
tree | commitdiff |
| 2010-03-10 |
jjenista | big checkin, lots of call site transfer bug fixes,... |
tree | commitdiff |
| 2010-03-09 |
jjenista | callee elements brought into caller get predicates... |
tree | commitdiff |
| 2010-03-08 |
jjenista | edge merge |
tree | commitdiff |
| 2010-03-04 |
jjenista | bug fix, other transfer funcs invoke mutating methods... |
tree | commitdiff |
| 2010-03-04 |
jjenista | getting closer, still major bugs in call site transfer... |
tree | commitdiff |
| 2010-02-19 |
jjenista | checking in this test before monkeying around with... |
tree | commitdiff |
| 2010-02-19 |
jjenista | squashing bugs |
tree | commitdiff |
| 2010-02-19 |
jjenista | analysis not terminating, looking for things that shoul... |
tree | commitdiff |
| 2010-02-11 |
jjenista | reevaluating abstract garbage collection, for now leave... |
tree | commitdiff |
| 2010-02-04 |
jjenista | implementing |
tree | commitdiff |
| 2010-02-02 |
jjenista | implementing |
tree | commitdiff |
| 2010-01-29 |
jjenista | make mlp related makefiles use a relative buildscript... |
tree | commitdiff |
| 2010-01-29 |
jjenista | a tiny test exposing a bug, we think might be memory... |
tree | commitdiff |
| 2010-01-29 |
jjenista | realized there were two print statements in regression... |
tree | commitdiff |
| 2010-01-28 |
jjenista | bug fix for ready-static-dynamic variable classificatio... |
tree | commitdiff |
| 2010-01-20 |
jjenista | finding mlp analysis bugs |
tree | commitdiff |
| 2010-01-07 |
jjenista | more implementation |
tree | commitdiff |
| 2010-01-06 |
jjenista | more implementation |
tree | commitdiff |
| 2010-01-04 |
jjenista | more implementation |
tree | commitdiff |
| 2009-12-30 |
jjenista | working on new implementation |
tree | commitdiff |
| 2009-12-02 |
jjenista | start of a revised disjoint reachability analysis |
tree | commitdiff |
| 2009-11-06 |
bdemsky | clean out all my changes |
tree | commitdiff |
| 2009-10-23 |
jjenista | starting implementation for access paths to improve... |
tree | commitdiff |
| 2009-10-14 |
jjenista | investigating OOPSLA benchmarks further |
tree | commitdiff |
| 2009-10-08 |
jjenista | Allow some disjointness improvements to be turned off... |
tree | commitdiff |
| 2009-10-02 |
jjenista | trying to make disjointness example versus shape even... |
tree | commitdiff |
| 2009-10-02 |
jjenista | add option to graph visualization that supresses reacha... |
tree | commitdiff |
| 2009-09-23 |
jjenista | new parameter decomposition, can't chain results yet |
tree | commitdiff |
| 2009-09-22 |
jjenista | a common example to compare with shape analyis |
tree | commitdiff |
| 2009-09-15 |
jjenista | added support for null heap region, doesn't work perfec... |
tree | commitdiff |
| 2009-09-08 |
jjenista | obj support in MLP is in good shape, code gets generate... |
tree | commitdiff |
| 2009-09-04 |
jjenista | Fixed variable dynamic source bookkeeping bug, regressi... |
tree | commitdiff |
| 2009-08-31 |
jjenista | Variable result table pruning is buggy, remove for... |
tree | commitdiff |
| next |
projects / IRC.git / history