|
|
8c6f8c861f
|
update plot script
|
2023-12-22 12:56:54 +01:00 |
|
|
|
47d7ff3c48
|
tweak time outputs
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f2244c96b0
|
add run_until_saturation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
a970954a40
|
update snakefile
|
2023-12-22 12:56:54 +01:00 |
|
|
|
db6df36110
|
fix empty iterator crash, restart
|
2023-12-22 12:56:54 +01:00 |
|
|
|
884a19cf9d
|
set up configurations
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e130155204
|
add missing use
|
2023-12-22 12:56:54 +01:00 |
|
|
|
a6052ddad7
|
randomize interrupts until wort
|
2023-12-22 12:56:54 +01:00 |
|
|
|
dd6be70a01
|
Test: remove pc from hash
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0e5dc21cd6
|
Test: hash notification states
|
2023-12-22 12:56:54 +01:00 |
|
|
|
ee15313d96
|
allow plotting from remote mount
|
2023-12-22 12:56:54 +01:00 |
|
|
|
4e08db297a
|
update snakefile
|
2023-12-22 12:56:54 +01:00 |
|
|
|
8395ca1000
|
small fixes
|
2023-12-22 12:56:54 +01:00 |
|
|
|
e2aee4af17
|
WIP: add simple interrupt time randomizer
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fef550ecb6
|
update target_symbols
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fc0f1807a9
|
skip unchanged interrupts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
2032f1420d
|
fix staeg setup
|
2023-12-22 12:56:54 +01:00 |
|
|
|
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 |
|
