|
|
a613156a32
|
micro fixes
|
2024-10-29 15:59:15 +01:00 |
|
|
|
013f3db487
|
implement STGSnippetStage, fix missing metadata
|
2024-10-29 14:07:52 +01:00 |
|
|
|
735fc3e144
|
collect first n error inputs as objectives, fix configs
|
2024-10-18 13:08:13 +02:00 |
|
|
|
5ffac514ca
|
rework release detection with nested interrupts
|
2024-09-27 15:24:06 +02:00 |
|
|
|
0d89787728
|
use smaller seeds for testing
|
2024-09-16 14:52:42 +02:00 |
|
|
|
26452d9a0d
|
config generation
|
2024-09-12 13:43:53 +02:00 |
|
|
|
e9fb73e65b
|
WIP: per-task response times
|
2024-08-19 16:08:45 +02:00 |
|
|
|
72f9de45d0
|
fix cargo.toml
|
2024-08-14 09:41:02 +02:00 |
|
|
|
77799f77a9
|
move cli parsing, use multibyteinput
|
2024-06-28 14:38:25 +02:00 |
|
|
|
3a7c0da037
|
fast snapshots by default
|
2024-06-19 14:22:12 +02:00 |
|
|
|
915da3fb42
|
fix config
|
2024-05-22 22:27:04 +02:00 |
|
|
|
bde16f8297
|
scheduler, mutator changes
|
2024-05-22 21:54:07 +02:00 |
|
|
|
c533b7e184
|
change interrupt injection timing, stg scheduler
|
2024-05-22 13:52:13 +02:00 |
|
|
|
71ff7487e6
|
add feature dependencies
|
2024-05-21 18:48:46 +02:00 |
|
|
|
54fa7cce62
|
add edge filter
|
2024-05-21 18:47:12 +02:00 |
|
|
|
2886aafb65
|
remove dead code, restructure features
|
2024-05-21 16:06:53 +02:00 |
|
|
|
b9d6f41ac6
|
WIP: deprecate graph and use STG
|
2024-05-20 10:54:43 +02:00 |
|
|
|
88c5c8a19f
|
feedback for aggregated traces
|
2024-05-06 16:00:11 +02:00 |
|
|
|
90cae14958
|
new cli
|
2023-12-22 12:57:51 +01:00 |
|
|
|
82908badfd
|
add simple iteration counter
|
2023-12-22 12:56:54 +01:00 |
|
|
|
6dafc4f9d6
|
update to 0.11.1
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f2244c96b0
|
add run_until_saturation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
884a19cf9d
|
set up configurations
|
2023-12-22 12:56:54 +01:00 |
|
|
|
8be9d9146a
|
add generation based genetic testing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f075988643
|
determinism fixes, scheduler precision, restarts
|
2023-12-22 12:56:54 +01:00 |
|
|
|
9ea825bbf9
|
configure restarting manager
|
2023-12-22 12:56:54 +01:00 |
|
|
|
0abb6a0d41
|
add interrupt fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
cfb8ebd0ad
|
fix feedbacks
|
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 |
|
|
|
dcd899b789
|
speed up random generation
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f26eed2178
|
re-add system state fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
1976150a45
|
exectime increase feedback
|
2023-12-22 12:56:54 +01:00 |
|
|
|
f1552f95a0
|
rename bin, allow random fuzzing
|
2023-12-22 12:56:54 +01:00 |
|
|
|
fab1b1ef9f
|
add systemstate feature and dump times
|
2023-12-22 12:56:54 +01:00 |
|
|
|
b3416fe0c5
|
WIP: add systemstate tracking
|
2023-12-22 12:54:16 +01:00 |
|
|
|
66c4cb5316
|
add arguments
|
2023-12-22 12:54:16 +01:00 |
|
|
|
03fbe41dbb
|
WIP: port fret
|
2023-12-22 12:54:16 +01:00 |
|
