changes.
[IRC.git] / Robust / src / Benchmarks /
2012-08-15 yeomgenerate annotated source code again but it's still...
2012-08-13 yeomchanges.
2012-08-13 yeomreformat benchmark source codes to meet the requirement...
2012-08-07 yeomchanges.
2012-08-02 yeomfixed another problem of the flow-down check. If an...
2012-08-02 yeomadd PCLOC annotations. all three benchmarks are type...
2012-07-31 yeomadd source code that does not have location annotations.
2012-05-31 jjenistakeep a copy of my current dissertation example to inves...
2012-05-04 yeomrun-doj-validation-test.sh: a single script that perfor...
2012-05-02 yeomfixes to remove compilation warnings. now DOJ works...
2012-03-26 jjenistathe parallel implementation doesn't achieve much becaus...
2012-03-21 yeomchanges and data/eval files for new evaluations
2012-03-09 yeomraw numbers from error injection evaluations
2012-03-07 yeomraw evaluation numbers for the mp3decoder
2012-03-06 yeomadd batch-mode script
2012-02-24 bdemskychange example for now...
2012-02-24 yeomadd a simplifed bh.
2012-01-27 jjenistanew version of experiments
2012-01-27 jjenistamy laptop is a billion versions of bash ahead of the...
2012-01-27 jjenistalittle twiddles for kmeans investigation
2012-01-25 jjenistaset up to count graph elements over every final graph...
2012-01-24 jjenistadidnt get what I wanted before
2012-01-24 jjenistabits to help investigate node count changing
2012-01-20 jjenistarunning new experiments
2012-01-17 jjenistapredicates are not feasible to flip on and off. The...
2012-01-17 jjenistafix up summarize-per-class mode
2012-01-17 jjenistaget set up for experiment: test impact of disabling...
2012-01-09 jjenistaconvergence test for defreach
2012-01-06 jjenistaget this dir too
2012-01-06 jjenistatweaks for running definite reach
2011-12-30 jzhouaccidentally changed this makefile, roll it back
2011-12-30 jzhouchanges to classes
2011-12-15 yeomNew shared loc analysis found a shared location that...
2011-12-15 yeomfix mp3decoder: clear memory locations that are not...
2011-12-13 yeomchanges.
2011-12-06 yeomchanges while trying to compile MP3Decoder
2011-12-06 yeomnew analysis found one shared location that is not...
2011-11-05 yeomfix: the callee can return only its owned obj
2011-11-04 yeomadd evaluation files
2011-10-28 yeomupdate location identifier according to changes of...
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-25 yeomadd longer mp3 file for test
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 jjenistaa start on error inject for SSJava
2011-10-21 yeommoves MP3Decoder codes to Benchmark directory
2011-10-13 jjenistaOoOJava benchmarks, including barnes-hut NOT paralleliz...
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-07 jjenistafix a bug for Taint similar to ReachState, when either...
2011-10-05 jjenistaaccidentally commited tinker code yesterday
2011-10-04 jjenistaBug fix, subtle errors in exist pred hashcode, and...
2011-10-03 yeomannotated version.
2011-10-01 yeomadd input sensor data file
2011-09-30 yeommakefile
2011-09-30 yeomstart new benchmark JavaNator.
2011-09-21 yeomit passes all checkings.
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 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-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-23 jzhouchange the work load
2011-07-22 adashchanges for simultaneous run!
2011-07-22 jzhou*** empty log message ***
2011-07-22 jzhou*** empty log message ***
2011-07-21 bdemskymake size smaller to make sure we run in a reasonable...
2011-07-21 bdemskychanges
2011-07-21 bdemskyfix bugs
2011-07-21 jzhoufix benchmarks
2011-07-21 bdemskylarge raytracer changes from jin +
2011-07-16 jzhouchanges
2011-07-15 jzhouchanges
2011-07-15 jzhoumy changes
2011-07-14 limwFixed more compilation issues.
2011-07-14 limwAdded HG.java
2011-07-14 limwFixed issues with compilation.
2011-07-13 limwPorted over bamboo benchmarks for use as non-Bamboo...
2011-06-11 jjenistatinkering with debug stuff for barnes-hut
2011-06-10 jjenistaBug fix: in some cases we really do want the heap regio...
2011-06-03 jjenistafixed a bug where a single argument is passed in as...
2011-06-01 jjenistacomment out import statements while we are between...
2011-06-01 jjenistacheck points-to module improvements along with a bug...
2011-05-18 jjenistabug fix: heap contexts for call sites were propgated...
2011-05-18 adashchanges
2011-05-18 adashnew changes
2011-05-16 jjenistaCreate analysis model for string literals in disjointne...
2011-05-16 adashnew changes for getting results for TOPLAS
next