IRC.git
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
2011-10-04 jjenistathe bug I've been chasing, a critical one-letter typo...
2011-10-04 jjenistadouble-check the context conversions of out-of-context...
2011-10-04 jjenistaslight code improvements
2011-10-04 yeomSSJava runtime support
2011-10-03 jzhouChanges for galois porting
2011-10-03 jzhouMore classes for galois
2011-10-03 yeomannotated version.
2011-10-03 yeombug fix.
2011-10-01 yeomadd input sensor data file
2011-09-30 yeommakefile
2011-09-30 yeomstart new benchmark JavaNator.
2011-09-27 jjenistaput unit tests here
2011-09-27 jjenistajust documenting what this is for
2011-09-26 jjenistaIncrementing on definite reach analysis
2011-09-22 jjenistaBe able to get def reach state out at a given program...
2011-09-22 jjenistaget hooked into disjoint
2011-09-22 jjenistagetting definite reach analysis set up as a fixed point...
2011-09-21 jjenistaStarting implementation for definite reachability analysis
2011-09-21 jjenistaguard a Tilera-only line
2011-09-21 jjenistaA MultiViewMap is a generalization of the VarSrcTokTabl...
2011-09-21 yeomit passes all checkings.
2011-09-20 yeomtake out the loop termination analysis from the java...
2011-09-20 yeombug fix on the Loop terminate analysis: as long as...
2011-09-20 yeompasses the flow down rule
2011-09-20 yeombug fixes + annotations
2011-09-17 yeom1) it passes the linear type checking 2) start annotati...
2011-09-16 yeomEyeTracking has the same result of the original Java...
2011-09-16 yeomfound compilation errors from david's recent commits...
2011-09-16 yeomchange a way to store image pixels as same as Java...
2011-09-16 yeommore changes.
2011-09-15 yeomchanges toward compilation
2011-09-14 yeomadd eye tracking benchmark.
2011-09-07 davidadded returnnode, loopnode, and opnode recognitino...
2011-09-07 davidAdded implicit flow for if statements
2011-09-03 davidadding java files for inference engine
2011-09-03 davidadding test class for SSJava Inference Engine
2011-09-01 yeomchanges: 1) refactoring codes 2) forgot to implement...
2011-08-31 yeomit passes the definite clearance analysis.
2011-08-30 yeomchanges.
2011-08-29 yeomchanges: have a better way to keep the set of reading...
2011-08-29 yeomfixes on the definite clearance for shared locations.
2011-08-29 yeomchanges on the definite clearance for shared locations...
next