34 Commits

Author SHA1 Message Date
a7becb403e update helper scripts 2024-06-17 10:31:48 +02:00
7701fff969 config fix 2024-05-23 10:25:23 +02:00
83e9a29d12 skip dumping every trace 2024-05-23 10:15:25 +02:00
915da3fb42 fix config 2024-05-22 22:27:04 +02:00
5901e3d9c5 prioritize long tarces 2024-05-22 22:18:56 +02:00
c533b7e184 change interrupt injection timing, stg scheduler 2024-05-22 13:52:13 +02:00
b9b6e1fc12 fix snakefile 2024-05-21 18:33:15 +02:00
5edb6e5677 fix snakefile 2024-05-21 01:51:54 +02:00
88c5c8a19f feedback for aggregated traces 2024-05-06 16:00:11 +02:00
fc331fc6d8 consolidate outputs 2023-12-22 12:57:51 +01:00
90cae14958 new cli 2023-12-22 12:57:51 +01:00
900ce0bc92 remove dead code 2023-12-22 12:56:54 +01:00
2d70cff21e eval script wrangeling 2023-12-22 12:56:54 +01:00
5ddb7192ba HACK: interrupt limit for random fuzzing 2023-12-22 12:56:54 +01:00
a970954a40 update snakefile 2023-12-22 12:56:54 +01:00
db6df36110 fix empty iterator crash, restart 2023-12-22 12:56:54 +01:00
884a19cf9d set up configurations 2023-12-22 12:56:54 +01:00
ee15313d96 allow plotting from remote mount 2023-12-22 12:56:54 +01:00
4e08db297a update snakefile 2023-12-22 12:56:54 +01:00
356d05bf26 fixes 2023-12-22 12:56:54 +01:00
147f8c3f69 revert changes 2023-12-22 12:56:54 +01:00
8be9d9146a add generation based genetic testing 2023-12-22 12:56:54 +01:00
d005a8e044 snakefile: dump cases, fix random fuzzing 2023-12-22 12:56:54 +01:00
5db99e4e68 fix snakefile, symbols 2023-12-22 12:56:54 +01:00
99daee7b14 seed rng from SEED_RANDOM 2023-12-22 12:56:54 +01:00
7f6ef95496 add micro_longint 2023-12-22 12:56:54 +01:00
98328ae50f fuzz multiple interrupts 2023-12-22 12:56:54 +01:00
0abb6a0d41 add interrupt fuzzing 2023-12-22 12:56:54 +01:00
bd3362309f dump time for showmap 2023-12-22 12:56:54 +01:00
e3b05df3c0 add plotting to snakefile 2023-12-22 12:56:54 +01:00
8387b61622 add feed_longest to record random cases 2023-12-22 12:56:54 +01:00
deee67fd3b change feedback order 2023-12-22 12:56:54 +01:00
cfb8ebd0ad fix feedbacks 2023-12-22 12:56:54 +01:00
ba5c3c8037 benchmark using snakemake 2023-12-22 12:56:54 +01:00