2 files changed
+2
-3
lines changed+1-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
24 |
| - | |
25 |
| - | |
| 24 | + |
- .gitignore+1
- Makefile+6-1
- README.md+1-1
- examples/dyncall/http.pl+19-18
- prolog/scasp.pl+3
- prolog/scasp/clp/clpq.pl+6-1
- prolog/scasp/clp/disequality.pl+1
- prolog/scasp/dyncall.pl+93-40
- prolog/scasp/embed.pl+86-2
- prolog/scasp/html.pl+206-52
- prolog/scasp/html_text.pl+3
- prolog/scasp/human.pl+1
- prolog/scasp/input.pl+5-16
- prolog/scasp/json.pl+9
- prolog/scasp/lang/en.pl+4
- prolog/scasp/lang/nl.pl+3
- prolog/scasp/listing.pl+75-32
- prolog/scasp/modules.pl+3
- prolog/scasp/output.pl+41-14
- prolog/scasp/pr_rules.pl+38-9
- prolog/scasp/solve.pl+6
- prolog/scasp/source_ref.pl+49
- prolog/scasp/stack.pl+36-8
- prolog/scasp/web/js/scasp.js+2
- 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+1-1
- test/test_scasp.pl+2
0 commit comments