 Mark
|
7683367c0e
|
throw lexer errors from devour_whitespace (#1778)
|
2023-07-04 16:09:54 -06:00 |
|
|
Mark Thom
|
d2db66b9f7
|
Merge pull request #1861 from aarroyoc/fix-1855
Allow comparisons with stream terms
|
2023-07-04 15:11:59 -06:00 |
|
|
Mark
|
c58d8804a1
|
widen CharReader buffer (#1859)
|
2023-07-04 15:08:46 -06:00 |
|
|
Mark Thom
|
7f69ac3f4a
|
Merge pull request #1857 from triska/master
advertise newly achieved strong syntactic conformance: all current tests pass
|
2023-07-03 14:05:16 -06:00 |
|
|
Mark Thom
|
42274ef3ae
|
Merge pull request #1850 from mthom/iso-conformity-tests
Automate ISO syntax conformity tests
|
2023-07-03 13:53:41 -06:00 |
|
|
Mark
|
ab893be418
|
update tests
|
2023-07-03 13:18:53 -06:00 |
|
|
Mark
|
f5e7573bd6
|
correct tests #171 and #300
|
2023-07-03 12:09:26 -06:00 |
|
|
Mark
|
9cdad087ef
|
add double_quotes write option for printing to strings, enable it at toplevel
|
2023-07-03 12:09:05 -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
|
a09306c585
|
check ambiguity of "'" against tail if atom token is about to be quoted
|
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
|
d079a18459
|
removing residual debugging comments from format.pl
|
2023-07-02 11:10:25 -06:00 |
|
|
Mark
|
b0566e4150
|
use lexer to detect remaining layout in parse_number_from_string (#1773)
|
2023-06-30 17:18:10 -06:00 |
|
|
Mark Thom
|
c38a26e6cd
|
Merge pull request #1854 from triska/needs_bracketing
remove now unneeded check
|
2023-06-30 15:43:45 -06:00 |
|
|
Mark
|
caf84a259e
|
check that F in needs_bracketing/2 is an atom
|
2023-06-30 13:45:45 -06:00 |
|
|
Mark
|
1620824d3a
|
do not enclose '(' as atom in brackets (#1487)
|
2023-06-30 12:06:07 -06:00 |
|
|
Mark Thom
|
1d2f5053d6
|
Merge pull request #1852 from triska/needs_bracketing
Improvements to needs_bracketing/2
|
2023-06-30 11:13:24 -06:00 |
|
|
Mark Thom
|
4953cfd10e
|
Merge pull request #1851 from triska/operator_bracketing
bracket all operators that are direct operands of (=)/2
|
2023-06-30 00:26:18 -06:00 |
|
|
Mark
|
bb09de1805
|
fix ReadlineStream peek_char using CharReader
|
2023-06-29 14:58:15 -06:00 |
|
|
Mark
|
a6a0cef9fc
|
read the cell written to by mark_var when needed in compile_is (#1846)
|
2023-06-29 12:58:15 -06:00 |
|
|
Mark
|
c36bd4dc07
|
introduce CutPoint heap tag so that they can be offset by call_continuation/1
|
2023-06-29 12:14:15 -06:00 |
|
|
Mark Thom
|
83f352b95e
|
Merge pull request #1849 from triska/showterm
remove unneeded single quotes
|
2023-06-29 12:11:12 -06:00 |
|
|
Mark
|
58af615dd4
|
correct and generalize current_predicate/1
|
2023-06-28 17:31:43 -06:00 |
|
|
Mark
|
c4b13a2176
|
unify stack variables to streams in unify_constant (#1845)
|
2023-06-27 17:35:10 -06:00 |
|
|
Mark
|
039fffb339
|
better detect syntax errors in lexer.rs (#1771)
|
2023-06-27 16:39:20 -06:00 |
|
|
Mark Thom
|
8613513b9c
|
Merge pull request #1844 from triska/copy_term_nat
use copy_term_nat/2
|
2023-06-27 15:26:33 -06:00 |
|
|
Mark
|
16f281e3d1
|
enable unification of streams to alias atoms (#1823)
|
2023-06-27 12:23:40 -06:00 |
|
|
Mark
|
b593fffc7d
|
support module resolution in current_predicate/1 (#1817)
|
2023-06-27 11:08:29 -06:00 |
|
|
Mark
|
ce890799bc
|
fix builtin_predicate (#1819)
|
2023-06-27 10:41:15 -06:00 |
|
|
Mark
|
aa65287c3b
|
remove tabling attributes in each module's attribute_goals//1 (#1825)
|
2023-06-27 10:31:10 -06:00 |
|
|
Mark
|
a6522d6317
|
properly account for partial string offsets in '$skip_max_list' (#1827)
|
2023-06-26 16:36:04 -06:00 |
|
|
Mark
|
0b45d42912
|
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)
|
2023-06-24 17:18:00 -06:00 |
|
|
Mark
|
d9829a3606
|
fix string incompleteness (#1828)
|
2023-06-24 14:12:08 -06:00 |
|
|
Mark Thom
|
59766e2db4
|
Merge pull request #1842 from infogulch/release-on-tag
Fix tags trigger; bump MSRV to 1.65
|
2023-06-24 13:13:07 -06:00 |
|
|
Mark
|
9f209dadd9
|
fix branch subsumption bug (#1840, #1841)
|
2023-06-24 10:59:29 -06:00 |
|
|
Mark Thom
|
2ec45b7413
|
Merge pull request #1838 from triska/get_line_to_chars
MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3
|
2023-06-24 09:19:22 -06:00 |
|
|
Mark
|
bf581879e6
|
update README
|
2023-06-24 09:11:30 -06:00 |
|
|
Mark
|
7a188744da
|
correct code_walker.rs in light of compilation improvements
|
2023-06-23 16:53:18 -06:00 |
|
|
Mark
|
7f45ac3f7a
|
Merge branch 'compiling_disj'
|
2023-06-23 15:45:04 -06:00 |
|
|
Mark
|
612861e010
|
correct reversions after rebase
|
2023-06-23 14:32:37 -06:00 |
|
|
Mark
|
fcae0d9fcf
|
polish perm free list management
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
92853a6a12
|
free local cut variables after cut
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
4ad113a6f8
|
mark is/2 allocated permanent variables as safe, add CompareNumber terms to ClauseType::is_inlined
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
d7f5675727
|
improve call/N implementation (#1829)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
4d982d22c1
|
set_local_value does not make values safe (#1812)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
5ed1802f0f
|
read set_value args from temp regs of put_unsafe_value (#1812)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
749dedf477
|
read from machine stack in stackful pre-order iterator (#1812)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
e0f49e8f43
|
optionally read from machine stack in stackful pre-order iterator (#1812)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
dae34b6009
|
affirm integers as rational/1 (#1810)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
8e4465315f
|
use same logic to print Chars and Atoms (#1804)
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
33f65210ee
|
make tests compatible
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
9ea6cb4cab
|
backtrack on emission of unsafe register instructions on internal branches
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark
|
0e583d620a
|
implement new disjunction compilation
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark Thom
|
b205abe949
|
remove BuildIf, BuildNot, BuildThen TermIterState variants
|
2023-06-23 14:11:31 -06:00 |
|
|
Mark Thom
|
cb59c3003a
|
correct chunk type labeling
|
2023-06-23 14:11:30 -06:00 |
|
|
Mark Thom
|
942095baa7
|
remove GetLevelAndUnify and replace it with GetCutPoint
|
2023-06-23 14:11:30 -06:00 |
|
|
Mark Thom
|
097849385e
|
add QueryTerm::ChunkTypeBoundary
|
2023-06-23 14:11:30 -06:00 |
|
|
Mark Thom
|
c4783062ff
|
delete ChunkedTerm, chunked iteration
|
2023-06-23 14:11:30 -06:00 |
|
|
Mark Thom
|
063cf0c608
|
new TermIterState variants
|
2023-06-23 14:11:30 -06:00 |
|
|
Mark Thom
|
a66d666bed
|
variable classification al a carte
|
2023-06-23 14:11:22 -06:00 |
|
|
Mark Thom
|
170818759d
|
add more variable probing, chunk type labeling
|
2023-06-23 14:11:07 -06:00 |
|
|
Mark Thom
|
e41d1b319b
|
adapt code generation
|
2023-06-23 14:11:04 -06:00 |
|
|
Mark Thom
|
b9c9de5222
|
add classifications and occurrence counting
|
2023-06-23 13:54:46 -06:00 |
|
|
Mark Thom
|
d565f5901b
|
milestone marker for surgery
|
2023-06-23 13:54:04 -06:00 |
|
|
Mark Thom
|
46317c3a39
|
begin adapting the techniques of "Compiling Large Disjunctions"
|
2023-06-23 13:52:24 -06:00 |
|
|
Mark Thom
|
bcc5bff376
|
Merge pull request #1834 from infogulch/ci-publish-releases
Add steps to publish binaries when releases are tagged
|
2023-06-23 12:01:32 -06:00 |
|
|
Mark Thom
|
9fac289d9a
|
Merge pull request #1833 from mthom/dependabot/cargo/openssl-0.10.55
Bump openssl from 0.10.48 to 0.10.55
|
2023-06-22 11:30:56 -06:00 |
|
|
Mark
|
98b0ab3409
|
improve call/N implementation (#1829)
|
2023-06-10 17:32:18 -06:00 |
|
|
Mark
|
3c344b176b
|
set_local_value does not make values safe (#1812)
|
2023-06-06 00:58:44 -06:00 |
|
|
Mark
|
6093c2858d
|
read set_value args from temp regs of put_unsafe_value (#1812)
|
2023-05-29 20:49:54 -06:00 |
|
|
Mark Thom
|
e06ab1ca1c
|
Merge pull request #1822 from triska/master
FIXED: correct dereferencing in atom_codes/2 and number_codes/2.
|
2023-05-29 10:15:43 -06:00 |
|
|
Mark Thom
|
fa07306f09
|
Merge pull request #1820 from aarroyoc/banner-meetup
Rename INDEX.md to INDEX.dj and add banner about Scryer Prolog Meetup
|
2023-05-28 16:39:05 -06:00 |
|
|
Mark
|
b656700294
|
read from machine stack in stackful pre-order iterator (#1812)
|
2023-05-28 12:59:01 -06:00 |
|
|
Mark Thom
|
7bc7f0ad06
|
Merge pull request #1816 from notoria/clpz
Small fixes for `CLP(ℤ)`
|
2023-05-27 11:07:50 -06:00 |
|
|
Mark
|
462097d956
|
optionally read from machine stack in stackful pre-order iterator (#1812)
|
2023-05-26 15:19:07 -06:00 |
|
|
Mark
|
0e374c2e96
|
affirm integers as rational/1 (#1810)
|
2023-05-24 13:58:43 -06:00 |
|
|
Mark Thom
|
94a1313916
|
Merge pull request #1809 from aarroyoc/update-select
Update select crate to 0.6.0 and remove warning
|
2023-05-18 12:31:44 -06:00 |
|
|
Mark Thom
|
c71b8e05f0
|
Merge pull request #1808 from triska/gensym
gensym-related improvement and correction
|
2023-05-16 15:55:39 -06:00 |
|
|
Mark Thom
|
f7d9237bb9
|
Merge pull request #1805 from triska/master
extend logic to all control and whitespace characters
|
2023-05-14 23:27:49 -06:00 |
|
|
Mark
|
2f9996f9ac
|
use same logic to print Chars and Atoms (#1804)
|
2023-05-10 00:04:35 -06:00 |
|
|
Mark Thom
|
c1218fc986
|
Merge pull request #1801 from triska/foldl
rely on first instantiated argument indexing in the definitions of foldl/N
|
2023-05-04 21:25:16 -06:00 |
|
|
Mark Thom
|
57ef706eb0
|
Merge pull request #1799 from triska/roman_numerals
ENHANCED: allow Roman numerals in strings
|
2023-05-04 21:25:03 -06:00 |
|
|
Mark Thom
|
e4b19dc1dd
|
Merge pull request #1800 from triska/nbsp
FIXED: consistent read/write of further control characters, and non-breaking space
|
2023-05-04 21:24:45 -06:00 |
|
|
Mark
|
c5a3ec3ba8
|
fix current_predicate/1 (#1761)
|
2023-04-24 23:23:27 -06:00 |
|
|
Mark Thom
|
f12a90351a
|
Merge pull request #1794 from aarroyoc/uppercase-2
Fix to_upper/to_lower when string is instantiated
|
2023-04-23 17:08:21 -06:00 |
|
|
Mark Thom
|
402100fd52
|
Merge pull request #1797 from triska/clpb_residuals
remove residual goal for ground BDD
|
2023-04-23 10:31:40 -06:00 |
|
|
Mark
|
7d2e59ab64
|
discard CodeIndex literals from unfolded control operators in preprocessor (#1791)
|
2023-04-22 18:38:50 -06:00 |
|
|
Mark
|
f35298a227
|
add and document inlined_instructions/2 to/in diag.pl (#1791)
|
2023-04-22 18:38:49 -06:00 |
|
|
Mark Thom
|
198e925430
|
Merge pull request #1796 from triska/dif_si
ADDED: dif_si/2
|
2023-04-22 17:21:03 -06:00 |
|
|
Mark Thom
|
502574dfc3
|
Merge pull request #1795 from infogulch/fix-ci-install
Use --force to install cargo2junit
|
2023-04-22 16:03:39 -06:00 |
|
|
Mark Thom
|
f277f660f3
|
Merge pull request #1793 from infogulch/fix-action-ref
Change ref for `publish-unit-test-result-action`
|
2023-04-22 11:26:45 -06:00 |
|
|
Mark Thom
|
396528189d
|
Merge pull request #1789 from aarroyoc/uppercase
library(charsio): add to_upper and to_lower
|
2023-04-20 07:17:09 +02:00 |
|
|
Mark Thom
|
8937cac47d
|
Merge pull request #1783 from infogulch/test
Refactor CI Workflow
|
2023-04-18 08:35:45 +02:00 |
|
|
Mark Thom
|
3a5ed4723b
|
Merge pull request #1785 from mthom/dependabot/cargo/h2-0.3.17
Bump h2 from 0.3.15 to 0.3.17
|
2023-04-14 06:22:32 +02:00 |
|
|
Mark Thom
|
dcf4c44173
|
Merge pull request #1786 from triska/tuples_in
FIXED: propagation for ground tuples
|
2023-04-14 06:22:18 +02:00 |
|