|
|
798aa2ceb9
|
remove dead code
|
2023-06-02 10:00:13 +02:00 |
|
|
|
183ff32beb
|
igonre archives
|
2023-06-02 08:32:23 +02:00 |
|
|
|
89979b64d9
|
eval script wrangeling
|
2023-05-27 13:19:19 +02:00 |
|
|
|
35da9fdf24
|
HACK: interrupt limit for random fuzzing
|
2023-05-25 08:40:43 +02:00 |
|
|
|
1bca346b39
|
plot enpoints
|
2023-05-25 08:39:47 +02:00 |
|
|
|
8b90886299
|
paralellize plots
|
2023-05-23 12:06:14 +02:00 |
|
|
|
1bd7d853ac
|
update plot script
|
2023-05-11 12:56:12 +02:00 |
|
|
|
253048e534
|
tweak time outputs
|
2023-05-10 09:25:22 +02:00 |
|
|
|
52cc00fedc
|
add run_until_saturation
|
2023-05-08 18:23:32 +02:00 |
|
|
|
eec998c426
|
update snakefile
|
2023-05-04 11:47:56 +02:00 |
|
|
|
a328ddfd5f
|
fix empty iterator crash, restart
|
2023-05-02 09:41:53 +02:00 |
|
|
|
6a042da5c1
|
set up configurations
|
2023-04-28 13:11:48 +02:00 |
|
|
|
2e20a22dc6
|
add missing use
|
2023-04-27 13:36:01 +02:00 |
|
|
|
bbc83ef6be
|
randomize interrupts until wort
|
2023-04-24 15:33:03 +02:00 |
|
|
|
48466ac2d7
|
Test: remove pc from hash
|
2023-04-24 12:52:29 +02:00 |
|
|
|
ad8cecdba4
|
Test: hash notification states
|
2023-04-24 12:51:09 +02:00 |
|
|
|
c2afc0186e
|
allow plotting from remote mount
|
2023-04-24 11:16:10 +02:00 |
|
|
|
4df67db479
|
update snakefile
|
2023-04-24 11:12:38 +02:00 |
|
|
|
402eff7b47
|
small fixes
|
2023-04-21 17:22:22 +02:00 |
|
|
|
a8a6c175c8
|
WIP: add simple interrupt time randomizer
|
2023-04-21 17:11:18 +02:00 |
|
|
|
8a79e12f91
|
update target_symbols
|
2023-04-21 14:12:04 +02:00 |
|
|
|
a3e38b6abb
|
skip unchanged interrupts
|
2023-04-20 16:50:23 +02:00 |
|
|
|
eb04325f09
|
fix staeg setup
|
2023-04-20 16:32:19 +02:00 |
|
|
|
cfb8fa2b32
|
fix use
|
2023-04-20 16:04:45 +02:00 |
|
|
|
2889e9bf61
|
WIP: move interrupt mutation to new stage
|
2023-04-20 15:50:22 +02:00 |
|
|
|
960764cf85
|
wip: interrupt placement
|
2023-04-17 17:33:21 +02:00 |
|
|
|
e6816cc2de
|
add interrupt mutator
|
2023-04-17 09:50:18 +02:00 |
|
|
|
f3180a35cc
|
plot min and max lines
|
2023-03-23 13:20:23 +01:00 |
|
|
|
54312b2577
|
plot lines instead of points
|
2023-03-22 16:10:19 +01:00 |
|
|
|
6d920fd962
|
fixes
|
2023-03-21 16:58:44 +01:00 |
|
|
|
281979ecd8
|
revert changes
|
2023-03-21 16:39:21 +01:00 |
|
|
|
c628afaa81
|
add generation based genetic testing
|
2023-03-21 16:34:05 +01:00 |
|
|
|
c548c6bc09
|
snakefile: dump cases, fix random fuzzing
|
2023-03-17 11:15:55 +01:00 |
|
|
|
6e8769907d
|
add a new scheduler for systemtraces
|
2023-03-16 16:13:16 +01:00 |
|
|
|
bf639e42fa
|
fix snakefile, symbols
|
2023-03-14 17:08:05 +01:00 |
|
|
|
a05ff97d0c
|
seed rng from SEED_RANDOM
|
2023-03-13 14:45:21 +01:00 |
|
|
|
f09034b7fe
|
determinism fixes, scheduler precision, restarts
|
2023-03-13 14:43:58 +01:00 |
|
|
|
d118eeacbd
|
switch to native breakpoints
|
2023-03-13 12:19:24 +01:00 |
|
|
|
57fc441118
|
fix interrupt config
|
2023-03-09 17:21:26 +01:00 |
|
|
|
10b5fe8a74
|
fix rng seed
|
2023-03-09 10:53:40 +01:00 |
|
|
|
7f987b037d
|
configure restarting manager
|
2023-03-09 10:16:08 +01:00 |
|
|
|
58be280a62
|
add micro_longint
|
2023-03-03 12:30:36 +01:00 |
|
|
|
3c586f5047
|
fuzz multiple interrupts
|
2023-03-02 15:30:53 +01:00 |
|
|
|
9336b932d0
|
rework plotting
|
2023-02-28 17:01:04 +01:00 |
|
|
|
e0f73778e2
|
add interrupt fuzzing
|
2023-02-27 10:39:52 +01:00 |
|
|
|
e5ac5ba825
|
dump time for showmap
|
2023-02-24 12:25:08 +01:00 |
|
|
|
2acf3ef301
|
add plotting to snakefile
|
2023-02-24 12:07:53 +01:00 |
|
|
|
28bac2a850
|
add feed_longest to record random cases
|
2023-02-23 22:33:13 +01:00 |
|
|
|
41586dd8b1
|
plotting: respect types
|
2023-02-23 22:28:25 +01:00 |
|
|
|
7420aabeeb
|
change feedback order
|
2023-02-20 12:28:39 +01:00 |
|
