Implement Zot

helvm · Jun 27, 2023 · d1e439e · d1e439e
1 parent a5d6df0
commit d1e439e
Show file tree

Hide file tree

Showing 236 changed files with 1,150 additions and 3,303 deletions.
diff --git a/.output/actual/zot/eval/output/BinaryLabel/calculus/flipPrint10101010.output b/.output/actual/zot/eval/output/BinaryLabel/calculus/flipPrint10101010.output
diff --git a/.output/actual/zot/eval/output/BinaryLabel/calculus/id10101010.output b/.output/actual/zot/eval/output/BinaryLabel/calculus/id10101010.output
diff --git a/.output/actual/zot/eval/output/BinaryLabel/calculus/print310101010.output b/.output/actual/zot/eval/output/BinaryLabel/calculus/print310101010.output
diff --git a/.output/actual/zot/eval/output/BinaryLabel/calculus/reverse10101010.output b/.output/actual/zot/eval/output/BinaryLabel/calculus/reverse10101010.output
@@ -0,0 +1 @@
+01010101
diff --git a/.output/actual/zot/eval/output/BinaryLabel/original/hello.output b/.output/actual/zot/eval/output/BinaryLabel/original/hello.output
@@ -0,0 +1 @@
+0100100001100101011011000110110001101111001011000010000001110111011011110111001001101100011001000010000100001010
diff --git a/.output/actual/zot/eval/output/BinaryLabel/original/reverse01010101.output b/.output/actual/zot/eval/output/BinaryLabel/original/reverse01010101.output
@@ -0,0 +1 @@
+10101010
diff --git a/.output/actual/zot/eval/output/BinaryLabel/original/reverse10101010.output b/.output/actual/zot/eval/output/BinaryLabel/original/reverse10101010.output
@@ -0,0 +1 @@
+01010101
diff --git a/.output/actual/zot/eval/output/TextLabel/original/hello.output b/.output/actual/zot/eval/output/TextLabel/original/hello.output
@@ -0,0 +1 @@
+Hello, world!
diff --git a/.output/golden/zot/eval/output/BinaryLabel/calculus/flipPrint10101010.output b/.output/golden/zot/eval/output/BinaryLabel/calculus/flipPrint10101010.output
diff --git a/.output/golden/zot/eval/output/BinaryLabel/calculus/id10101010.output b/.output/golden/zot/eval/output/BinaryLabel/calculus/id10101010.output
diff --git a/.output/golden/zot/eval/output/BinaryLabel/calculus/print310101010.output b/.output/golden/zot/eval/output/BinaryLabel/calculus/print310101010.output
diff --git a/.output/golden/zot/eval/output/BinaryLabel/calculus/reverse10101010.output b/.output/golden/zot/eval/output/BinaryLabel/calculus/reverse10101010.output
@@ -0,0 +1 @@
+01010101
diff --git a/.output/golden/zot/eval/output/BinaryLabel/original/hello.output b/.output/golden/zot/eval/output/BinaryLabel/original/hello.output
@@ -0,0 +1 @@
+0100100001100101011011000110110001101111001011000010000001110111011011110111001001101100011001000010000100001010
diff --git a/.output/golden/zot/eval/output/BinaryLabel/original/reverse01010101.output b/.output/golden/zot/eval/output/BinaryLabel/original/reverse01010101.output
@@ -0,0 +1 @@
+10101010
diff --git a/.output/golden/zot/eval/output/BinaryLabel/original/reverse10101010.output b/.output/golden/zot/eval/output/BinaryLabel/original/reverse10101010.output
@@ -0,0 +1 @@
+01010101
diff --git a/.output/golden/zot/eval/output/TextLabel/original/hello.output b/.output/golden/zot/eval/output/TextLabel/original/hello.output
@@ -0,0 +1 @@
+Hello, world!
diff --git a/docs/developers/CHANGELOG.md b/docs/developers/CHANGELOG.md
@@ -1,7 +1,10 @@
 # 📅 Revision history for HelTC
 
+## 0.1.4.0  -- 2023-06-27
+* Implement Zot
+
 ## 0.1.3.0  -- 2023-06-21
-* Add LazyK
+* Implement LazyK
 
 ## 0.1.2.0  -- 2023-06-19
 * Add parser and generator for Legacy Lambda

diff --git a/docs/reports/heltc-test/heltc-0.1.2.0-inplace/HelVM.HelTC.Calculator.IO.BusinessIO.hs.html b/docs/reports/heltc-test/heltc-0.1.2.0-inplace/HelVM.HelTC.Calculator.IO.BusinessIO.hs.html
diff --git a/docs/reports/heltc-test/heltc-0.1.2.0-inplace/HelVM.HelTC.Calculators.Blynn.Lambda.hs.html b/docs/reports/heltc-test/heltc-0.1.2.0-inplace/HelVM.HelTC.Calculators.Blynn.Lambda.hs.html