2010-04-06 |
yeom | changes for handling unresolved in-var pointer. |
commit | commitdiff | tree | snapshot |
2010-04-06 |
jihoonl | recoveryflag is modified |
commit | commitdiff | tree | snapshot |
2010-04-05 |
jjenista | objects with bamboo-parameter flags got dropped from... |
commit | commitdiff | tree | snapshot |
2010-04-05 |
jjenista | implemented stack method visit but with callees on... |
commit | commitdiff | tree | snapshot |
2010-04-05 |
stephey | Moved Prime Program into its own folder |
commit | commitdiff | tree | snapshot |
2010-04-05 |
stephey | Moved Primes into its own folder |
commit | commitdiff | tree | snapshot |
2010-04-05 |
stephey | Updated Test.java; it now achieves a speed-up of 8x... |
commit | commitdiff | tree | snapshot |
2010-04-05 |
yeom | bring last changes for proper handling 64bit before... |
commit | commitdiff | tree | snapshot |
2010-04-05 |
stephey | Updated Test.java to working condition (parallelized) |
commit | commitdiff | tree | snapshot |
2010-04-03 |
stephey | backed up working serial program and original program... |
commit | commitdiff | tree | snapshot |
2010-04-03 |
jihoonl | paxos in separate file. |
commit | commitdiff | tree | snapshot |
2010-04-03 |
stephey | Renamed test.java to Test.java and updated makefile... |
commit | commitdiff | tree | snapshot |
2010-04-03 |
stephey | renamed test.java to Test.java and changed the makefile... |
commit | commitdiff | tree | snapshot |
2010-04-03 |
stephey | Updated to working non-parallelized version for Test.c |
commit | commitdiff | tree | snapshot |
2010-04-02 |
jjenista | bug fixes for unflagged heap regions becoming flagged |
commit | commitdiff | tree | snapshot |
2010-04-02 |
jjenista | working on bugs, sharing file output updates |
commit | commitdiff | tree | snapshot |
2010-04-02 |
stephey | Stephen's intro application added (not yet done) |
commit | commitdiff | tree | snapshot |
2010-04-02 |
stephey | A test update |
commit | commitdiff | tree | snapshot |
2010-04-02 |
stephey | This is Stephen's test program |
commit | commitdiff | tree | snapshot |
2010-04-02 |
yeom | bug fixes for generating empty graph. |
commit | commitdiff | tree | snapshot |
2010-04-01 |
jihoonl | still fixing |
commit | commitdiff | tree | snapshot |
2010-04-01 |
jihoonl | still have racing condition.. |
commit | commitdiff | tree | snapshot |
2010-03-31 |
yeom | fixes for memory effects analysis. |
commit | commitdiff | tree | snapshot |
2010-03-31 |
jjenista | enforce strict monotonicity for initial method contexts... |
commit | commitdiff | tree | snapshot |
2010-03-30 |
jjenista | turn strong updates back on from yesterday testing... |
commit | commitdiff | tree | snapshot |
2010-03-30 |
jjenista | a test that shows our analysis doesn't always terminate |
commit | commitdiff | tree | snapshot |
2010-03-30 |
jjenista | why was this missing--latent bug |
commit | commitdiff | tree | snapshot |
2010-03-30 |
jjenista | bug fixes, make stack/Q method-visiting a cmd line... |
commit | commitdiff | tree | snapshot |
2010-03-26 |
jjenista | all changes for official testing |
commit | commitdiff | tree | snapshot |
2010-03-26 |
jjenista | collect last night's changes |
commit | commitdiff | tree | snapshot |
2010-03-26 |
bdemsky | stack implementation...may expose bugs |
commit | commitdiff | tree | snapshot |
2010-03-26 |
bdemsky | bug fix |
commit | commitdiff | tree | snapshot |
2010-03-26 |
bdemsky | bug fix |
commit | commitdiff | tree | snapshot |
2010-03-26 |
jjenista | current version of benchmark lists and run modes |
commit | commitdiff | tree | snapshot |
2010-03-25 |
yeom | add power bench. |
commit | commitdiff | tree | snapshot |
2010-03-25 |
yeom | add annoated kmeans |
commit | commitdiff | tree | snapshot |
2010-03-25 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | a helpful makefile to run for the record |
commit | commitdiff | tree | snapshot |
2010-03-25 |
yeom | add annotated raytracer |
commit | commitdiff | tree | snapshot |
2010-03-25 |
bdemsky | bug fixes and optimizations |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | new Canonical hash and equals, also running with assert... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | fixing the heap region descriptions not a pressing... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | makefile for checking final results |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | bug fixes for task initial heaps and making all new... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | print preds stacked for DOT |
commit | commitdiff | tree | snapshot |
2010-03-25 |
yeom | bug fixes |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jzhou | Add BAMBOOCOMPILETIME flag into the state class. When... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
bdemsky | little optimization to allow it to quickly recompute... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
bdemsky | code for Jim to use once he gets everything working... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
yeom | changes for proper handling multi-dimensional array... |
commit | commitdiff | tree | snapshot |
2010-03-25 |
jjenista | bug fixes |
commit | commitdiff | tree | snapshot |
2010-03-24 |
jjenista | bug fix in evaluating the various classes of out-of... |
commit | commitdiff | tree | snapshot |
2010-03-24 |
jjenista | improved debug graph capture |
commit | commitdiff | tree | snapshot |
2010-03-24 |
jjenista | just giving the task a name different from the Lambda... |
commit | commitdiff | tree | snapshot |
2010-03-24 |
jjenista | bug fixes, display improvements, sharing query changes... |
commit | commitdiff | tree | snapshot |
2010-03-23 |
yeom | changes for a better strategy of clearing memory. |
commit | commitdiff | tree | snapshot |
2010-03-23 |
jjenista | bug fix for primitive parameters, made a simple method... |
commit | commitdiff | tree | snapshot |
2010-03-23 |
jjenista | little bug fixes, adjusted code for detecting sharing... |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | fix bug that a hrn ID integer and a boolean out-of... |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | little bug in final reporting |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | bug fixes: if an out-of-context edge in callee has... |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | wow, this bug has been latent for a long time, easy fix |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | add two out-of-context properties to equals and hashcode |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | makefile for new analysis version for benchmarks |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | couple fixes to make sure out-of-context nodes get... |
commit | commitdiff | tree | snapshot |
2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
commit | commitdiff | tree | snapshot |
2010-03-20 |
jjenista | trying to fix call site transfer bug, fixed caused... |
commit | commitdiff | tree | snapshot |
2010-03-19 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2010-03-19 |
jjenista | making debugging easier |
commit | commitdiff | tree | snapshot |
2010-03-19 |
jjenista | make sure change sets ignore predicates hanging off... |
commit | commitdiff | tree | snapshot |
2010-03-19 |
jjenista | make sure straight union of reach states or reach sets... |
commit | commitdiff | tree | snapshot |
2010-03-19 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2010-03-19 |
yeom | add interface. |
commit | commitdiff | tree | snapshot |
2010-03-18 |
jzhou | bug fix in multicore Bamboo, TILERZ_LINUX mode now... |
commit | commitdiff | tree | snapshot |
2010-03-18 |
yeom | a test. |
commit | commitdiff | tree | snapshot |
2010-03-18 |
jjenista | couple of little bugs working in tandem to wreck reacha... |
commit | commitdiff | tree | snapshot |
2010-03-18 |
adash | added the new looup table for prefetch cache |
commit | commitdiff | tree | snapshot |
2010-03-18 |
adash | get rid of "size" field, causes unnecessary aborts... |
commit | commitdiff | tree | snapshot |
2010-03-18 |
jzhou | BAMBOO TILERA_ZLINUX mode works with single-core versio... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jjenista | use different graph writing options to better find... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jzhou | TILERA_ZLINUX mode for BAMBOO can be compiled now,... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jjenista | fixed issues with dot graph writing that make our debug... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jjenista | using allocation sites in new ways exposed a latent bug |
commit | commitdiff | tree | snapshot |
2010-03-17 |
yeom | a test |
commit | commitdiff | tree | snapshot |
2010-03-17 |
yeom | changes for proper handling field. |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jjenista | was accidentally dropping param var to node edges when... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jjenista | reach propagation not working, getting null states... |
commit | commitdiff | tree | snapshot |
2010-03-17 |
jzhou | code clean: define TILERA_BME mode and TILERA_ZLINUX... |
commit | commitdiff | tree | snapshot |
2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still... |
commit | commitdiff | tree | snapshot |
2010-03-16 |
yeom | bug fix. |
commit | commitdiff | tree | snapshot |
2010-03-16 |
yeom | changes for handling tasks. |
commit | commitdiff | tree | snapshot |
2010-03-16 |
jjenista | checkin a crash fix so yonghun can run on benchmarks... |
commit | commitdiff | tree | snapshot |
2010-03-16 |
jjenista | updating the global sweep and some related code--this... |
commit | commitdiff | tree | snapshot |
2010-03-15 |
jjenista | have to test predicates of callee states before admitti... |
commit | commitdiff | tree | snapshot |
2010-03-15 |
jjenista | lots of untested code, but compiles, for attaching... |
commit | commitdiff | tree | snapshot |
2010-03-15 |
jjenista | most of the missing context-rewriting code |
commit | commitdiff | tree | snapshot |
2010-03-13 |
jjenista | a start on reachability, not fully functioning yet |
commit | commitdiff | tree | snapshot |
2010-03-13 |
adash | more changes |
commit | commitdiff | tree | snapshot |
2010-03-13 |
adash | changes for optimizations |
commit | commitdiff | tree | snapshot |
next |