IRC.git
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
2011-10-25 jjenistaimplementing def reach transfer funcs for R
2011-10-25 spikeuciChecking in the test cases
2011-10-25 spikeuciAs discussed with Prof. Demsky/Jim, the constructor...
2011-10-22 jjenistadecouple ssjava code gen to prevent crashes from the...
2011-10-22 jjenistaautomate trying different error probabilities and seeds
2011-10-21 jjenistainstrument an injected error and plot differences in...
2011-10-21 jjenistahacks
2011-10-21 jjenistasome extras for multiviewmaps
2011-10-21 jjenistaPlease don't check in debug lines, por favor :)
2011-10-21 jjenistaa start on error inject for SSJava
2011-10-21 yeommoves MP3Decoder codes to Benchmark directory
2011-10-21 jjenistagoing to start with just enough definite reach analysis...
2011-10-21 davidadded array access inference
2011-10-21 spikeuciSome changes for signature of constructor of inner...
2011-10-21 davidFixed a bug, added switch statement support
2011-10-21 davidchanged treenode tag to blockstatementnode tag
2011-10-21 davidadds global, this, and static tags for var id
2011-10-20 jjenistaa short, clear example that definite reachability will...
2011-10-16 spikeuciStep 1: Creating instances of all levels of enclosing...
2011-10-13 jzhouMore changes for Galois
2011-10-13 jjenistaOoOJava benchmarks, including barnes-hut NOT paralleliz...
2011-10-13 jjenistaForgot to add the OoOJava-specific class directory
2011-10-13 jjenistaBug fix, sometimes an edge matches except it has a...
2011-10-13 jjenistaAllow buildscript user to set the compiler's JVM heap...
2011-10-13 jjenistamove heap size of output program into the benchmark...
2011-10-12 spikeuciAdding support for default constructor to be created...
2011-10-12 spikeuci*** empty log message ***
2011-10-08 jzhouMore classes for galois
2011-10-07 jjenistafix a bug for Taint similar to ReachState, when either...
2011-10-05 jjenistaaccidentally commited tinker code yesterday
2011-10-05 bdemskychanges
2011-10-05 bdemskyextend test
2011-10-05 bdemskyinner class test case
2011-10-04 jjenistaBug fix, subtle errors in exist pred hashcode, and...
2011-10-04 jjenistaa test that exposed a cyclic hashcode bug and some...
2011-10-04 jjenistaA test that exposed the bug that I just fixed
next