Updated s(CASP) to new repository location.

SWI-Prolog · Oct 6, 2022 · 549a01c · 549a01c
1 parent fd7e658
commit 549a01c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -21,5 +21,4 @@
 	url = https://github.com/JanWielemaker/chat80.git
 [submodule "pack/sCASP"]
 	path = pack/sCASP
-	url = https://github.com/JanWielemaker/sCASP.git
-	branch = swipl
+	url = https://github.com/SWI-Prolog/sCASP.git
diff --git a/pack/sCASP b/pack/sCASP
+1 −0		.gitignore
+6 −1		Makefile
+1 −1		README.md
+19 −18		examples/dyncall/http.pl
+3 −0		prolog/scasp.pl
+6 −1		prolog/scasp/clp/clpq.pl
+1 −0		prolog/scasp/clp/disequality.pl
+93 −40		prolog/scasp/dyncall.pl
+86 −2		prolog/scasp/embed.pl
+206 −52		prolog/scasp/html.pl
+3 −0		prolog/scasp/html_text.pl
+1 −0		prolog/scasp/human.pl
+5 −16		prolog/scasp/input.pl
+9 −0		prolog/scasp/json.pl
+4 −0		prolog/scasp/lang/en.pl
+3 −0		prolog/scasp/lang/nl.pl
+75 −32		prolog/scasp/listing.pl
+3 −0		prolog/scasp/modules.pl
+41 −14		prolog/scasp/output.pl
+38 −9		prolog/scasp/pr_rules.pl
+6 −0		prolog/scasp/solve.pl
+49 −0		prolog/scasp/source_ref.pl
+36 −8		prolog/scasp/stack.pl
+2 −0		prolog/scasp/web/js/scasp.js
+1 −1		test/all_programs/bec_light.pass
+1 −1		test/all_programs/birds.pass
+1 −1		test/all_programs/dcc/hamilton_c.pass
+1 −1		test/all_programs/family.pass
+1 −1		test/all_programs/hamcycle.pass
+1 −1		test/all_programs/hamcycle_two.pass
+1 −1		test/all_programs/hanoi.pass
+1 −1		test/all_programs/pq.pass
+1 −1		test/all_programs/queens.pass
+1 −1		test/all_programs/rat.pass
+1 −1		test/all_programs/sasp/abdbirds.pass
+1 −1		test/all_programs/sasp/gpa.pass
+1 −1		test/all_programs/sasp/hamcycle.pass
+1 −1		test/all_programs/sasp/hamcycle2.pass
+1 −1		test/all_programs/sasp/hamcycle_two.pass
+1 −1		test/all_programs/sasp/hanoi_7.pass
+1 −1		test/all_programs/sasp/left-rec-succ_BAD.pass
+1 −1		test/all_programs/sasp/lion.pass
+1 −1		test/all_programs/sasp/loop_succ_pos.pass
+1 −1		test/all_programs/sasp/loopvar.pass
+1 −1		test/all_programs/sasp/loopvar2.pass
+1 −1		test/all_programs/sasp/natnum.pass
+1 −1		test/all_programs/sasp/path_loop.pass
+1 −1		test/all_programs/sasp/queens_old.pass
+1 −1		test/all_programs/vars.pass
+2 −0		test/test_scasp.pl