projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
changes: generated annotated code but it still causes type errors + re-formatting...
[IRC.git] / Robust / src / Benchmarks / SSJava /
2012-11-01 yeomchanges: generated annotated code but it still causes... tree | commitdiff
2012-10-31 yeomchanges + add two more benchmarks without annotations tree | commitdiff
2012-10-30 yeomchanges. tree | commitdiff
2012-10-21 yeomchanges on the composite location generation (but still... tree | commitdiff
2012-08-15 yeomgenerate annotated source code again but it's still... tree | commitdiff
2012-08-13 yeomchanges. tree | commitdiff
2012-08-13 yeomreformat benchmark source codes to meet the requirement... tree | commitdiff
2012-08-07 yeomchanges. tree | commitdiff
2012-08-02 yeomfixed another problem of the flow-down check. If an... tree | commitdiff
2012-08-02 yeomadd PCLOC annotations. all three benchmarks are type... tree | commitdiff
2012-07-31 yeomadd source code that does not have location annotations. tree | commitdiff
2012-03-21 yeomchanges and data/eval files for new evaluations tree | commitdiff
2012-03-09 yeomraw numbers from error injection evaluations tree | commitdiff
2012-03-07 yeomraw evaluation numbers for the mp3decoder tree | commitdiff
2012-03-06 yeomadd batch-mode script tree | commitdiff
2011-12-15 yeomNew shared loc analysis found a shared location that... tree | commitdiff
2011-12-15 yeomfix mp3decoder: clear memory locations that are not... tree | commitdiff
2011-12-13 yeomchanges. tree | commitdiff
2011-12-06 yeomchanges while trying to compile MP3Decoder tree | commitdiff
2011-12-06 yeomnew analysis found one shared location that is not... tree | commitdiff
2011-11-05 yeomfix: the callee can return only its owned obj tree | commitdiff
2011-11-04 yeomadd evaluation files tree | commitdiff
2011-10-28 yeomupdate location identifier according to changes of... tree | commitdiff
2011-10-28 jjenistalooks like the output is Left and Right channels interl... tree | commitdiff
2011-10-27 jjenistamake it easy to collect data for the paper's error... tree | commitdiff
2011-10-27 jjenistaexploring error injection space tree | commitdiff
2011-10-26 jjenistathe static inner classes are not being used, but Subu... tree | commitdiff
2011-10-26 jjenistatweak scripts to take mp3 filename argument tree | commitdiff
2011-10-25 yeomadd longer mp3 file for test tree | commitdiff
2011-10-22 jjenistadecouple ssjava code gen to prevent crashes from the... tree | commitdiff
2011-10-22 jjenistaautomate trying different error probabilities and seeds tree | commitdiff
2011-10-21 jjenistainstrument an injected error and plot differences in... tree | commitdiff
2011-10-21 jjenistaa start on error inject for SSJava tree | commitdiff
2011-10-21 yeommoves MP3Decoder codes to Benchmark directory tree | commitdiff
2011-10-03 yeomannotated version. tree | commitdiff
2011-10-01 yeomadd input sensor data file tree | commitdiff
2011-09-30 yeommakefile tree | commitdiff
2011-09-30 yeomstart new benchmark JavaNator. tree | commitdiff
2011-09-21 yeomit passes all checkings. tree | commitdiff
2011-09-20 yeompasses the flow down rule tree | commitdiff
2011-09-20 yeombug fixes + annotations tree | commitdiff
2011-09-17 yeom1) it passes the linear type checking 2) start annotati... tree | commitdiff
2011-09-16 yeomEyeTracking has the same result of the original Java... tree | commitdiff
2011-09-16 yeomchange a way to store image pixels as same as Java... tree | commitdiff
2011-09-16 yeommore changes. tree | commitdiff
2011-09-15 yeomchanges toward compilation tree | commitdiff
2011-09-14 yeomadd eye tracking benchmark. tree | commitdiff
Irvine Research Compiler