|
|
52cc00fedc
|
add run_until_saturation
|
2023-05-08 18:23:32 +02:00 |
|
|
|
6a042da5c1
|
set up configurations
|
2023-04-28 13:11:48 +02:00 |
|
|
|
c628afaa81
|
add generation based genetic testing
|
2023-03-21 16:34:05 +01:00 |
|
|
|
f09034b7fe
|
determinism fixes, scheduler precision, restarts
|
2023-03-13 14:43:58 +01:00 |
|
|
|
7f987b037d
|
configure restarting manager
|
2023-03-09 10:16:08 +01:00 |
|
|
|
e0f73778e2
|
add interrupt fuzzing
|
2023-02-27 10:39:52 +01:00 |
|
|
|
dfe4f713b9
|
fix feedbacks
|
2023-02-19 18:38:31 +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 |
|
|
|
35435fbd97
|
speed up random generation
|
2023-01-25 16:14:17 +01:00 |
|
|
|
ba01f600ee
|
re-add system state fuzzing
|
2023-01-24 09:11:45 +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 |
|
|
|
f4e1990387
|
add systemstate feature and dump times
|
2023-01-05 17:34:53 +01:00 |
|
|
|
79bca99cc7
|
WIP: add systemstate tracking
|
2022-12-15 15:23:07 +01:00 |
|
|
|
b07f7ccbca
|
add arguments
|
2022-12-12 17:41:33 +01:00 |
|
|
|
f7ee38ebb2
|
WIP: port fret
|
2022-12-12 14:58:28 +01:00 |
|
