Mark Thom
|
070f1e8dfa
|
more generally consider NEGATIVE_SIGN a non-op term (#2401)
|
2024-05-13 14:37:44 -06:00 |
|
Mark
|
0292cb73d3
|
expand_call_goals/3 should expand meta-predicate subgoals (#2361)
|
2024-03-19 17:12:26 -06:00 |
|
Mark
|
ec97ee5d41
|
fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270)
|
2024-01-04 13:14:58 -07:00 |
|
Skgland
|
fcf2e2db05
|
move .pl files from tests-pl next to the .toml of the test that uses them
|
2023-12-04 22:16:04 +01:00 |
|
Mark
|
8d9a759a7d
|
remove unnecessary spaces around (|) (#2164)
|
2023-11-19 08:46:20 -07:00 |
|
Mark
|
142e0c2c3a
|
don't parse bracketed non-operators as functor terms (#2033)
|
2023-09-23 14:26:28 -06:00 |
|
Mark
|
c547f67c54
|
add (now failing) test 317 to iso_conformity_tests.pl
|
2023-09-21 16:49:45 -06:00 |
|
Mark
|
287c308bc3
|
track the parent operator of the current operator in heap_print to emit space if necessary (#1906)
|
2023-07-24 20:05:28 -06:00 |
|
Mark
|
5ab087bc1e
|
revise iso_conformity_tests.pl in response to new ambiguity check of #1860
|
2023-07-04 16:12:03 -06:00 |
|
Mark
|
f5e7573bd6
|
correct tests #171 and #300
|
2023-07-03 12:09:26 -06:00 |
|
Mark
|
e36f96fd47
|
correct ISO conformity test #185
|
2023-07-03 11:34:41 -06:00 |
|
Mark
|
cb25a90250
|
add iso-conformity-tests.pl to test suite
|
2023-07-02 11:10:33 -06:00 |
|
Mark
|
38a9d23174
|
correct initialization_goals misnomer in iso-conformity-tests.pl
|
2023-07-02 11:10:33 -06:00 |
|
Mark
|
521118265a
|
make setup of test_166_167 pass
|
2023-07-02 11:10:33 -06:00 |
|
Mark
|
8140ff9154
|
always print a space between prefix operator and its operand
|
2023-07-02 11:10:33 -06:00 |
|
Mark
|
3cbe78cb9b
|
correct tests 259 and 304 of tests-pl/iso-conformity-tests.pl
|
2023-07-02 11:10:33 -06:00 |
|
Mark
|
699afb2c00
|
introduce tests-pl/iso-conformity-tests.pl
|
2023-07-02 11:10:33 -06:00 |
|
Mark Thom
|
bcd33dc8e3
|
get test suite working
|
2022-01-06 21:44:41 -07:00 |
|
Adrián Arroyo Calle
|
f70685d53c
|
Close Stream test feedback
|
2021-09-30 23:46:52 +02:00 |
|
Adrián Arroyo Calle
|
807abfef4f
|
Close Stream bug files
|
2021-09-30 23:01:25 +02:00 |
|
Adrián Arroyo Calle
|
810d4c51f9
|
Close Stream bug files
|
2021-09-30 22:59:15 +02:00 |
|
Mark Thom
|
7fb0b4a8df
|
rename issue841-occure-check.pl to issue841-occurs-check.pl
|
2021-03-19 21:39:28 -06:00 |
|
Skgland
|
49dcd9bb4a
|
address problems brought up in review
|
2021-03-11 16:16:31 +01:00 |
|
Skgland
|
8f41603101
|
add more tests
for some of the recently closed issues
|
2021-03-11 01:52:22 +01:00 |
|
Skgland
|
e1c681fffe
|
clean up tests/
give helper function a more descriptive name
|
2021-03-11 01:52:21 +01:00 |
|