Missing programs for the evaluation

mr-ma commented 5 years ago

We need to have all 29 programs included in the coverage evaluation:

What we have:

2048.bc
dijkstra_small.x.bc
rawcaudio.x.bc
sha.bc
qsort_small.x.bc
rawdaudio.x.bc
qsort_large.x.bc
search_large.x.bc
bitcnts.x.bc
basicmath_small.x.bc
bf.x.bc
basicmath_large.x.bc
fft.x.bc
rijndael.x.bc
search_small.x.bc
patricia.x.bc
snake.bc

Missing: dijkstra_large, Say, Susan, Tetris, CRC, cjpeg, djpeg, 3x tiff, ispell

mr-ma commented 5 years ago

re-run evaluations:

include the missing bit files
run coverage-imporver.sh
run combinator.sh --only for 0 and 100 coverage
vim generator and set ilp objective to manifest
STEP ADDED run generator.sh
run constraint_extractor.py to generate ilp constraints
vim generator-ilp and set objective to explicit
run generator-ilp.sh
vim generator-ilp and set objective to implicit
run generator-ilp.sh
vim generator-ilp and set objective to overhead
run generator-ilp.sh
run dump-ilp-results.py
checkilp_optimization_results.csv, there should be no columns with 0 values

dennisfischer commented 5 years ago

dijkstra_large, and CRC seem to be working now.

mr-ma / composition-framework

Missing programs for the evaluation #26