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 |
2011-08-19 |
yeom | changes on the loop termination analysis: associate... |
commit | commitdiff | tree | snapshot |
2011-08-19 |
yeom | mp3decoder finally passes the flow-down rule checking. |
commit | commitdiff | tree | snapshot |
2011-08-18 |
yeom | more changes to pass the flow-down rule |
commit | commitdiff | tree | snapshot |
2011-08-18 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-08-17 |
yeom | bug fix on flow-down rule: check if all of assignments... |
commit | commitdiff | tree | snapshot |
2011-08-17 |
yeom | have linear-type-safe source codes of mp3decoder |
commit | commitdiff | tree | snapshot |
2011-08-16 |
yeom | mp3decoder compiled by our research compiler produces... |
commit | commitdiff | tree | snapshot |
2011-08-15 |
yeom | 1) bug fix on nativeavailable(): forgot to get back... |
commit | commitdiff | tree | snapshot |
2011-08-15 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-08-15 |
yeom | adds 'nativeavailable()' and 'read(buf,offset,len)... |
commit | commitdiff | tree | snapshot |
2011-08-13 |
yeom | 1) allow to set the maximum threshold for the liveness... |
commit | commitdiff | tree | snapshot |
2011-08-11 |
yeom | get rid of the stream parsing that occurs in the Layer... |
commit | commitdiff | tree | snapshot |
2011-08-10 |
yeom | changes. |
commit | commitdiff | tree | snapshot |
2011-08-09 |
yeom | changes: now variable ownership is in the part of the... |
commit | commitdiff | tree | snapshot |
2011-08-09 |
yeom | code clean up |
commit | commitdiff | tree | snapshot |
next |