raw evaluation numbers for the mp3decoder
[IRC.git] / Robust / src / Benchmarks /
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
2011-05-11 jjenistashow source code line numbers for this target
2011-05-11 jjenistadid we just ignore the static field modifier before...
2011-05-11 jjenistaclean up points-to-check files properly
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis...
2011-05-10 jjenistaimports are meaningful to compiler now
2011-05-07 jzhoubug fix in multicore code
2011-05-05 jjenistadisjoint should work like pointer in that taints for...
2011-05-03 jjenistaallow debug reach graphs to show taints but supress...
2011-04-28 jjenistaimprove call site debugging for disjoint
2011-04-28 jjenistarun ooojava and rcrpointer that print out effects and...
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do...
2011-04-20 jzhoubug fix for multicore gc version
2011-04-19 jzhouRemove __thread as it does not work on Tilera and use...
next