|
|
c255c32828
|
fix build
|
2023-02-22 09:46:30 +01:00 |
|
|
|
7e7bdf2040
|
plotting: respect types
|
2023-02-22 09:05:34 +01:00 |
|
|
|
74892ec9d1
|
add plotting to snakefile
|
2023-02-22 09:05:34 +01:00 |
|
|
|
8b2439d124
|
change feedback order
|
2023-02-22 09:05:34 +01:00 |
|
|
|
c0102e81b4
|
fix build
|
2023-02-22 09:05:34 +01:00 |
|
|
|
7c67ca71ea
|
fix feedbacks
|
2023-02-22 09:05:34 +01:00 |
|
|
|
c75360bbec
|
benchmark using snakemake
|
2023-02-22 09:05:34 +01:00 |
|
|
|
c81d6dc9ed
|
trace_abbs and dump path
|
2023-02-22 09:05:34 +01:00 |
|
|
|
ea546d15df
|
add graph feedback
|
2023-02-22 09:05:34 +01:00 |
|
|
|
e3c624d5f2
|
update input sizes, dump worstcase, benchmarking
|
2023-02-22 09:05:34 +01:00 |
|
|
|
0ebd5ae509
|
remove address translations, extend plots
|
2023-02-22 09:05:34 +01:00 |
|
|
|
8a56073159
|
add hists to plot script
|
2023-02-22 09:05:34 +01:00 |
|
|
|
8896023682
|
speed up random generation
|
2023-02-22 09:05:34 +01:00 |
|
|
|
4c8537e341
|
write out times over time
|
2023-02-22 09:05:34 +01:00 |
|
|
|
dcd46674ae
|
add sytemstate sceduler, fuzz until time
|
2023-02-22 09:05:34 +01:00 |
|
|
|
961b4a1ae1
|
re-add system state fuzzing
|
2023-02-22 09:05:34 +01:00 |
|
|
|
6a9635ef4d
|
add virtual edge to longest runs
|
2023-02-22 09:05:33 +01:00 |
|
|
|
db60c75ff5
|
do not force generated inputs
|
2023-02-22 09:05:33 +01:00 |
|
|
|
80e2649746
|
debug stuff
|
2023-02-22 09:05:33 +01:00 |
|
|
|
3eb3744c5b
|
random seeds, better plots
|
2023-02-22 09:05:33 +01:00 |
|
|
|
faf7873000
|
add more benchmarks
|
2023-02-22 09:05:33 +01:00 |
|
|
|
3d1282ea90
|
exectime increase feedback
|
2023-02-22 09:05:33 +01:00 |
|
|
|
bff7bd10ff
|
rename bin, allow random fuzzing
|
2023-02-22 09:05:33 +01:00 |
|
|
|
07829c7f75
|
benchmark with duration
|
2023-02-22 09:05:33 +01:00 |
|
|
|
6ea9288952
|
add benchmark scripts
|
2023-02-22 09:05:33 +01:00 |
|
|
|
74341f6948
|
add systemstate feature and dump times
|
2023-02-22 09:05:33 +01:00 |
|
|
|
9cc1aef2a7
|
fix multicore build
|
2023-02-22 09:05:33 +01:00 |
|
|
|
19e07b027b
|
ignore artifacts
|
2023-02-22 09:05:33 +01:00 |
|
|
|
54150c0ea3
|
minimal changes
|
2023-02-22 09:05:33 +01:00 |
|
|
|
0c370c5a1d
|
add interrupt injection
|
2023-02-22 09:05:33 +01:00 |
|
|
|
a287ac210a
|
input length and read input pointer
|
2023-02-22 09:05:33 +01:00 |
|
|
|
22ff608717
|
draft: add graph feedback
|
2023-02-22 09:05:33 +01:00 |
|
|
|
0d54ca8659
|
add TimeMaximizerCorpusScheduler
|
2023-02-22 09:05:33 +01:00 |
|
|
|
e8ece169a3
|
add last api callsite to system state
|
2023-02-22 09:05:33 +01:00 |
|
|
|
3b542be126
|
WIP: add systemstate tracking
|
2023-02-22 09:05:33 +01:00 |
|
|
|
17edc02d0d
|
add arguments
|
2023-02-22 09:05:33 +01:00 |
|
|
|
9e482426db
|
get time from ClockTimeFeedback
|
2023-02-22 09:05:33 +01:00 |
|
|
|
f7bdfcfcb5
|
fixup
|
2023-02-22 09:05:33 +01:00 |
|
|
|
854a8066a8
|
WIP: port fret
|
2023-02-22 09:05:33 +01:00 |
|
