|
|
267309b954
|
add hists to plot script
|
2023-01-26 09:47:12 +01:00 |
|
|
|
8fcc54bbdd
|
write out times over time
|
2023-01-25 14:55:04 +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 |
|
|
|
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 |
|
