|
|
fb95bc9e3c
|
fix use
|
2023-12-22 12:56:54 +01:00 |
|
|
|
063a4c9216
|
WIP: move interrupt mutation to new stage
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e673d02b70
|
wip: interrupt placement
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f88bd8044b
|
add interrupt mutator
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0318891ef6
|
plot min and max lines
|
2023-12-22 12:56:54 +01:00 |
|
|
|
db492f4525
|
plot lines instead of points
|
2023-12-22 12:56:54 +01:00 |
|
|
|
356d05bf26
|
fixes
|
2023-12-22 12:56:54 +01:00 |
|
|
|
147f8c3f69
|
revert changes
|
2023-12-22 12:56:54 +01:00 |
|
|
|
8be9d9146a
|
add generation based genetic testing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
d005a8e044
|
snakefile: dump cases, fix random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
6a8e9c80c1
|
add a new scheduler for systemtraces
|
2023-12-22 12:56:54 +01:00 |
|
|
|
5db99e4e68
|
fix snakefile, symbols
|
2023-12-22 12:56:54 +01:00 |
|
|
|
99daee7b14
|
seed rng from SEED_RANDOM
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f075988643
|
determinism fixes, scheduler precision, restarts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
c49edd729d
|
switch to native breakpoints
|
2023-12-22 12:56:54 +01:00 |
|
|
|
090b006a50
|
fix interrupt config
|
2023-12-22 12:56:54 +01:00 |
|
|
|
d4407b331d
|
fix rng seed
|
2023-12-22 12:56:54 +01:00 |
|
|
|
9ea825bbf9
|
configure restarting manager
|
2023-12-22 12:56:54 +01:00 |
|
|
|
7f6ef95496
|
add micro_longint
|
2023-12-22 12:56:54 +01:00 |
|
|
|
98328ae50f
|
fuzz multiple interrupts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
c024001243
|
rework plotting
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0abb6a0d41
|
add interrupt fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
bd3362309f
|
dump time for showmap
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e3b05df3c0
|
add plotting to snakefile
|
2023-12-22 12:56:54 +01:00 |
|
|
|
8387b61622
|
add feed_longest to record random cases
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0b6d8a93b8
|
plotting: respect types
|
2023-12-22 12:56:54 +01:00 |
|
|
|
deee67fd3b
|
change feedback order
|
2023-12-22 12:56:54 +01:00 |
|
|
|
a531d27464
|
fix build
|
2023-12-22 12:56:54 +01:00 |
|
|
|
cfb8ebd0ad
|
fix feedbacks
|
2023-12-22 12:56:54 +01:00 |
|
|
|
ba5c3c8037
|
benchmark using snakemake
|
2023-12-22 12:56:54 +01:00 |
|
|
|
96e79144c2
|
trace_abbs and dump path
|
2023-12-22 12:56:54 +01:00 |
|
|
|
7a3aaba0a3
|
add graph feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
|
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 |
|
|
|
dcd899b789
|
speed up random generation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
27877bde97
|
write out times over time
|
2023-12-22 12:56:54 +01:00 |
|
|
|
091ce4b24f
|
add sytemstate sceduler, fuzz until 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 |
|
|
|
76f6114b50
|
do not force generated inputs
|
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 |
|
|
|
00b68edfb3
|
benchmark with duration
|
2023-12-22 12:56:54 +01:00 |
|
|
|
25e81498f5
|
add benchmark scripts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fab1b1ef9f
|
add systemstate feature and dump times
|
2023-12-22 12:56:54 +01:00 |
|
|
|
7fa6fd7f85
|
fix multicore build
|
2023-12-22 12:56:54 +01:00 |
|
