|
|
d1ce267147
|
consolidate outputs
|
2023-12-11 14:13:22 +01:00 |
|
|
|
a258b866b0
|
new cli
|
2023-12-08 16:07:56 +01:00 |
|
|
|
1480bc6066
|
remove dead code
|
2023-09-05 12:47:14 +02:00 |
|
|
|
6b0c71660d
|
igonre archives
|
2023-09-05 12:47:14 +02:00 |
|
|
|
faca6f31a4
|
eval script wrangeling
|
2023-09-05 12:47:14 +02:00 |
|
|
|
9ae4b89a18
|
HACK: interrupt limit for random fuzzing
|
2023-09-05 12:47:14 +02:00 |
|
|
|
af900c6c19
|
plot enpoints
|
2023-09-05 12:47:14 +02:00 |
|
|
|
c81471ae0d
|
paralellize plots
|
2023-09-05 12:47:14 +02:00 |
|
|
|
9ce8bdd479
|
update plot script
|
2023-09-05 12:47:14 +02:00 |
|
|
|
0df52441e2
|
update snakefile
|
2023-09-05 12:47:14 +02:00 |
|
|
|
11d465a924
|
fix empty iterator crash, restart
|
2023-09-05 12:47:14 +02:00 |
|
|
|
6fbe3b921a
|
set up configurations
|
2023-09-05 12:47:14 +02:00 |
|
|
|
91c1e65872
|
allow plotting from remote mount
|
2023-09-05 12:47:14 +02:00 |
|
|
|
7849de07bb
|
update snakefile
|
2023-09-05 12:47:14 +02:00 |
|
|
|
7389ac4e46
|
update target_symbols
|
2023-09-05 12:47:14 +02:00 |
|
|
|
169114a571
|
plot min and max lines
|
2023-09-05 12:47:14 +02:00 |
|
|
|
22329f6a38
|
plot lines instead of points
|
2023-09-05 12:47:13 +02:00 |
|
|
|
1f7ebb7e53
|
fixes
|
2023-09-05 12:47:13 +02:00 |
|
|
|
2822a9782e
|
revert changes
|
2023-09-05 12:47:13 +02:00 |
|
|
|
55e985aa39
|
add generation based genetic testing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
b50f38b4a9
|
snakefile: dump cases, fix random fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
aceabd9d08
|
fix snakefile, symbols
|
2023-09-05 12:47:13 +02:00 |
|
|
|
44f4d11ac8
|
seed rng from SEED_RANDOM
|
2023-09-05 12:47:13 +02:00 |
|
|
|
618b5eff7c
|
add micro_longint
|
2023-09-05 12:47:13 +02:00 |
|
|
|
17e0a2700e
|
fuzz multiple interrupts
|
2023-09-05 12:47:13 +02:00 |
|
|
|
882332392f
|
rework plotting
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d0d19a1807
|
add interrupt fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
84d939675c
|
dump time for showmap
|
2023-09-05 12:47:13 +02:00 |
|
|
|
7fa900ac00
|
add plotting to snakefile
|
2023-09-05 12:47:13 +02:00 |
|
|
|
a56a172d35
|
add feed_longest to record random cases
|
2023-09-05 12:47:13 +02:00 |
|
|
|
60469425a9
|
plotting: respect types
|
2023-09-05 12:47:13 +02:00 |
|
|
|
72d8a774ff
|
change feedback order
|
2023-09-05 12:47:13 +02:00 |
|
|
|
6fbce0a8ee
|
fix feedbacks
|
2023-09-05 12:47:13 +02:00 |
|
|
|
34870517ef
|
benchmark using snakemake
|
2023-09-05 12:47:13 +02:00 |
|
|
|
95be29d9b2
|
trace_abbs and dump path
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c70b950a55
|
add graph feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
1420cd77aa
|
update input sizes, dump worstcase, benchmarking
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f8f81250db
|
remove address translations, extend plots
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f56f126e2a
|
add hists to plot script
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d0b58797b8
|
write out times over time
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f9449511e8
|
re-add system state fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
9049c6debe
|
add virtual edge to longest runs
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d002fe39b7
|
debug stuff
|
2023-09-05 12:47:13 +02:00 |
|
|
|
386fb64c80
|
random seeds, better plots
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c72dddef2b
|
add more benchmarks
|
2023-09-05 12:47:13 +02:00 |
|
|
|
4ebb38a93c
|
exectime increase feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f8494dd408
|
rename bin, allow random fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c623c45547
|
add benchmark scripts
|
2023-09-05 12:47:13 +02:00 |
|
