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 |
2011-10-25 |
jjenista | implementing def reach transfer funcs for R |
commit | commitdiff | tree | snapshot |
2011-10-25 |
spikeuci | Checking in the test cases |
commit | commitdiff | tree | snapshot |
2011-10-25 |
spikeuci | As discussed with Prof. Demsky/Jim, the constructor... |
commit | commitdiff | tree | snapshot |
2011-10-22 |
jjenista | decouple ssjava code gen to prevent crashes from the... |
commit | commitdiff | tree | snapshot |
2011-10-22 |
jjenista | automate trying different error probabilities and seeds |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | instrument an injected error and plot differences in... |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | hacks |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | some extras for multiviewmaps |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | Please don't check in debug lines, por favor :) |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | a start on error inject for SSJava |
commit | commitdiff | tree | snapshot |
2011-10-21 |
yeom | moves MP3Decoder codes to Benchmark directory |
commit | commitdiff | tree | snapshot |
2011-10-21 |
jjenista | going to start with just enough definite reach analysis... |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | added array access inference |
commit | commitdiff | tree | snapshot |
2011-10-21 |
spikeuci | Some changes for signature of constructor of inner... |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | Fixed a bug, added switch statement support |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | changed treenode tag to blockstatementnode tag |
commit | commitdiff | tree | snapshot |
2011-10-21 |
david | adds global, this, and static tags for var id |
commit | commitdiff | tree | snapshot |
2011-10-20 |
jjenista | a short, clear example that definite reachability will... |
commit | commitdiff | tree | snapshot |
2011-10-16 |
spikeuci | Step 1: Creating instances of all levels of enclosing... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jzhou | More changes for Galois |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | OoOJava benchmarks, including barnes-hut NOT paralleliz... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | Forgot to add the OoOJava-specific class directory |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | Bug fix, sometimes an edge matches except it has a... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | Allow buildscript user to set the compiler's JVM heap... |
commit | commitdiff | tree | snapshot |
2011-10-13 |
jjenista | move heap size of output program into the benchmark... |
commit | commitdiff | tree | snapshot |
2011-10-12 |
spikeuci | Adding support for default constructor to be created... |
commit | commitdiff | tree | snapshot |
2011-10-12 |
spikeuci | *** empty log message *** |
commit | commitdiff | tree | snapshot |
2011-10-08 |
jzhou | More classes for galois |
commit | commitdiff | tree | snapshot |
2011-10-07 |
jjenista | fix a bug for Taint similar to ReachState, when either... |
commit | commitdiff | tree | snapshot |
2011-10-05 |
jjenista | accidentally commited tinker code yesterday |
commit | commitdiff | tree | snapshot |
2011-10-05 |
bdemsky | changes |
commit | commitdiff | tree | snapshot |
2011-10-05 |
bdemsky | extend test |
commit | commitdiff | tree | snapshot |
2011-10-05 |
bdemsky | inner class test case |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | Bug fix, subtle errors in exist pred hashcode, and... |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | a test that exposed a cyclic hashcode bug and some... |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | A test that exposed the bug that I just fixed |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | the bug I've been chasing, a critical one-letter typo... |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | double-check the context conversions of out-of-context... |
commit | commitdiff | tree | snapshot |
2011-10-04 |
jjenista | slight code improvements |
commit | commitdiff | tree | snapshot |
2011-10-04 |
yeom | SSJava runtime support |
commit | commitdiff | tree | snapshot |
2011-10-03 |
jzhou | Changes for galois porting |
commit | commitdiff | tree | snapshot |
2011-10-03 |
jzhou | More classes for galois |
commit | commitdiff | tree | snapshot |
2011-10-03 |
yeom | annotated version. |
commit | commitdiff | tree | snapshot |
2011-10-03 |
yeom | bug fix. |
commit | commitdiff | tree | snapshot |
2011-10-01 |
yeom | add input sensor data file |
commit | commitdiff | tree | snapshot |
2011-09-30 |
yeom | makefile |
commit | commitdiff | tree | snapshot |
2011-09-30 |
yeom | start new benchmark JavaNator. |
commit | commitdiff | tree | snapshot |
2011-09-27 |
jjenista | put unit tests here |
commit | commitdiff | tree | snapshot |
2011-09-27 |
jjenista | just documenting what this is for |
commit | commitdiff | tree | snapshot |
2011-09-26 |
jjenista | Incrementing on definite reach analysis |
commit | commitdiff | tree | snapshot |
2011-09-22 |
jjenista | Be able to get def reach state out at a given program... |
commit | commitdiff | tree | snapshot |
2011-09-22 |
jjenista | get hooked into disjoint |
commit | commitdiff | tree | snapshot |
2011-09-22 |
jjenista | getting definite reach analysis set up as a fixed point... |
commit | commitdiff | tree | snapshot |
2011-09-21 |
jjenista | Starting implementation for definite reachability analysis |
commit | commitdiff | tree | snapshot |
2011-09-21 |
jjenista | guard a Tilera-only line |
commit | commitdiff | tree | snapshot |
2011-09-21 |
jjenista | A MultiViewMap is a generalization of the VarSrcTokTabl... |
commit | commitdiff | tree | snapshot |
2011-09-21 |
yeom | it passes all checkings. |
commit | commitdiff | tree | snapshot |
2011-09-20 |
yeom | take out the loop termination analysis from the java... |
commit | commitdiff | tree | snapshot |
2011-09-20 |
yeom | bug fix on the Loop terminate analysis: as long as... |
commit | commitdiff | tree | snapshot |
2011-09-20 |
yeom | passes the flow down rule |
commit | commitdiff | tree | snapshot |
2011-09-20 |
yeom | bug fixes + annotations |
commit | commitdiff | tree | snapshot |
2011-09-17 |
yeom | 1) it passes the linear type checking 2) start annotati... |
commit | commitdiff | tree | snapshot |
2011-09-16 |
yeom | EyeTracking has the same result of the original Java... |
commit | commitdiff | tree | snapshot |
2011-09-16 |
yeom | found compilation errors from david's recent commits... |
commit | commitdiff | tree | snapshot |
2011-09-16 |
yeom | change a way to store image pixels as same as Java... |
commit | commitdiff | tree | snapshot |
2011-09-16 |
yeom | more changes. |
commit | commitdiff | tree | snapshot |
2011-09-15 |
yeom | changes toward compilation |
commit | commitdiff | tree | snapshot |
2011-09-14 |
yeom | add eye tracking benchmark. |
commit | commitdiff | tree | snapshot |
2011-09-07 |
david | added returnnode, loopnode, and opnode recognitino... |
commit | commitdiff | tree | snapshot |
2011-09-07 |
david | Added implicit flow for if statements |
commit | commitdiff | tree | snapshot |
2011-09-03 |
david | adding java files for inference engine |
commit | commitdiff | tree | snapshot |
2011-09-03 |
david | adding test class for SSJava Inference Engine |
commit | commitdiff | tree | snapshot |
2011-09-01 |
yeom | changes: 1) refactoring codes 2) forgot to implement... |
commit | commitdiff | tree | snapshot |
2011-08-31 |
yeom | it passes the definite clearance analysis. |
commit | commitdiff | tree | snapshot |
2011-08-30 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-08-29 |
yeom | changes: have a better way to keep the set of reading... |
commit | commitdiff | tree | snapshot |
2011-08-29 |
yeom | fixes on the definite clearance for shared locations. |
commit | commitdiff | tree | snapshot |
2011-08-29 |
yeom | changes on the definite clearance for shared locations... |
commit | commitdiff | tree | snapshot |
2011-08-27 |
yeom | it passes the definitely written analysis. |
commit | commitdiff | tree | snapshot |
2011-08-26 |
jzhou | Add check to see if the msg buffer is full during msg... |
commit | commitdiff | tree | snapshot |
2011-08-26 |
yeom | changes: since the inverse-MDCT uses input samples... |
commit | commitdiff | tree | snapshot |
2011-08-23 |
yeom | 1) changes on the definitely written analysis: it only... |
commit | commitdiff | tree | snapshot |
2011-08-23 |
yeom | bug fix |
commit | commitdiff | tree | snapshot |
2011-08-23 |
yeom | having new variable 'inter' in-between "reorder/antiali... |
commit | commitdiff | tree | snapshot |
2011-08-20 |
yeom | bug fix on the definitely written check: Field read... |
commit | commitdiff | tree | snapshot |
2011-08-20 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-08-20 |
yeom | mp3decoder passes the loop termination analysis. |
commit | commitdiff | tree | snapshot |
2011-08-20 |
yeom | bug fix on the loop termination analysis |
commit | commitdiff | tree | snapshot |
2011-08-19 |
yeom | bug fix: the loop entrance node of DOWHILELOOP is the... |
commit | commitdiff | tree | snapshot |
next |