|
|
49de014a31
|
avoid copy of function names
|
2025-07-30 12:14:22 +00:00 |
|
|
|
9bbc5e7c78
|
Merge branch 'fret_141' into fret_153
|
2025-07-28 12:03:09 +00:00 |
|
|
|
aac9cff7bf
|
remove states from nodes
|
2025-07-23 06:38:16 +00:00 |
|
|
|
f262c32f47
|
update bounds
|
2025-07-22 12:58:27 +00:00 |
|
|
|
2dfb5f853d
|
reduce state space by ignoring lower priorities
|
2025-07-04 07:37:15 +00:00 |
|
|
|
fabf746c4c
|
update scripts
|
2025-05-28 11:48:39 +00:00 |
|
|
|
27811aaaca
|
minor refactoring
|
2025-05-28 11:46:22 +00:00 |
|
|
|
3ff617e4a9
|
update scripts
|
2025-05-21 08:32:24 +00:00 |
|
|
|
794b617205
|
rm README; /dev/null drive
|
2025-05-21 08:25:13 +00:00 |
|
|
|
08019ae94f
|
fix partial eq for refined tcb; remains unused
|
2025-05-21 08:22:29 +00:00 |
|
|
|
fc68b55749
|
targets
|
2025-05-19 12:51:57 +00:00 |
|
|
|
d94da1b875
|
demo build script++
|
2025-05-15 14:03:28 +00:00 |
|
|
|
f7804f9b0c
|
update targets
|
2025-05-14 09:10:04 +00:00 |
|
|
|
12396f7104
|
plot script fixes
|
2025-05-13 12:09:58 +00:00 |
|
|
|
a0ab58a6c9
|
bump STG_MAP_SIZE
|
2025-05-12 15:45:39 +00:00 |
|
|
|
c420e5c381
|
configTASK_NOTIFICATION_ARRAY_ENTRIES=10 + new target
|
2025-05-12 15:15:17 +00:00 |
|
|
|
139a637898
|
WIP: start parsing queues
|
2025-05-12 10:21:24 +00:00 |
|
|
|
749b909e32
|
update freertos bindings
|
2025-04-25 10:44:11 +00:00 |
|
|
|
c404037d49
|
plot styling
|
2025-04-25 10:41:35 +00:00 |
|
|
|
60be7f97ac
|
calculate wcrt bounds
|
2025-02-28 11:23:36 +01:00 |
|
|
|
108d5dfe77
|
benchmark split
|
2025-02-27 18:47:33 +01:00 |
|
|
|
c3d45680e8
|
config+bounds update
|
2025-02-27 17:10:18 +01:00 |
|
|
|
6a4d1af606
|
swap set48, 64
|
2025-02-26 14:27:54 +01:00 |
|
|
|
d2aaf0bf6e
|
config++
|
2025-02-26 12:22:52 +01:00 |
|
|
|
98ed400e1a
|
config updates
|
2025-02-26 12:17:59 +01:00 |
|
|
|
fd336e8ab0
|
fix wrong minia
|
2025-02-26 10:52:59 +01:00 |
|
|
|
56c046ecf6
|
better handling for indices
|
2025-02-25 13:53:53 +01:00 |
|
|
|
cb20424cec
|
keep worst observed case, precise isns -> time calculation
|
2025-02-24 18:35:53 +01:00 |
|
|
|
63f6f02ba9
|
snakefile clean
|
2025-02-21 19:30:18 +01:00 |
|
|
|
1df4bba604
|
config updates
|
2025-02-21 18:36:32 +01:00 |
|
|
|
800f2c8788
|
feedback for job woet
|
2025-02-21 18:29:44 +01:00 |
|
|
|
ca8d9fdf0a
|
abb woet increases are interesting
|
2025-02-21 14:24:34 +01:00 |
|
|
|
66e299cfce
|
intermediat snapshots _at_xh
|
2025-02-21 10:13:47 +01:00 |
|
|
|
6d1d7482ee
|
ensure fuzz-length u32
|
2025-02-21 10:13:07 +01:00 |
|
|
|
dae46ea26b
|
enable fallback interrupt randomization
|
2025-02-19 12:32:01 +01:00 |
|
|
|
bbf99eca8b
|
profile woets
|
2025-02-18 16:27:53 +01:00 |
|
|
|
64d1151e96
|
dump intermediate cases
|
2025-02-18 16:25:57 +01:00 |
|
|
|
107ccf03a8
|
config updates
|
2025-02-17 18:35:02 +01:00 |
|
|
|
7d1e4fd171
|
plotting + minia fix
|
2025-02-13 16:38:29 +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 |
|
|
|
f7e61665be
|
refactoring
|
2025-01-27 13:56:43 +01:00 |
|
|
|
cc2a2e6422
|
fix edge fuzzing
|
2025-01-06 15:52:48 +01:00 |
|
|
|
79d3f89254
|
centralise target symbols
|
2024-12-18 16:28:51 +01:00 |
|
|
|
a13dca6f39
|
abstract SystemTraceData
|
2024-12-16 16:00:18 +01:00 |
|
|
|
8d7e32559f
|
type fixing
|
2024-12-06 16:10:25 +01:00 |
|
|
|
b12811e1ef
|
WIP: type fixing
|
2024-12-04 15:04:38 +01:00 |
|
|
|
64bff97993
|
add debug stages
|
2024-12-03 09:29:29 +01:00 |
|
