Merge pull request #162 from AestheticIntegration/ewen/addingIplDecoder

Ewen/adding ipl decoder
imandra-ai · Sep 17, 2021 · 3e1a9a4 · 3e1a9a4
2 parents 60be93c + 02665ee
commit 3e1a9a4
Show file tree

Hide file tree

Showing 15 changed files with 2,919 additions and 279 deletions.
diff --git a/itr_ast/dune b/itr_ast/dune
@@ -0,0 +1,7 @@
+(library
+  (name itr_ast)
+  (public_name fix-engine.itr_ast)
+  (wrapped false)
+  (flags :standard -open Imandra_prelude -warn-error -A+8+39 -alert -deprecated -w -33-58)
+  (libraries types_pp imandra-prelude containers decoders decoders-yojson yojson core core_pp)
+)