2012-01-20 |
jzhou | changes to MGC classlibrary |
commit | commitdiff | tree | snapshot |
2012-01-20 |
jjenista | running new experiments |
commit | commitdiff | tree | snapshot |
2012-01-20 |
yeom | have another way to assign a THIS LOCATION to method... |
commit | commitdiff | tree | snapshot |
2012-01-18 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2012-01-17 |
jjenista | predicates are not feasible to flip on and off. The... |
commit | commitdiff | tree | snapshot |
2012-01-17 |
jjenista | fix up summarize-per-class mode |
commit | commitdiff | tree | snapshot |
2012-01-17 |
jjenista | get set up for experiment: test impact of disabling... |
commit | commitdiff | tree | snapshot |
2012-01-09 |
jjenista | defreach experiment |
commit | commitdiff | tree | snapshot |
2012-01-09 |
jjenista | convergence test for defreach |
commit | commitdiff | tree | snapshot |
2012-01-06 |
jjenista | this little example only parallelizes for oooj with... |
commit | commitdiff | tree | snapshot |
2012-01-06 |
jzhou | add System.nanoTimes() support in MGC version |
commit | commitdiff | tree | snapshot |
2012-01-06 |
jjenista | get this dir too |
commit | commitdiff | tree | snapshot |
2012-01-06 |
jjenista | not working out like I wanted |
commit | commitdiff | tree | snapshot |
2012-01-06 |
jjenista | a useful example that needs defreach |
commit | commitdiff | tree | snapshot |
2012-01-06 |
jjenista | tweaks for running definite reach |
commit | commitdiff | tree | snapshot |
2012-01-05 |
jzhou | remove the '$' in the C code as tilera does not allow it |
commit | commitdiff | tree | snapshot |
2012-01-04 |
jzhou | remove the '$' in the C code as tilera does not allow it |
commit | commitdiff | tree | snapshot |
2011-12-30 |
jzhou | accidentally changed this makefile, roll it back |
commit | commitdiff | tree | snapshot |
2011-12-30 |
jzhou | changes to classes |
commit | commitdiff | tree | snapshot |
2011-12-28 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2011-12-21 |
jzhou | Another bug fix for inner class code: when trying to... |
commit | commitdiff | tree | snapshot |
2011-12-20 |
jzhou | Fix some inner class related bugs: 1) whenever a class... |
commit | commitdiff | tree | snapshot |
2011-12-16 |
yeom | test case for the ownership checking |
commit | commitdiff | tree | snapshot |
2011-12-16 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2011-12-15 |
yeom | Finally, all benchmarks pass the definitely written... |
commit | commitdiff | tree | snapshot |
2011-12-15 |
yeom | New shared loc analysis found a shared location that... |
commit | commitdiff | tree | snapshot |
2011-12-15 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2011-12-15 |
yeom | associate assignment nodes that writes to the same... |
commit | commitdiff | tree | snapshot |
2011-12-15 |
yeom | fix mp3decoder: clear memory locations that are not... |
commit | commitdiff | tree | snapshot |
2011-12-14 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2011-12-13 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-12-13 |
jzhou | Changes to MGC class library and some missing unit... |
commit | commitdiff | tree | snapshot |
2011-12-12 |
yeom | fix another bug: callee propagated wrong write effects... |
commit | commitdiff | tree | snapshot |
2011-12-12 |
yeom | more changes, but still broken with mp3decoder |
commit | commitdiff | tree | snapshot |
2011-12-10 |
jzhou | Changes to MGC class library and fix a bug regarding... |
commit | commitdiff | tree | snapshot |
2011-12-10 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-12-09 |
yeom | fix a nasty bug: writes on local array elements was... |
commit | commitdiff | tree | snapshot |
2011-12-08 |
yeom | fix heap path propagation and generate error msg with... |
commit | commitdiff | tree | snapshot |
2011-12-07 |
jzhou | changes to MGC class library |
commit | commitdiff | tree | snapshot |
2011-12-06 |
yeom | changes while trying to compile MP3Decoder |
commit | commitdiff | tree | snapshot |
2011-12-06 |
yeom | changes for getting the right path of static references |
commit | commitdiff | tree | snapshot |
2011-12-06 |
yeom | new analysis found one shared location that is not... |
commit | commitdiff | tree | snapshot |
2011-12-05 |
yeom | fixes on analyses to compile the eyetracking benchmark |
commit | commitdiff | tree | snapshot |
2011-12-05 |
yeom | fixes |
commit | commitdiff | tree | snapshot |
2011-12-03 |
yeom | it has passed test cases |
commit | commitdiff | tree | snapshot |
2011-12-03 |
jzhou | Fix another inner class bug: every inner class along... |
commit | commitdiff | tree | snapshot |
2011-12-02 |
yeom | get the right cover set wrt shared location path. |
commit | commitdiff | tree | snapshot |
2011-12-01 |
yeom | fix problems of shared loc extension |
commit | commitdiff | tree | snapshot |
2011-12-01 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-11-30 |
jzhou | According to Brian's comments, check the lside of assig... |
commit | commitdiff | tree | snapshot |
2011-11-30 |
yeom | more changes. |
commit | commitdiff | tree | snapshot |
2011-11-29 |
jzhou | Array field initialization was accidentally broken... |
commit | commitdiff | tree | snapshot |
2011-11-29 |
yeom | have n-to-1 mapping from location paths to a set of... |
commit | commitdiff | tree | snapshot |
2011-11-29 |
jzhou | Fix a small bug about enumaration type: it should be... |
commit | commitdiff | tree | snapshot |
2011-11-24 |
jzhou | changes |
commit | commitdiff | tree | snapshot |
2011-11-23 |
jzhou | Fix another inner class bug: an inner class which is... |
commit | commitdiff | tree | snapshot |
2011-11-22 |
yeom | working on shared loc extension: need to keep additiona... |
commit | commitdiff | tree | snapshot |
2011-11-19 |
jzhou | fix some MGC classes |
commit | commitdiff | tree | snapshot |
2011-11-18 |
jjenista | vector resize isn't a problem, even without definite... |
commit | commitdiff | tree | snapshot |
2011-11-18 |
jzhou | class library changes |
commit | commitdiff | tree | snapshot |
2011-11-18 |
jjenista | fixed double negate bug, 3rd case of def reach works now |
commit | commitdiff | tree | snapshot |
2011-11-17 |
jjenista | case 3 of definite reach, all coded but has bugs becaus... |
commit | commitdiff | tree | snapshot |
2011-11-15 |
jzhou | a missing check |
commit | commitdiff | tree | snapshot |
2011-11-15 |
jzhou | Bug fix of inner class: only add LIVE local variables... |
commit | commitdiff | tree | snapshot |
2011-11-15 |
jzhou | Add a new feature for inner class: an anonymous inner... |
commit | commitdiff | tree | snapshot |
2011-11-14 |
yeom | working on shared loc extension |
commit | commitdiff | tree | snapshot |
2011-11-12 |
jzhou | Need a new inner class feature: let the anonymous inner... |
commit | commitdiff | tree | snapshot |
2011-11-11 |
jzhou | Make the compiler to support super.X/L.super.X which... |
commit | commitdiff | tree | snapshot |
2011-11-11 |
yeom | working on the written check. |
commit | commitdiff | tree | snapshot |
2011-11-11 |
jjenista | got 2nd case of def reach up and running, one to go |
commit | commitdiff | tree | snapshot |
2011-11-11 |
jzhou | Fix inner class implementation. Now code like inner... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
bdemsky | change the email list...stop spamming people |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jzhou | Change back the inner class test case |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jzhou | Fix inner class bug: the inner class cannot correctly... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | working on the second case where definite reach can... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | AWESOME. Used just the R relation of definite reach... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | successfully keep def reach info just for the store... |
commit | commitdiff | tree | snapshot |
2011-11-10 |
jjenista | bug fix: retrieve by full key returned empty set, now... |
commit | commitdiff | tree | snapshot |
2011-11-09 |
spikeuci | Updating the test case files |
commit | commitdiff | tree | snapshot |
2011-11-09 |
spikeuci | Handling the case NAME DOT THIS for inner classes |
commit | commitdiff | tree | snapshot |
2011-11-09 |
jjenista | def reach has to use PointerMethod to detect CFG edges... |
commit | commitdiff | tree | snapshot |
2011-11-08 |
jjenista | fix silly off-by-one bug |
commit | commitdiff | tree | snapshot |
2011-11-08 |
bdemsky | push a bunch of old changes i had related to inner... |
commit | commitdiff | tree | snapshot |
2011-11-07 |
jjenista | found a bug, results still empty |
commit | commitdiff | tree | snapshot |
2011-11-07 |
jjenista | transfer funcs for the R relation of def reach coded... |
commit | commitdiff | tree | snapshot |
2011-11-05 |
yeom | fix: the callee can return only its owned obj |
commit | commitdiff | tree | snapshot |
2011-11-04 |
yeom | add evaluation files |
commit | commitdiff | tree | snapshot |
2011-11-04 |
yeom | forgot to commit |
commit | commitdiff | tree | snapshot |
2011-10-28 |
spikeuci | Bug fixed |
commit | commitdiff | tree | snapshot |
2011-10-28 |
spikeuci | This completes the barebones versions of inner class... |
commit | commitdiff | tree | snapshot |
2011-10-28 |
yeom | update location identifier according to changes of... |
commit | commitdiff | tree | snapshot |
2011-10-28 |
yeom | bug fix: |
commit | commitdiff | tree | snapshot |
2011-10-28 |
jjenista | looks like the output is Left and Right channels interl... |
commit | commitdiff | tree | snapshot |
2011-10-27 |
jjenista | make it easy to collect data for the paper's error... |
commit | commitdiff | tree | snapshot |
2011-10-27 |
jjenista | exploring error injection space |
commit | commitdiff | tree | snapshot |
2011-10-26 |
jjenista | the static inner classes are not being used, but Subu... |
commit | commitdiff | tree | snapshot |
2011-10-26 |
jjenista | tweak scripts to take mp3 filename argument |
commit | commitdiff | tree | snapshot |
2011-10-26 |
jjenista | restrict error injection to non-array primitive types... |
commit | commitdiff | tree | snapshot |
2011-10-25 |
yeom | add longer mp3 file for test |
commit | commitdiff | tree | snapshot |
2011-10-25 |
jjenista | def reach coming along |
commit | commitdiff | tree | snapshot |
next |