|
|
42ab549ba0
|
plotting: respect types
|
2023-06-02 10:11:07 +02:00 |
|
|
|
189a18d247
|
change feedback order
|
2023-06-02 10:11:07 +02:00 |
|
|
|
82afd3cd9a
|
fix build
|
2023-06-02 10:11:07 +02:00 |
|
|
|
84440b37d1
|
fix feedbacks
|
2023-06-02 10:11:07 +02:00 |
|
|
|
ea6d17fb5c
|
benchmark using snakemake
|
2023-06-02 10:11:07 +02:00 |
|
|
|
fcb663b844
|
trace_abbs and dump path
|
2023-06-02 10:11:07 +02:00 |
|
|
|
70bb1322c8
|
add graph feedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
7641857faa
|
update input sizes, dump worstcase, benchmarking
|
2023-06-02 10:11:07 +02:00 |
|
|
|
3ec0f91195
|
remove address translations, extend plots
|
2023-06-02 10:11:07 +02:00 |
|
|
|
e2d89f3fc3
|
add hists to plot script
|
2023-06-02 10:11:07 +02:00 |
|
|
|
6f65e1fadc
|
speed up random generation
|
2023-06-02 10:11:07 +02:00 |
|
|
|
ebb45e564c
|
write out times over time
|
2023-06-02 10:11:07 +02:00 |
|
|
|
716388f54b
|
add sytemstate sceduler, fuzz until time
|
2023-06-02 10:11:07 +02:00 |
|
|
|
32c245e619
|
re-add system state fuzzing
|
2023-06-02 10:11:07 +02:00 |
|
|
|
61aa829d60
|
add virtual edge to longest runs
|
2023-06-02 10:11:07 +02:00 |
|
|
|
4c7f312413
|
do not force generated inputs
|
2023-06-02 10:11:07 +02:00 |
|
|
|
68df4ab131
|
debug stuff
|
2023-06-02 10:11:07 +02:00 |
|
|
|
7c148781e6
|
random seeds, better plots
|
2023-06-02 10:11:07 +02:00 |
|
|
|
2d12d80184
|
add more benchmarks
|
2023-06-02 10:11:07 +02:00 |
|
|
|
95a639a78e
|
exectime increase feedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
fd85ae8ae8
|
rename bin, allow random fuzzing
|
2023-06-02 10:11:07 +02:00 |
|
|
|
f8fae814ec
|
benchmark with duration
|
2023-06-02 10:11:07 +02:00 |
|
|
|
775364340a
|
add benchmark scripts
|
2023-06-02 10:11:07 +02:00 |
|
|
|
6ea42839e7
|
add systemstate feature and dump times
|
2023-06-02 10:11:07 +02:00 |
|
|
|
42b39baef4
|
fix multicore build
|
2023-06-02 10:11:07 +02:00 |
|
|
|
961fc628bf
|
ignore artifacts
|
2023-06-02 10:11:07 +02:00 |
|
|
|
2b70a3b335
|
minimal changes
|
2023-06-02 10:11:07 +02:00 |
|
|
|
0d1d215e2d
|
add interrupt injection
|
2023-06-02 10:11:07 +02:00 |
|
|
|
f6f367ae6d
|
input length and read input pointer
|
2023-06-02 10:11:07 +02:00 |
|
|
|
72d074cebf
|
draft: add graph feedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
12af0b592b
|
add TimeMaximizerCorpusScheduler
|
2023-06-02 10:11:07 +02:00 |
|
|
|
a2b9ed6cbc
|
add last api callsite to system state
|
2023-06-02 10:11:07 +02:00 |
|
|
|
36049011cf
|
WIP: add systemstate tracking
|
2023-06-02 10:11:07 +02:00 |
|
|
|
57c5a49fc7
|
add arguments
|
2023-06-02 10:11:07 +02:00 |
|
|
|
6fa04cfee7
|
get time from ClockTimeFeedback
|
2023-06-02 10:11:07 +02:00 |
|
|
|
0ff6d32550
|
fixup
|
2023-06-02 10:11:07 +02:00 |
|
|
|
cc6580eaab
|
WIP: port fret
|
2023-06-02 10:11:07 +02:00 |
|
