diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-11 00:57:55 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-11 00:57:55 +0100 |
| commit | 9b05e2cf60d8c8754a3742262a95be8bdd8911e9 (patch) | |
| tree | 3206bb244a324dc873b33f03cb13e28af3a5a731 /src/Compiler.v | |
| parent | 5e10b594320127a8ffa063e7ccba78a4a9f2b1a5 (diff) | |
| download | vericert-9b05e2cf60d8c8754a3742262a95be8bdd8911e9.tar.gz vericert-9b05e2cf60d8c8754a3742262a95be8bdd8911e9.zip | |
Guard join state with called module finish
Needed to match RTL semantics, since the join state executes once before
the call is initiated, and we need the destination register to not be
affected until after the call has returned.
Diffstat (limited to 'src/Compiler.v')
0 files changed, 0 insertions, 0 deletions