From ba9755ca1614f8b59c2c8e8bbb1b544496581782 Mon Sep 17 00:00:00 2001 From: Dibyendu Majumdar Date: Tue, 26 Sep 2023 17:43:36 +0100 Subject: Chapter 2: Arithmetic MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Cliff Click Co-authored-by: Thalia Archibald Co-authored-by: Yichen Yan Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com> Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com> --- docs/chapter02/02-lattice.svg | 143 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 143 insertions(+) create mode 100644 docs/chapter02/02-lattice.svg (limited to 'docs/chapter02/02-lattice.svg') diff --git a/docs/chapter02/02-lattice.svg b/docs/chapter02/02-lattice.svg new file mode 100644 index 00000000..218acc6a --- /dev/null +++ b/docs/chapter02/02-lattice.svg @@ -0,0 +1,143 @@ + + + + + + + Lattice + + + + Top + + ⊤ + + + + A + + MIN_INT + + + + Top->A + + + + + B + ... + + + + Top->B + + + + + C + + -1 + + + + Top->C + + + + + D + + 0 + + + + Top->D + + + + + E + + 1 + + + + Top->E + + + + + F + ... + + + + Top->F + + + + + G + + MAX_INT + + + + Top->G + + + + + Bottom + + ⊥ + + + + A->Bottom + + + + + B->Bottom + + + + + C->Bottom + + + + + D->Bottom + + + + + E->Bottom + + + + + F->Bottom + + + + + G->Bottom + + + + -- cgit v1.2.3