|
|
a258b866b0
|
new cli
|
2023-12-08 16:07:56 +01:00 |
|
|
|
4f96b266c7
|
add simple iteration counter
|
2023-09-18 13:43:31 +02:00 |
|
|
|
4280ac7aeb
|
update to 0.11.1
|
2023-09-05 15:33:42 +02:00 |
|
|
|
7b13c70327
|
add run_until_saturation
|
2023-09-05 12:47:14 +02:00 |
|
|
|
6fbe3b921a
|
set up configurations
|
2023-09-05 12:47:14 +02:00 |
|
|
|
55e985aa39
|
add generation based genetic testing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
5c8994ce5b
|
determinism fixes, scheduler precision, restarts
|
2023-09-05 12:47:13 +02:00 |
|
|
|
a7cc68c0e6
|
configure restarting manager
|
2023-09-05 12:47:13 +02:00 |
|
|
|
d0d19a1807
|
add interrupt fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
6fbce0a8ee
|
fix feedbacks
|
2023-09-05 12:47:13 +02:00 |
|
|
|
95be29d9b2
|
trace_abbs and dump path
|
2023-09-05 12:47:13 +02:00 |
|
|
|
c70b950a55
|
add graph feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
94730a1c86
|
speed up random generation
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f9449511e8
|
re-add system state fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
4ebb38a93c
|
exectime increase feedback
|
2023-09-05 12:47:13 +02:00 |
|
|
|
f8494dd408
|
rename bin, allow random fuzzing
|
2023-09-05 12:47:13 +02:00 |
|
|
|
5cf64e4458
|
add systemstate feature and dump times
|
2023-09-05 12:47:13 +02:00 |
|
|
|
b06dc711dc
|
WIP: add systemstate tracking
|
2023-09-05 12:47:13 +02:00 |
|
|
|
85cbaddfcd
|
add arguments
|
2023-09-05 12:47:13 +02:00 |
|
|
|
3b9deadc77
|
WIP: port fret
|
2023-09-05 12:47:13 +02:00 |
|
