|
|
798aa2ceb9
|
remove dead code
|
2023-06-02 10:00:13 +02:00 |
|
|
|
52cc00fedc
|
add run_until_saturation
|
2023-05-08 18:23:32 +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 |
|
|
|
2889e9bf61
|
WIP: move interrupt mutation to new stage
|
2023-04-20 15:50:22 +02:00 |
|
|
|
e6816cc2de
|
add interrupt mutator
|
2023-04-17 09:50:18 +02:00 |
|
|
|
6e8769907d
|
add a new scheduler for systemtraces
|
2023-03-16 16:13:16 +01:00 |
|
|
|
9cadc5d61c
|
update input sizes, dump worstcase, benchmarking
|
2023-02-07 14:59:21 +01:00 |
|
|
|
b812e994a6
|
draft: add graph feedback
|
2022-12-19 18:14:52 +01:00 |
|
|
|
79bca99cc7
|
WIP: add systemstate tracking
|
2022-12-15 15:23:07 +01:00 |
|
