|
|
9cadc5d61c
|
update input sizes, dump worstcase, benchmarking
|
2023-02-07 14:59:21 +01:00 |
|
|
|
ba01f600ee
|
re-add system state fuzzing
|
2023-01-24 09:11:45 +01:00 |
|
|
|
6e1d5695e3
|
debug stuff
|
2023-01-17 10:18:24 +01:00 |
|
|
|
8d31196614
|
random seeds, better plots
|
2023-01-17 10:01:15 +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 |
|
