|
|
52912c8c41
|
update target_symbols
|
2023-06-02 10:11:08 +02:00 |
|
|
|
fe00fa18c1
|
fix snakefile, symbols
|
2023-06-02 10:11:08 +02:00 |
|
|
|
9722f5ebe1
|
add micro_longint
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ce87a9fe23
|
fuzz multiple interrupts
|
2023-06-02 10:11:08 +02:00 |
|
|
|
6b2eb6fad2
|
add interrupt fuzzing
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ea6d17fb5c
|
benchmark using snakemake
|
2023-06-02 10:11:07 +02:00 |
|
|
|
7641857faa
|
update input sizes, dump worstcase, benchmarking
|
2023-06-02 10:11:07 +02:00 |
|
|
|
3ec0f91195
|
remove address translations, extend plots
|
2023-06-02 10:11:07 +02:00 |
|
|
|
32c245e619
|
re-add system state fuzzing
|
2023-06-02 10:11:07 +02:00 |
|
|
|
61aa829d60
|
add virtual edge to longest runs
|
2023-06-02 10:11:07 +02:00 |
|
|
|
68df4ab131
|
debug stuff
|
2023-06-02 10:11:07 +02:00 |
|
|
|
2d12d80184
|
add more benchmarks
|
2023-06-02 10:11:07 +02:00 |
|
|
|
95a639a78e
|
exectime increase feedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
fd85ae8ae8
|
rename bin, allow random fuzzing
|
2023-06-02 10:11:07 +02:00 |
|
|
|
775364340a
|
add benchmark scripts
|
2023-06-02 10:11:07 +02:00 |
|
