EasyCrypt Circuit Based Reasoning Extension

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "libs/lospecs/tests/simde"]
+	path = libs/lospecs/tests/simde
+	url = git@github.com:simd-everywhere/simde.git

.ocamlformat

@@ -0,0 +1,20 @@
+# Gradual ocamlformat adoption: globally disabled; only files listed in
+# .ocamlformat-enable are formatted. Flip `disable` to false (and drop
+# .ocamlformat-enable) for a repo-wide migration.
+profile = default
+version = 0.27.0
+margin = 80
+break-cases = toplevel
+match-indent = 0
+match-indent-nested = never
+cases-exp-indent = 2
+type-decl-indent = 2
+leading-nested-match-parens = false
+parens-tuple = multi-line-only
+space-around-lists = false
+space-around-arrays = false
+space-around-records = false
+space-around-variants = false
+disable = true
+exp-grouping = preserve
+break-fun-decl = fit-or-vertical

.ocamlformat-enable

@@ -0,0 +1 @@
+src/ecCircuits.ml

config/tests.config

@@ -8,7 +8,7 @@ exclude = theories/prelude
 
 [test-examples]
 okdirs  = !examples
-exclude = examples/MEE-CBC examples/old examples/old/list-ddh !examples/incomplete examples/to-port
+exclude = examples/MEE-CBC examples/exclude examples/old examples/old/list-ddh !examples/incomplete examples/to-port
 
 [test-mee-cbc]
 okdirs = examples/MEE-CBC