diff options
| author | Albert Magyar | 2020-07-13 15:26:51 -0700 |
|---|---|---|
| committer | GitHub | 2020-07-13 22:26:51 +0000 |
| commit | 0a6fe35205e9f478beef62ac167a084ce90aca63 (patch) | |
| tree | 6d2735f957eb612d4c32a05761f1c03e250532d6 /Makefile | |
| parent | c14330d6ea28919b93664ae78c53156a10c8c7c3 (diff) | |
[spec] Specify execution order of side-effect-having statements (#1724)
* Define 'same clock' in a syntactic sense
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions