enable hoare and other calculi (naive setting)

Author: NeuralCoder3

package.json

@@ -57,6 +57,7 @@
     ]
   },
   "devDependencies": {
+    "ajv": "^7.2.4",
     "gh-pages": "^5.0.0"
   }
 }

src/components/Options.tsx

@@ -9,10 +9,10 @@ import * as prog1_static from "../logic/calculi/static_prog1";
 export const calculiList = [
   meta.calculus,
   prog1_static.calculus,
-  // type_conversion.calculus,
-  // expr_ty.calculus,
-  // stmt_ty.calculus,
-  // hoare.calculus,
+  type_conversion.calculus,
+  expr_ty.calculus,
+  stmt_ty.calculus,
+  hoare.calculus,
 ];
 
 export let default_options = {

src/logic/calculi/static_semantics_expr.ts

@@ -76,4 +76,16 @@ export const app_renderer: AppDispatchRenderer<string> = {
 export const const_renderer: ConstDispatchRenderer<string> = {
   "Plus": "+",
   "Minus": "-",
+  
+  "UnEqual": "!=",
+  // "Unequal": "!=",
+  "Equal": "==",
+  "Less": "<",
+  "LessEqual": "≤",
+  "Greater": ">",
+  "GreaterEqual": "≥",
+  "Div": "/",
+  "Mul": "*",
+  // "Addr": "&",
+  // "Indir": "*",
 };