From cf5be6998b26723ae29ab1edab84d32b0702182d Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Wed, 13 Aug 2025 13:25:24 -0700 Subject: TypeAnalysis continued --- docs/lattice_i2.svg | 155 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 155 insertions(+) create mode 100644 docs/lattice_i2.svg (limited to 'docs/lattice_i2.svg') diff --git a/docs/lattice_i2.svg b/docs/lattice_i2.svg new file mode 100644 index 00000000..ab10c485 --- /dev/null +++ b/docs/lattice_i2.svg @@ -0,0 +1,155 @@ + + + + + + +Lattice + + + +TOP + +⊤ + + + +INT_TOP + +⊤ +:int + + + +TOP->INT_TOP + + + + + +BOT + +⊥ + + + +INT_HI + +max < min + + + +INT_TOP->INT_HI + + + + + +INT_BOT + +⊥ +:int + + + +INT_BOT->BOT + + + + + +INT_XBOOL + +1...0 + + + +INT_HI->INT_XBOOL + + + + + +INT_CON + +constants... + + + +INT_HI->INT_CON + + + + + +INT_CON0 + +0 + + + +INT_XBOOL->INT_CON0 + + + + + +INT_CON1 + +1 + + + +INT_XBOOL->INT_CON1 + + + + + +INT_LO + +max > min + + + +INT_CON->INT_LO + + + + + + +INT_BOOL + +0...1 + + + +INT_CON0->INT_BOOL + + + + + + +INT_CON1->INT_BOOL + + + + + +INT_BOOL->INT_LO + + + + + +INT_LO->INT_BOT + + + + + -- cgit v1.2.3