|
fc355f5fd1
|
update input sizes, dump worstcase, benchmarking
|
2023-12-22 12:56:54 +01:00 |
|
|
5a2d75a317
|
remove address translations, extend plots
|
2023-12-22 12:56:54 +01:00 |
|
|
cf68ad4a85
|
add hists to plot script
|
2023-12-22 12:56:54 +01:00 |
|
|
27877bde97
|
write out times over time
|
2023-12-22 12:56:54 +01:00 |
|
|
f26eed2178
|
re-add system state fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
85718c1280
|
add virtual edge to longest runs
|
2023-12-22 12:56:54 +01:00 |
|
|
ea7edb2001
|
debug stuff
|
2023-12-22 12:56:54 +01:00 |
|
|
180edbb7d5
|
random seeds, better plots
|
2023-12-22 12:56:54 +01:00 |
|
|
e70a816f49
|
add more benchmarks
|
2023-12-22 12:56:54 +01:00 |
|
|
1976150a45
|
exectime increase feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
f1552f95a0
|
rename bin, allow random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
25e81498f5
|
add benchmark scripts
|
2023-12-22 12:56:54 +01:00 |
|