|
|
6d5e886f39
|
documentation
|
2025-08-18 12:27:43 +00:00 |
|
|
|
f429080cb2
|
draft ARCH.md
|
2025-08-18 12:23:43 +00:00 |
|
|
|
60da5812c8
|
remove some outdated scripts
|
2025-08-15 09:13:37 +00:00 |
|
|
|
c07f3b6f6a
|
update scripts
|
2025-08-15 08:23:23 +00:00 |
|
|
|
36bd06cb99
|
update snakefile
|
2025-08-12 11:41:08 +00:00 |
|
|
|
6299fd8c29
|
reorganize tools and scripts
|
2025-08-11 13:59:35 +00:00 |
|
|
|
cf8f57f3d0
|
benchmark targets
|
2025-08-11 12:10:16 +02:00 |
|
|
|
803f21b208
|
avoid copy of function names
|
2025-07-30 14:15:29 +02: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 |
|
