IRC.git
2012-01-20 jzhouchanges to MGC classlibrary
2012-01-20 jjenistarunning new experiments
2012-01-20 yeomhave another way to assign a THIS LOCATION to method...
2012-01-18 jzhouchanges to MGC class library
2012-01-17 jjenistapredicates are not feasible to flip on and off. The...
2012-01-17 jjenistafix up summarize-per-class mode
2012-01-17 jjenistaget set up for experiment: test impact of disabling...
2012-01-09 jjenistadefreach experiment
2012-01-09 jjenistaconvergence test for defreach
2012-01-06 jjenistathis little example only parallelizes for oooj with...
2012-01-06 jzhouadd System.nanoTimes() support in MGC version
2012-01-06 jjenistaget this dir too
2012-01-06 jjenistanot working out like I wanted
2012-01-06 jjenistaa useful example that needs defreach
2012-01-06 jjenistatweaks for running definite reach
2012-01-05 jzhouremove the '$' in the C code as tilera does not allow it
2012-01-04 jzhouremove the '$' in the C code as tilera does not allow it
2011-12-30 jzhouaccidentally changed this makefile, roll it back
2011-12-30 jzhouchanges to classes
2011-12-28 jzhouchanges to MGC class library
2011-12-21 jzhouAnother bug fix for inner class code: when trying to...
2011-12-20 jzhouFix some inner class related bugs: 1) whenever a class...
2011-12-16 yeomtest case for the ownership checking
2011-12-16 jzhouchanges to MGC class library
2011-12-15 yeomFinally, all benchmarks pass the definitely written...
2011-12-15 yeomNew shared loc analysis found a shared location that...
2011-12-15 jzhouchanges to MGC class library
2011-12-15 yeomassociate assignment nodes that writes to the same...
2011-12-15 yeomfix mp3decoder: clear memory locations that are not...
2011-12-14 jzhouchanges to MGC class library
2011-12-13 yeomchanges.
2011-12-13 jzhouChanges to MGC class library and some missing unit...
2011-12-12 yeomfix another bug: callee propagated wrong write effects...
2011-12-12 yeommore changes, but still broken with mp3decoder
2011-12-10 jzhouChanges to MGC class library and fix a bug regarding...
2011-12-10 yeomchanges.
2011-12-09 yeomfix a nasty bug: writes on local array elements was...
2011-12-08 yeomfix heap path propagation and generate error msg with...
2011-12-07 jzhouchanges to MGC class library
2011-12-06 yeomchanges while trying to compile MP3Decoder
2011-12-06 yeomchanges for getting the right path of static references
2011-12-06 yeomnew analysis found one shared location that is not...
2011-12-05 yeomfixes on analyses to compile the eyetracking benchmark
2011-12-05 yeomfixes
2011-12-03 yeomit has passed test cases
2011-12-03 jzhouFix another inner class bug: every inner class along...
2011-12-02 yeomget the right cover set wrt shared location path.
2011-12-01 yeomfix problems of shared loc extension
2011-12-01 yeomchanges.
2011-11-30 jzhouAccording to Brian's comments, check the lside of assig...
2011-11-30 yeommore changes.
2011-11-29 jzhouArray field initialization was accidentally broken...
2011-11-29 yeomhave n-to-1 mapping from location paths to a set of...
2011-11-29 jzhouFix a small bug about enumaration type: it should be...
2011-11-24 jzhouchanges
2011-11-23 jzhouFix another inner class bug: an inner class which is...
2011-11-22 yeomworking on shared loc extension: need to keep additiona...
2011-11-19 jzhoufix some MGC classes
2011-11-18 jjenistavector resize isn't a problem, even without definite...
2011-11-18 jzhouclass library changes
2011-11-18 jjenistafixed double negate bug, 3rd case of def reach works now
2011-11-17 jjenistacase 3 of definite reach, all coded but has bugs becaus...
2011-11-15 jzhoua missing check
2011-11-15 jzhouBug fix of inner class: only add LIVE local variables...
2011-11-15 jzhouAdd a new feature for inner class: an anonymous inner...
2011-11-14 yeomworking on shared loc extension
2011-11-12 jzhouNeed a new inner class feature: let the anonymous inner...
2011-11-11 jzhouMake the compiler to support super.X/L.super.X which...
2011-11-11 yeomworking on the written check.
2011-11-11 jjenistagot 2nd case of def reach up and running, one to go
2011-11-11 jzhouFix inner class implementation. Now code like inner...
2011-11-10 bdemskychange the email list...stop spamming people
2011-11-10 jzhouChange back the inner class test case
2011-11-10 jzhouFix inner class bug: the inner class cannot correctly...
2011-11-10 jjenistaworking on the second case where definite reach can...
2011-11-10 jjenistaAWESOME. Used just the R relation of definite reach...
2011-11-10 jjenistasuccessfully keep def reach info just for the store...
2011-11-10 jjenistabug fix: retrieve by full key returned empty set, now...
2011-11-09 spikeuciUpdating the test case files
2011-11-09 spikeuciHandling the case NAME DOT THIS for inner classes
2011-11-09 jjenistadef reach has to use PointerMethod to detect CFG edges...
2011-11-08 jjenistafix silly off-by-one bug
2011-11-08 bdemskypush a bunch of old changes i had related to inner...
2011-11-07 jjenistafound a bug, results still empty
2011-11-07 jjenistatransfer funcs for the R relation of def reach coded...
2011-11-05 yeomfix: the callee can return only its owned obj
2011-11-04 yeomadd evaluation files
2011-11-04 yeomforgot to commit
2011-10-28 spikeuciBug fixed
2011-10-28 spikeuciThis completes the barebones versions of inner class...
2011-10-28 yeomupdate location identifier according to changes of...
2011-10-28 yeombug fix:
2011-10-28 jjenistalooks like the output is Left and Right channels interl...
2011-10-27 jjenistamake it easy to collect data for the paper's error...
2011-10-27 jjenistaexploring error injection space
2011-10-26 jjenistathe static inner classes are not being used, but Subu...
2011-10-26 jjenistatweak scripts to take mp3 filename argument
2011-10-26 jjenistarestrict error injection to non-array primitive types...
2011-10-25 yeomadd longer mp3 file for test
2011-10-25 jjenistadef reach coming along
next