|
|
ded4c0f6c3
|
add missing use
|
2023-06-02 10:11:08 +02:00 |
|
|
|
35102c031f
|
randomize interrupts until wort
|
2023-06-02 10:11:08 +02:00 |
|
|
|
c389a84c1b
|
Test: remove pc from hash
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ce1a323063
|
Test: hash notification states
|
2023-06-02 10:11:08 +02:00 |
|
|
|
623e398749
|
allow plotting from remote mount
|
2023-06-02 10:11:08 +02:00 |
|
|
|
361800a0c9
|
update snakefile
|
2023-06-02 10:11:08 +02:00 |
|
|
|
8f80c326e2
|
small fixes
|
2023-06-02 10:11:08 +02:00 |
|
|
|
10f27eaf4d
|
WIP: add simple interrupt time randomizer
|
2023-06-02 10:11:08 +02:00 |
|
|
|
52912c8c41
|
update target_symbols
|
2023-06-02 10:11:08 +02:00 |
|
|
|
6614969c6d
|
skip unchanged interrupts
|
2023-06-02 10:11:08 +02:00 |
|
|
|
e5515274ff
|
fix staeg setup
|
2023-06-02 10:11:08 +02:00 |
|
|
|
86180b3857
|
fix use
|
2023-06-02 10:11:08 +02:00 |
|
|
|
c3a7905950
|
WIP: move interrupt mutation to new stage
|
2023-06-02 10:11:08 +02:00 |
|
|
|
7a37e385d8
|
wip: interrupt placement
|
2023-06-02 10:11:08 +02:00 |
|
|
|
c80c9cea08
|
add interrupt mutator
|
2023-06-02 10:11:08 +02:00 |
|
|
|
700861712c
|
plot min and max lines
|
2023-06-02 10:11:08 +02:00 |
|
|
|
7ce229312f
|
plot lines instead of points
|
2023-06-02 10:11:08 +02:00 |
|
|
|
b50cc54b60
|
fixes
|
2023-06-02 10:11:08 +02:00 |
|
|
|
eca974c2e6
|
revert changes
|
2023-06-02 10:11:08 +02:00 |
|
|
|
4125f2be22
|
add generation based genetic testing
|
2023-06-02 10:11:08 +02:00 |
|
|
|
def4071c2b
|
snakefile: dump cases, fix random fuzzing
|
2023-06-02 10:11:08 +02:00 |
|
|
|
99b46bc3f1
|
add a new scheduler for systemtraces
|
2023-06-02 10:11:08 +02:00 |
|
|
|
fe00fa18c1
|
fix snakefile, symbols
|
2023-06-02 10:11:08 +02:00 |
|
|
|
88242fc113
|
seed rng from SEED_RANDOM
|
2023-06-02 10:11:08 +02:00 |
|
|
|
0bf060b8c2
|
determinism fixes, scheduler precision, restarts
|
2023-06-02 10:11:08 +02:00 |
|
|
|
aaf267c72d
|
switch to native breakpoints
|
2023-06-02 10:11:08 +02:00 |
|
|
|
0fb45ccbdf
|
fix interrupt config
|
2023-06-02 10:11:08 +02:00 |
|
|
|
e62af5d4d0
|
fix rng seed
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ea1e0e26bc
|
configure restarting manager
|
2023-06-02 10:11:08 +02:00 |
|
|
|
9722f5ebe1
|
add micro_longint
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ce87a9fe23
|
fuzz multiple interrupts
|
2023-06-02 10:11:08 +02:00 |
|
|
|
ec0606afae
|
rework plotting
|
2023-06-02 10:11:08 +02:00 |
|
|
|
6b2eb6fad2
|
add interrupt fuzzing
|
2023-06-02 10:11:08 +02:00 |
|
|
|
133a53da94
|
dump time for showmap
|
2023-06-02 10:11:08 +02:00 |
|
|
|
b919bbecac
|
add plotting to snakefile
|
2023-06-02 10:11:08 +02:00 |
|
|
|
b6e692b9f6
|
add feed_longest to record random cases
|
2023-06-02 10:11:07 +02:00 |
|
|
|
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 |
|
