42 Commits

Author SHA1 Message Date
990533a9a3 add scripts 2025-08-14 10:24:17 +00:00
c3d45680e8 config+bounds update 2025-02-27 17:10:18 +01:00
d2aaf0bf6e config++ 2025-02-26 12:22:52 +01:00
98ed400e1a config updates 2025-02-26 12:17:59 +01:00
1df4bba604 config updates 2025-02-21 18:36:32 +01:00
107ccf03a8 config updates 2025-02-17 18:35:02 +01:00
4d29735354 hash notify value, config fixes 2025-02-12 17:24:16 +01:00
558b464c1a all new benchmark scripts 2025-02-12 17:03:30 +01:00
809f3b0d6a config changes 2025-02-07 12:43:42 +01:00
149dd4b36a copter 20ms minar 2025-01-29 16:55:29 +01:00
317fbc8e3f add emergency_copter 2024-11-14 14:38:49 +01:00
0c80801e9f define benchmark sets 2024-11-11 15:36:29 +01:00
6902e21c6a update demo-list 2024-11-04 16:27:49 +01:00
735fc3e144 collect first n error inputs as objectives, fix configs 2024-10-18 13:08:13 +02:00
3a126cb0a8 target_symbols.csv++ 2024-10-15 17:02:08 +02:00
6a98489e32 fixes++ 2024-09-10 11:22:46 +02:00
7896342ed9 fix target names 2024-09-10 10:40:52 +02:00
3bb42150d3 unify fuzzing with and without interrupts 2024-09-09 12:51:23 +02:00
740ce09d31 configurable interrupt sources 2024-09-09 10:56:39 +02:00
ee737b9eb8 improve benchmark scripts and excution fixes 2024-09-05 09:55:21 +02:00
c785e0db86 fix jobs with response==release 2024-08-26 15:18:46 +02:00
e9fb73e65b WIP: per-task response times 2024-08-19 16:08:45 +02:00
ade004cffb update targets 2024-08-04 09:40:53 +02:00
c7bf1be8b1 target_symbols.csv++ 2024-06-03 08:31:57 +02:00
21c97c8484 WIP: fix isr_starter 2024-05-21 00:22:50 +02:00
730fbcf6d4 fix capture in api calls 2024-03-27 15:24:44 +01:00
5d9bcba0e6 break on all api functions 2024-02-26 08:40:07 +01:00
fef550ecb6 update target_symbols 2023-12-22 12:56:54 +01:00
5db99e4e68 fix snakefile, symbols 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
ba5c3c8037 benchmark using snakemake 2023-12-22 12:56:54 +01:00
fc355f5fd1 update input sizes, dump worstcase, benchmarking 2023-12-22 12:56:54 +01:00
5a2d75a317 remove address translations, extend plots 2023-12-22 12:56:54 +01:00
f26eed2178 re-add system state fuzzing 2023-12-22 12:56:54 +01:00
85718c1280 add virtual edge to longest runs 2023-12-22 12:56:54 +01:00
ea7edb2001 debug stuff 2023-12-22 12:56:54 +01:00
e70a816f49 add more benchmarks 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
25e81498f5 add benchmark scripts 2023-12-22 12:56:54 +01:00