|
|
7389ac4e46
|
update target_symbols
|
2023-09-05 12:47:14 +02:00 |
|
|
|
aceabd9d08
|
fix snakefile, symbols
|
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 |
|
|
|
d0d19a1807
|
add interrupt fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
34870517ef
|
benchmark using snakemake
|
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 |
|
|
|
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 |
|
|
|
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 |
|
