projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
changes.
[IRC.git]
/
Robust
/
src
/
Benchmarks
/
2012-08-15
yeom
generate annotated source code again but it's still...
tree
|
commitdiff
2012-08-13
yeom
changes.
tree
|
commitdiff
2012-08-13
yeom
reformat benchmark source codes to meet the requirement...
tree
|
commitdiff
2012-08-07
yeom
changes.
tree
|
commitdiff
2012-08-02
yeom
fixed another problem of the flow-down check. If an...
tree
|
commitdiff
2012-08-02
yeom
add PCLOC annotations. all three benchmarks are type...
tree
|
commitdiff
2012-07-31
yeom
add source code that does not have location annotations.
tree
|
commitdiff
2012-05-31
jjenista
keep a copy of my current dissertation example to inves...
tree
|
commitdiff
2012-05-04
yeom
run-doj-validation-test.sh: a single script that perfor...
tree
|
commitdiff
2012-05-02
yeom
fixes to remove compilation warnings. now DOJ works...
tree
|
commitdiff
2012-03-26
jjenista
the parallel implementation doesn't achieve much becaus...
tree
|
commitdiff
2012-03-21
yeom
changes and data/eval files for new evaluations
tree
|
commitdiff
2012-03-09
yeom
raw numbers from error injection evaluations
tree
|
commitdiff
2012-03-07
yeom
raw evaluation numbers for the mp3decoder
tree
|
commitdiff
2012-03-06
yeom
add batch-mode script
tree
|
commitdiff
2012-02-24
bdemsky
change example for now...
tree
|
commitdiff
2012-02-24
yeom
add a simplifed bh.
tree
|
commitdiff
2012-01-27
jjenista
new version of experiments
tree
|
commitdiff
2012-01-27
jjenista
my laptop is a billion versions of bash ahead of the...
tree
|
commitdiff
2012-01-27
jjenista
little twiddles for kmeans investigation
tree
|
commitdiff
2012-01-25
jjenista
set up to count graph elements over every final graph...
tree
|
commitdiff
2012-01-24
jjenista
didnt get what I wanted before
tree
|
commitdiff
2012-01-24
jjenista
bits to help investigate node count changing
tree
|
commitdiff
2012-01-20
jjenista
running new experiments
tree
|
commitdiff
2012-01-17
jjenista
predicates are not feasible to flip on and off. The...
tree
|
commitdiff
2012-01-17
jjenista
fix up summarize-per-class mode
tree
|
commitdiff
2012-01-17
jjenista
get set up for experiment: test impact of disabling...
tree
|
commitdiff
2012-01-09
jjenista
convergence test for defreach
tree
|
commitdiff
2012-01-06
jjenista
get this dir too
tree
|
commitdiff
2012-01-06
jjenista
tweaks for running definite reach
tree
|
commitdiff
2011-12-30
jzhou
accidentally changed this makefile, roll it back
tree
|
commitdiff
2011-12-30
jzhou
changes to classes
tree
|
commitdiff
2011-12-15
yeom
New shared loc analysis found a shared location that...
tree
|
commitdiff
2011-12-15
yeom
fix mp3decoder: clear memory locations that are not...
tree
|
commitdiff
2011-12-13
yeom
changes.
tree
|
commitdiff
2011-12-06
yeom
changes while trying to compile MP3Decoder
tree
|
commitdiff
2011-12-06
yeom
new analysis found one shared location that is not...
tree
|
commitdiff
2011-11-05
yeom
fix: the callee can return only its owned obj
tree
|
commitdiff
2011-11-04
yeom
add evaluation files
tree
|
commitdiff
2011-10-28
yeom
update location identifier according to changes of...
tree
|
commitdiff
2011-10-28
jjenista
looks like the output is Left and Right channels interl...
tree
|
commitdiff
2011-10-27
jjenista
make it easy to collect data for the paper's error...
tree
|
commitdiff
2011-10-27
jjenista
exploring error injection space
tree
|
commitdiff
2011-10-26
jjenista
the static inner classes are not being used, but Subu...
tree
|
commitdiff
2011-10-26
jjenista
tweak scripts to take mp3 filename argument
tree
|
commitdiff
2011-10-25
yeom
add longer mp3 file for test
tree
|
commitdiff
2011-10-22
jjenista
decouple ssjava code gen to prevent crashes from the...
tree
|
commitdiff
2011-10-22
jjenista
automate trying different error probabilities and seeds
tree
|
commitdiff
2011-10-21
jjenista
instrument an injected error and plot differences in...
tree
|
commitdiff
2011-10-21
jjenista
a start on error inject for SSJava
tree
|
commitdiff
2011-10-21
yeom
moves MP3Decoder codes to Benchmark directory
tree
|
commitdiff
2011-10-13
jjenista
OoOJava benchmarks, including barnes-hut NOT paralleliz...
tree
|
commitdiff
2011-10-13
jjenista
Allow buildscript user to set the compiler's JVM heap...
tree
|
commitdiff
2011-10-13
jjenista
move heap size of output program into the benchmark...
tree
|
commitdiff
2011-10-07
jjenista
fix a bug for Taint similar to ReachState, when either...
tree
|
commitdiff
2011-10-05
jjenista
accidentally commited tinker code yesterday
tree
|
commitdiff
2011-10-04
jjenista
Bug fix, subtle errors in exist pred hashcode, and...
tree
|
commitdiff
2011-10-03
yeom
annotated version.
tree
|
commitdiff
2011-10-01
yeom
add input sensor data file
tree
|
commitdiff
2011-09-30
yeom
makefile
tree
|
commitdiff
2011-09-30
yeom
start new benchmark JavaNator.
tree
|
commitdiff
2011-09-21
yeom
it passes all checkings.
tree
|
commitdiff
2011-09-20
yeom
passes the flow down rule
tree
|
commitdiff
2011-09-20
yeom
bug fixes + annotations
tree
|
commitdiff
2011-09-17
yeom
1) it passes the linear type checking 2) start annotati...
tree
|
commitdiff
2011-09-16
yeom
EyeTracking has the same result of the original Java...
tree
|
commitdiff
2011-09-16
yeom
change a way to store image pixels as same as Java...
tree
|
commitdiff
2011-09-16
yeom
more changes.
tree
|
commitdiff
2011-09-15
yeom
changes toward compilation
tree
|
commitdiff
2011-09-14
yeom
add eye tracking benchmark.
tree
|
commitdiff
2011-07-25
jzhou
Change the work load
tree
|
commitdiff
2011-07-25
jzhou
*** empty log message ***
tree
|
commitdiff
2011-07-24
jzhou
*** empty log message ***
tree
|
commitdiff
2011-07-24
jzhou
cache bench
tree
|
commitdiff
2011-07-23
jzhou
change the work load
tree
|
commitdiff
2011-07-22
adash
changes for simultaneous run!
tree
|
commitdiff
2011-07-22
jzhou
*** empty log message ***
tree
|
commitdiff
2011-07-22
jzhou
*** empty log message ***
tree
|
commitdiff
2011-07-21
bdemsky
make size smaller to make sure we run in a reasonable...
tree
|
commitdiff
2011-07-21
bdemsky
changes
tree
|
commitdiff
2011-07-21
bdemsky
fix bugs
tree
|
commitdiff
2011-07-21
jzhou
fix benchmarks
tree
|
commitdiff
2011-07-21
bdemsky
large raytracer changes from jin +
tree
|
commitdiff
2011-07-16
jzhou
changes
tree
|
commitdiff
2011-07-15
jzhou
changes
tree
|
commitdiff
2011-07-15
jzhou
my changes
tree
|
commitdiff
2011-07-14
limw
Fixed more compilation issues.
tree
|
commitdiff
2011-07-14
limw
Added HG.java
tree
|
commitdiff
2011-07-14
limw
Fixed issues with compilation.
tree
|
commitdiff
2011-07-13
limw
Ported over bamboo benchmarks for use as non-Bamboo...
tree
|
commitdiff
2011-06-11
jjenista
tinkering with debug stuff for barnes-hut
tree
|
commitdiff
2011-06-10
jjenista
Bug fix: in some cases we really do want the heap regio...
tree
|
commitdiff
2011-06-03
jjenista
fixed a bug where a single argument is passed in as...
tree
|
commitdiff
2011-06-01
jjenista
comment out import statements while we are between...
tree
|
commitdiff
2011-06-01
jjenista
check points-to module improvements along with a bug...
tree
|
commitdiff
2011-05-18
jjenista
bug fix: heap contexts for call sites were propgated...
tree
|
commitdiff
2011-05-18
adash
changes
tree
|
commitdiff
2011-05-18
adash
new changes
tree
|
commitdiff
2011-05-16
jjenista
Create analysis model for string literals in disjointne...
tree
|
commitdiff
2011-05-16
adash
new changes for getting results for TOPLAS
tree
|
commitdiff
next