|
|
8a79e12f91
|
update target_symbols
|
2023-04-21 14:12:04 +02:00 |
|
|
|
bf639e42fa
|
fix snakefile, symbols
|
2023-03-14 17:08:05 +01:00 |
|
|
|
58be280a62
|
add micro_longint
|
2023-03-03 12:30:36 +01:00 |
|
|
|
3c586f5047
|
fuzz multiple interrupts
|
2023-03-02 15:30:53 +01:00 |
|
|
|
e0f73778e2
|
add interrupt fuzzing
|
2023-02-27 10:39:52 +01:00 |
|
|
|
f7a05d2a7c
|
benchmark using snakemake
|
2023-02-16 22:56:43 +01:00 |
|
|
|
9cadc5d61c
|
update input sizes, dump worstcase, benchmarking
|
2023-02-07 14:59:21 +01:00 |
|
|
|
594554eca0
|
remove address translations, extend plots
|
2023-01-26 14:03:18 +01:00 |
|
|
|
ba01f600ee
|
re-add system state fuzzing
|
2023-01-24 09:11:45 +01:00 |
|
|
|
2cb479581d
|
add virtual edge to longest runs
|
2023-01-19 10:33:13 +01:00 |
|
|
|
6e1d5695e3
|
debug stuff
|
2023-01-17 10:18:24 +01:00 |
|
|
|
4c90144db5
|
add more benchmarks
|
2023-01-13 16:05:43 +01:00 |
|
|
|
eeaf7eb43f
|
exectime increase feedback
|
2023-01-11 16:09:06 +01:00 |
|
|
|
68c4887dad
|
rename bin, allow random fuzzing
|
2023-01-09 13:53:32 +01:00 |
|
|
|
9f97852e4a
|
add benchmark scripts
|
2023-01-09 12:39:35 +01:00 |
|
