EasyCrypt · Gustavo2622 · Jan 20, 2026 · Jan 22, 2026 · Jan 22, 2026 · Jan 23, 2026
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "libs/lospecs/tests/simde"]
+	path = libs/lospecs/tests/simde
+	url = git@github.com:simd-everywhere/simde.git
diff --git a/README.md b/README.md
@@ -26,7 +26,6 @@ EasyCrypt is part of the [Formosa Crypto project](https://formosa-crypto.org/).
     - [Visual Studio Code](#visual-studio-code)
 - [Useful Resources](#useful-resources)
   - [Examples](#examples)
-  - [LaTeX Formatting](#latex-formatting)
 
 # Installation
 
@@ -186,10 +185,3 @@ Examples of how to use EasyCrypt are in the `examples` directory. You
 will find basic examples at the root of this directory, as well as a
 more advanced example in the `MEE-CBC` sub-directory and a tutorial on
 how to use the complexity system in `cost` sub-directory.
-
-## LaTeX Formatting
-
-LaTeX style file is in `assets/latex` directory. The basic usages are
-`\begin{eclst} ... \end{eclst}` (display mode) and
-`\ecinl{proc main() = { ...  }}` (inline mode).
-
diff --git a/assets/latex/eclistings.sty b/assets/latex/eclistings.sty
diff --git a/config/tests.config b/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