24324ae734
Add parallel task and update old emu tests
...
All task-related events now require the body id as argument.
Additionally, in nOS-V, nested tasks require the parents to be paused.
2024-03-13 17:07:32 +01:00
50837d6173
Port Nanos6 model to tasks with bodies
...
For now we still allow Nanos6 to use the relaxed nest model, so a nested
task can begin the execution without the parent being paused.
2024-03-13 17:07:32 +01:00
4a936dcb99
Add test to prevent re-running tasks in Nanos6
...
For now is disabled until we have a better instrumentation for task
states.
2023-04-17 15:58:19 +00:00
b16c30a5e6
Add Absorbing state to the idle view in Nanos6
2023-04-14 13:39:37 +00:00
6cafd347ce
Add support for sponge subsystem state in Nanos6
2023-04-14 13:39:37 +00:00
c30a5d94b5
Add emu breakdown test for zero values
2023-04-06 15:33:15 +00:00
ddbb7dd9f4
Add include-what-you-use
...
Adds forwards declarations in headers and includes all headers in
sources, even if they are found by transitive includes.
2023-03-24 12:08:45 +00:00
c57bef14a3
Add switch-same-type emu test for Nanos6
2023-03-24 12:08:45 +00:00
b265442b8c
Mark select channel as dirty on mux_init()
...
Ensures that the select callback will be called on the propagation
phase, immediately setting the right output. Otherwise the mux won't be
updated until the select channel sets a new value.
2023-03-24 12:08:45 +00:00
cd39230089
Remove boilerplate from the models
2023-03-24 12:08:45 +00:00
a91b1c554a
Finish task types in PCF for nanos6
2023-03-24 12:08:45 +00:00
e674c92f13
Enable emu and rt tests for nanos6 and ovni
2023-03-24 12:08:45 +00:00
834b33af33
Use SPDX license identifiers
2022-09-29 14:16:47 +02:00
24cb5a37c2
Remove fake subsystem test.
...
It is now covered by the runtime tests.
2022-09-20 10:29:36 +02:00
666075e8cd
Disable Nanos6 subsystem test for now
2022-09-12 16:16:10 +02:00
ac1ae8e69d
Use one event per blocking type in Nanos6
2022-09-12 16:16:10 +02:00
6551ba80b1
Compute test name from source file
2022-09-12 16:16:10 +02:00
