|
|
9cadc5d61c
|
update input sizes, dump worstcase, benchmarking
|
2023-02-07 14:59:21 +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 |
|
|
|
f4e1990387
|
add systemstate feature and dump times
|
2023-01-05 17:34:53 +01:00 |
|
|
|
79bca99cc7
|
WIP: add systemstate tracking
|
2022-12-15 15:23:07 +01:00 |
|
|
|
b07f7ccbca
|
add arguments
|
2022-12-12 17:41:33 +01:00 |
|
