WIP: point fp to my repo

AlecsFerra · Dec 12, 2024 · b83678e · b83678e
1 parent 0ce302a
commit b83678e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "liquid-fixpoint"]
 	path = liquid-fixpoint
-	url = https://github.com/ucsd-progsys/liquid-fixpoint.git
+	url = https://github.com/alecsferra/liquid-fixpoint.git
diff --git a/liquid-fixpoint b/liquid-fixpoint
+32 −2		src/Language/Fixpoint/Defunctionalize.hs
+1 −1		src/Language/Fixpoint/Smt/Theories.hs
+26 −4		src/Language/Fixpoint/Solver/PLE.hs
+1 −0		src/Language/Fixpoint/Types/Environments.hs
+13 −0		src/Language/Fixpoint/Types/Refinements.hs
+1 −0		src/Language/Fixpoint/Types/Sorts.hs
+17 −0		src/Language/Fixpoint/Types/Visitor.hs