forked from M-Labs/nac3
1
0
Fork 0
nac3/nac3core
pca006132 083eacc268 with parallel/sequential support
Behavior of parallel and sequential:
Each function call (indirectly, can be inside a sequential block) within a parallel
block will update the end variable to the maximum now_mu in the block.
Each function call directly inside a parallel block will reset the timeline after
execution. A parallel block within a sequential block (or not within any block) will
set the timeline to the max now_mu within the block (and the outer max now_mu will also
be updated).

Implementation: We track the start and end separately.
- If there is a start variable, it indicates that we are directly inside a
parallel block and we have to reset the timeline after every function call.
- If there is a end variable, it indicates that we are (indirectly) inside a
parallel block, and we should update the max end value.

Note: requires testing, it is difficult to inspect the output IR
2021-10-31 23:54:37 +08:00
..
src with parallel/sequential support 2021-10-31 23:54:37 +08:00
Cargo.toml fix tests and switch to insta 2021-10-03 16:39:12 +08:00
rustfmt.toml refactored typedef 2021-07-23 15:57:37 +08:00