From 8a39d25d2c87bd2753e5c7c7e5560b02969a3803 Mon Sep 17 00:00:00 2001 From: Bill Traynor Date: Wed, 18 Jan 2023 14:18:45 -0500 Subject: Nesting tables for formatting. Nested tables to format layout of litmus test. --- src/mm-eplan.adoc | 24 +++++++++++++++--------- 1 file changed, 15 insertions(+), 9 deletions(-) (limited to 'src') diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc index ad4ca98..d37840a 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -1059,16 +1059,22 @@ of rule <>. [[litmus:addrdatarfi_no]] .Because of the address dependency from (d) to (e), (d) also precedes (f) (outcome forbidden) -graphviz::images/graphviz/litmus_addrpo.txt[align="center",width=160] - -[%autowidth,cols="^,<,^,<"float="center",align="center",options="header"] +[float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] |=== -2+|Hart 0 2+|Hart 1 -2+| 2+|li t1, 1 -|(a) |lw a0,0(s0) |(d) |lw a1, 0(s1) -|(b) |fence rw,rw |(e) |lw a2, 0(a1) -|(c) |sw s2,0(s1) |(f) |sw t1, 0(s0) -4+|Outcome: `a0=1`, `a1=t` +| +[%autowidth,cols="^,<,^,<"float="center",align="center",options="header"] +!=== +2+!Hart 0 2+!Hart 1 +2+! 2+!li t1, 1 +!(a) !lw a0,0(s0) !(d) !lw a1, 0(s1) +!(b) !fence rw,rw !(e) !lw a2, 0(a1) +!(c) !sw s2,0(s1) !(f) !sw t1, 0(s0) +4+!Outcome: `a0=1`, `a1=t` +!=== +| +!=== +a! graphviz::images/graphviz/litmus_addrpo.txt[] +!=== |=== Consider <> (f) cannot be -- cgit v1.1