|
|
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 |
|
