imandra-ai
diff --git a/‎.gitmodules
Lines changed: 0 additions & 3 deletions b/‎.gitmodules
Lines changed: 0 additions & 3 deletions
diff --git a/‎.vscodeignore
Lines changed: 8 additions & 0 deletions b/‎.vscodeignore
Lines changed: 8 additions & 0 deletions
diff --git a/‎imlformat/iml2json.bc.js
Lines changed: 89562 additions & 90189 deletions b/‎imlformat/iml2json.bc.js
Lines changed: 89562 additions & 90189 deletions
@@ -1,3 +0,0 @@
-[submodule "vendor/imandrax-api"]
-	path = vendor/imandrax-api
-	url = https://github.com/imandra-ai/imandrax-api
@@ -14,3 +14,11 @@ src/
 tsconfig.json
 tmp
 _opam
+README.dev.md
+.gitmodules
+.vscode-test.mjs
+eslint.config.mjs
+vendor
+imlformat
+!node_modules/prettier
+Makefile
Original file line number	Diff line number	Diff line change
`@@ -1,3 +0,0 @@`
`1`		`-[submodule "vendor/imandrax-api"]`
`2`		`- path = vendor/imandrax-api`
`3`		`- url = https://github.com/imandra-ai/imandrax-api`