v1.0.0

ecrc · Jan 17, 2023 · fa8596b · fa8596b
1 parent 1807f96
commit fa8596b
Show file tree

Hide file tree

Showing 187 changed files with 131,392 additions and 8,624 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,9 +4,6 @@
 [submodule "stars-h"]
 	path = stars-h
 	url = https://github.com/ecrc/stars-h.git
-[submodule "chameleon"]
-	path = chameleon
-    url = https://gitlab.inria.fr/solverstack/chameleon.git
 [submodule "hcore"]
 	path = hcore
-	url = https://github.com/ecrc/hcore
+	url = https://github.com/ecrc/hcore.git