diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-01-22 15:24:58 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-22 15:24:58 +0000 |
| commit | 8f6bc3b0b036c9ede3bb9bb69763316449b05be4 (patch) | |
| tree | e13fb2b3532969599490ee85b7deab58822fbf09 /_CoqProject | |
| parent | 6034a8b96babe2fb4a3a4ed3802326120ffb7ba0 (diff) | |
| download | vericert-8f6bc3b0b036c9ede3bb9bb69763316449b05be4.tar.gz vericert-8f6bc3b0b036c9ede3bb9bb69763316449b05be4.zip | |
Define RTLPar semantics
These semantics are similar to the RTLBlock semantics, except that more
states are needed to reason about the parallel execution in multiple
cycles.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions