|
|
479638f5b7
|
prevent MAX_STG_NUM out of bounds
|
2025-09-03 14:39:18 +00:00 |
|
|
|
1c3bc85d48
|
store hashes globally
|
2025-09-03 14:39:12 +00:00 |
|
|
|
48e08ce3e7
|
store tcb hashes
|
2025-09-03 13:55:33 +00:00 |
|
|
|
37d0e28f53
|
systemstate::target_os comments and refactoring
|
2025-09-03 13:55:31 +00:00 |
|
|
|
0326be4074
|
documentation
|
2025-09-03 13:52:03 +00:00 |
|
|
|
2455d9627f
|
draft ARCH.md
|
2025-09-03 13:52:03 +00:00 |
|
|
|
b02d9cfdfc
|
remove some outdated scripts
|
2025-09-03 13:52:03 +00:00 |
|
|
|
7179d2a894
|
update scripts
|
2025-09-03 13:52:03 +00:00 |
|
|
|
b84bbd07e9
|
update snakefile
|
2025-09-03 13:52:01 +00:00 |
|
|
|
508f4cf276
|
reorganize tools and scripts
|
2025-09-03 13:51:45 +00:00 |
|
|
|
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 |
|
