From 0a6fe35205e9f478beef62ac167a084ce90aca63 Mon Sep 17 00:00:00 2001 From: Albert Magyar Date: Mon, 13 Jul 2020 15:26:51 -0700 Subject: [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>--- spec/spec.pdf | Bin 328615 -> 330256 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'spec/spec.pdf') diff --git a/spec/spec.pdf b/spec/spec.pdf index 15916d6c..26be49e6 100644 Binary files a/spec/spec.pdf and b/spec/spec.pdf differ -- cgit v1.2.3