inner class test case
[IRC.git] / Robust /
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...
2011-08-27 yeomit passes the definitely written analysis.
2011-08-26 jzhouAdd check to see if the msg buffer is full during msg...
2011-08-26 yeomchanges: since the inverse-MDCT uses input samples...
2011-08-23 yeom1) changes on the definitely written analysis: it only...
2011-08-23 yeombug fix
2011-08-23 yeomhaving new variable 'inter' in-between "reorder/antiali...
2011-08-20 yeombug fix on the definitely written check: Field read...
2011-08-20 yeomchanges.
2011-08-20 yeommp3decoder passes the loop termination analysis.
2011-08-20 yeombug fix on the loop termination analysis
2011-08-19 yeombug fix: the loop entrance node of DOWHILELOOP is the...
2011-08-19 yeomchanges on the loop termination analysis: associate...
2011-08-19 yeommp3decoder finally passes the flow-down rule checking.
2011-08-18 yeommore changes to pass the flow-down rule
2011-08-18 yeomchanges.
2011-08-17 yeombug fix on flow-down rule: check if all of assignments...
2011-08-17 yeomhave linear-type-safe source codes of mp3decoder
2011-08-16 yeommp3decoder compiled by our research compiler produces...
2011-08-15 yeom1) bug fix on nativeavailable(): forgot to get back...
2011-08-15 yeomchanges.
2011-08-15 yeomadds 'nativeavailable()' and 'read(buf,offset,len)...
2011-08-13 yeom1) allow to set the maximum threshold for the liveness...
2011-08-11 yeomget rid of the stream parsing that occurs in the Layer...
2011-08-10 yeomchanges.
2011-08-09 yeomchanges: now variable ownership is in the part of the...
2011-08-09 yeomcode clean up
2011-08-09 yeomfix a grammar to allow multiple annotations on method...
2011-08-08 yeomchanges.
2011-08-06 yeombuildflat exposes new interface that maps from a tree...
2011-08-06 jzhouPrevious fix is still buggy, this one really fix that bug
2011-08-05 jzhouBug fix: during gc compact, one block's usage informati...
2011-08-05 yeomstart revising the linear type checking
2011-08-03 yeomchanges.
2011-08-03 yeomchanges.
2011-08-02 yeomchanges.
2011-08-01 jzhouFix bug in pmc garbage collector
2011-07-29 yeomchanges.
2011-07-28 yeomfix on assigning the global location of the local...
2011-07-28 yeomchanges.
2011-07-28 yeomchanges.
2011-07-27 yeomchanges: 1) generate a class lattice graph DOT file...
2011-07-27 yeomchanges.
2011-07-27 bdemskymemory profiler hack
2011-07-27 yeomchanges.
2011-07-26 yeombug fix on callee constraint checking: previously only...
2011-07-26 yeomchanges.
2011-07-26 yeomchanges: LayerIDecoder and LayerIIDecoder pass the...
2011-07-25 jzhouChange the work load
2011-07-25 jzhou*** empty log message ***
2011-07-24 jzhou*** empty log message ***
2011-07-24 jzhoucache bench
2011-07-24 bdemskycode change
2011-07-23 bdemskythis should fix dtlb misses
2011-07-23 yeomchanges.
next