initial commit

5 months ago · 1b86574dec
2 changed files with 4 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -0,0 +1,3 @@
+[submodule "3rdparty/indirect_predicates"]
+	path = 3rdparty/indirect_predicates
+	url = https://github.com/WangZhiCheng2001/Indirect_Predicates.git
--- a/3rdparty/indirect_predicates
+++ b/3rdparty/indirect_predicates
@ -0,0 +1 @@
+Subproject commit ca74afb8c664ed24b4482fb3c8a3175102ce3dcb
			`@ -0,0 +1 @@`
			`Subproject commit ca74afb8c664ed24b4482fb3c8a3175102ce3dcb`