Mark
|
e3aa85e2a2
|
add better no op detection in char_reader.rs (#2297)
|
2024-01-16 21:50:53 -07:00 |
|
bakaq
|
f02c0eacd8
|
Make "cargo miri test" actually run
|
2024-01-09 04:38:53 -03:00 |
|
Mark
|
ec97ee5d41
|
fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270)
|
2024-01-04 13:14:58 -07:00 |
|
bakaq
|
921046e886
|
Parse as much of a list as possible as a partial string #1404
|
2023-12-28 15:12:32 -03:00 |
|
Mark
|
42d6749501
|
throw errors from char_reader.rs and get_n_chars when reading bad UTF8 data (#2244)
|
2023-12-26 12:31:04 -07:00 |
|
William Kral
|
7f5c56a2a8
|
Revert "Add '%' to the list of graphic_chars (#2199)"
|
2023-12-03 22:32:49 -08:00 |
|
William Kral
|
aff1fdc6aa
|
Add '%' to the list of graphic_chars (#2199)
|
2023-12-03 21:30:05 -08:00 |
|
Mark Thom
|
50c64b8512
|
correct style failures
|
2023-11-11 18:57:47 +01:00 |
|
infogulch
|
9444e62df9
|
Resolve lints and format
|
2023-11-04 02:16:54 -05:00 |
|
Rujia Liu
|
9c43974747
|
Solves CRLF/CR issue by considering'\r' a layout_char #553 #2028
|
2023-09-24 19:10:40 +08:00 |
|
Mark
|
142e0c2c3a
|
don't parse bracketed non-operators as functor terms (#2033)
|
2023-09-23 14:26:28 -06:00 |
|
Mark
|
1c8cd85f6c
|
record compaction depth after reduce_op if '|' an operator (#1905)
|
2023-09-23 00:19:54 -06:00 |
|
Bennet Bleßmann
|
01aeb7515d
|
[WIP] move towards lockless AtomTable
|
2023-09-05 19:39:46 +02:00 |
|
Bennet Bleßmann
|
13cbff7eab
|
[WIP] fix deadlock in AtomTable::build_with
|
2023-09-05 19:12:22 +02:00 |
|
Skgland
|
86166dbf25
|
[WIP] make AtomTable concurrentcy ready
|
2023-09-05 19:12:22 +02:00 |
|
Skgland
|
b2130c2a48
|
run cargo fmt
|
2023-09-05 19:12:17 +02:00 |
|
Mark
|
fad363e64a
|
shed CodeIndex for control predicates in disjuncts.rs (#1791)
|
2023-08-06 01:26:01 -06:00 |
|
Mark
|
ec450fc567
|
allocate negator results in arena (#1898)
|
2023-08-02 19:50:36 -06:00 |
|
Mark
|
af44d91568
|
Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu
|
2023-07-24 11:47:57 -06:00 |
|
Fayeed Pawaskar
|
7248425a76
|
Fixed warnings
|
2023-07-24 12:41:56 +05:30 |
|
Fayeed Pawaskar
|
0e17d6acd7
|
remove rug completely
|
2023-07-24 10:12:22 +05:30 |
|
Nicolas Luck
|
b1963864d2
|
Explicitly dereference pointer to avoid calling neg() on reference
|
2023-07-21 17:07:40 +02:00 |
|
Fayeed Pawaskar
|
b4e7000eb2
|
Fixed missing functionality in dashu with their methods still has some issue with move
|
2023-07-21 14:21:32 +05:30 |
|
Fayeed Pawaskar
|
cf345d8174
|
wip dashu move
|
2023-07-17 20:40:41 +05:30 |
|
Mark
|
ff5e9a793b
|
add unknown flag to set_prolog_flag and current_prolog_flag
|
2023-07-14 19:10:10 -06:00 |
|
Mark
|
b051f39145
|
correct peek_byte/2 bugs (#1882)
|
2023-07-13 12:23:20 -06:00 |
|
Mark
|
c8b9059289
|
refine EOF handling more (#1873)
|
2023-07-09 10:29:47 -06:00 |
|
Mark
|
b8a6882a27
|
refine EOF handling
|
2023-07-08 22:25:30 -06:00 |
|
Mark
|
067b5998ee
|
clarify EOF error across stream types and predicates (#1867, #1870)
|
2023-07-08 13:38:52 -06:00 |
|
Mark
|
4db0b385f3
|
treat unexpected EOF as incomplete reduction in bracketed_comment
|
2023-07-07 13:04:27 -06:00 |
|
Mark
|
483e4568a2
|
add scc_block to MachineState to avoid SCC cleanup terms being deallocated too early (#1427)
|
2023-07-06 11:20:49 -06:00 |
|
Mark
|
b5b45dde9d
|
add missing self.pos to peek_char slices (#1726)
|
2023-07-04 17:44:27 -06:00 |
|
Mark
|
c58d8804a1
|
widen CharReader buffer (#1859)
|
2023-07-04 15:08:46 -06:00 |
|
Mark
|
5d09449c95
|
widen CharReader buffer (#1859)
|
2023-07-04 11:22:22 -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
|
b0566e4150
|
use lexer to detect remaining layout in parse_number_from_string (#1773)
|
2023-06-30 17:18:10 -06:00 |
|
Mark
|
1620824d3a
|
do not enclose '(' as atom in brackets (#1487)
|
2023-06-30 12:06:07 -06:00 |
|
Mark
|
bb09de1805
|
fix ReadlineStream peek_char using CharReader
|
2023-06-29 14: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
|
039fffb339
|
better detect syntax errors in lexer.rs (#1771)
|
2023-06-27 16:39:20 -06:00 |
|
Markus Triska
|
5e124ccf44
|
ENHANCED: allow Roman numerals in strings
Example:
?- X = "ↁ".
X = "ↁ".
This addresses #1790.
|
2023-06-23 14:11:31 -06:00 |
|
Mark
|
0e583d620a
|
implement new disjunction compilation
|
2023-06-23 14:11:31 -06:00 |
|
Mark Thom
|
a66d666bed
|
variable classification al a carte
|
2023-06-23 14:11:22 -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
|
7d2e59ab64
|
discard CodeIndex literals from unfolded control operators in preprocessor (#1791)
|
2023-04-22 18:38:50 -06:00 |
|
Mark Thom
|
adc77985d7
|
broaden the definition of alpha_char! (#1749, #1515, #1591)
|
2023-03-26 11:10:46 -06:00 |
|
Mark Thom
|
1ffbf63d20
|
inline metacalls
|
2022-10-26 23:36:07 -06:00 |
|
Ross Smyth
|
577f85099d
|
Fixed imports num-rug-adapter
|
2022-07-17 02:06:37 -04:00 |
|
Mark Thom
|
10a11c293e
|
fix stream position and term comparison bugs (#1472)
|
2022-05-22 14:16:14 -06:00 |
|