|
|
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 |
|
|
|
d118ff0056
|
fix build
|
2023-02-19 19:25:43 +01:00 |
|
|
|
dfe4f713b9
|
fix feedbacks
|
2023-02-19 18:38:31 +01:00 |
|
|
|
f7a05d2a7c
|
benchmark using snakemake
|
2023-02-16 22:56:43 +01:00 |
|
|
|
2593bdf42f
|
trace_abbs and dump path
|
2023-02-15 09:17:48 +01:00 |
|
|
|
8c8ab7c44e
|
add graph feedback
|
2023-02-10 13:46:07 +01:00 |
|
|
|
9cadc5d61c
|
update input sizes, dump worstcase, benchmarking
|
2023-02-07 14:59:21 +01:00 |
|
|
|
594554eca0
|
remove address translations, extend plots
|
2023-01-26 14:03:18 +01:00 |
|
|
|
267309b954
|
add hists to plot script
exp02
|
2023-01-26 09:47:12 +01:00 |
|
|
|
35435fbd97
|
speed up random generation
|
2023-01-25 16:14:17 +01:00 |
|
|
|
8fcc54bbdd
|
write out times over time
|
2023-01-25 14:55:04 +01:00 |
|
|
|
1f538f9834
|
add sytemstate sceduler, fuzz until time
|
2023-01-25 12:59:17 +01:00 |
|
|
|
ba01f600ee
|
re-add system state fuzzing
|
2023-01-24 09:11:45 +01:00 |
|
|
|
2cb479581d
|
add virtual edge to longest runs
|
2023-01-19 10:33:13 +01:00 |
|
|
|
1fbf948478
|
do not force generated inputs
|
2023-01-17 10:26:27 +01:00 |
|
|
|
6e1d5695e3
|
debug stuff
|
2023-01-17 10:18:24 +01:00 |
|
|
|
8d31196614
|
random seeds, better plots
|
2023-01-17 10:01:15 +01:00 |
|
|
|
4c90144db5
|
add more benchmarks
|
2023-01-13 16:05:43 +01:00 |
|
|
|
eeaf7eb43f
|
exectime increase feedback
|
2023-01-11 16:09:06 +01:00 |
|
|
|
68c4887dad
|
rename bin, allow random fuzzing
|
2023-01-09 13:53:32 +01:00 |
|
|
|
7ca2d43f3d
|
benchmark with duration
|
2023-01-09 12:39:51 +01:00 |
|
|
|
9f97852e4a
|
add benchmark scripts
|
2023-01-09 12:39:35 +01:00 |
|
