Mark
|
d14cce2374
|
restore print_tcp_listener in printer (#2221)
|
2023-12-11 13:29:27 -07:00 |
|
Mark
|
8d9a759a7d
|
remove unnecessary spaces around (|) (#2164)
|
2023-11-19 08:46:20 -07:00 |
|
infogulch
|
9444e62df9
|
Resolve lints and format
|
2023-11-04 02:16:54 -05:00 |
|
Mark
|
773d3f81fd
|
remove list remnants from stack iteration in printer when cyclic (#2131)
|
2023-10-24 14:10:11 -06:00 |
|
Mark
|
b065e1cd53
|
correct depth calculation for lists that are their own car (#1876)
|
2023-09-30 17:15:20 -06:00 |
|
Mark
|
7d6ce119f5
|
substitute names for cyclic variables permitted by max_depth > 0 in check_for_seen using a loop (#2057)
|
2023-09-30 16:47:13 -06:00 |
|
Mark
|
62c23166fa
|
implement ListElisionPolicy to restore previous printer behavior
|
2023-09-30 16:00:15 -06:00 |
|
Mark
|
9e713406d3
|
correct max_depth marking for lists
|
2023-09-30 11:44:20 -06:00 |
|
Mark
|
f33f641f11
|
further max_depth improvements
|
2023-09-29 12:07:12 -06:00 |
|
Mark
|
ca2ddfeed0
|
improve max_depth write option (#1876, #2053)
|
2023-09-29 01:00:14 -06:00 |
|
Mark
|
035e214ef5
|
check for ChildCloseList in print_struct on [] (#2039)
|
2023-09-27 18:16:23 -06:00 |
|
Mark
|
750544dd2a
|
fix max_depth settings for partial strings on lists (#1876)
|
2023-09-27 13:34:24 -06:00 |
|
Jacob
|
adb5fcf708
|
Upgrade dashu and some changes
|
2023-09-13 12:29:12 -04:00 |
|
Mark
|
de440a8c92
|
get rid of OssifiedOpDir, DBRef, simplify current_op/3
|
2023-09-11 15:36:15 -06:00 |
|
Fayeed Pawaskar
|
7f0536b51d
|
Merge branch 'master' into dashu-fixes
|
2023-09-10 21:51:02 +05:30 |
|
Mark
|
a0b5a24853
|
check atom == ',' in ambiguity_check mirroring logic in print_op_addendum (#2000)
|
2023-09-05 14:56:26 -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 |
|
Fayeed Pawaskar
|
7b921fc767
|
Implemented num_order methods on Integer & Rational numbers
|
2023-09-04 14:12:47 +05:30 |
|
Mark
|
bff48e7c7f
|
simplify and correct prefix-bracket spacing in heap_print.rs (#1914, #1918)
|
2023-07-26 09:32:54 -06:00 |
|
Mark Thom
|
49b4e4cbcb
|
Merge pull request #1907 from coasys/dashu
Replace rug with dashu
|
2023-07-25 11:35:10 -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
|
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
|
c89217903a
|
fix all the move errors
|
2023-07-24 10:12:14 +05:30 |
|
Mark
|
762e6d3ba4
|
pop both pending redirections in format_bar_separator_op when max depth exceeded (#1903)
|
2023-07-23 15:02:27 -06:00 |
|
Mark
|
e9ae80e250
|
fix list abbreviation (#1901)
|
2023-07-23 14:43:13 -06:00 |
|
Mark
|
3f819e2dfd
|
additional write fixes, use rustyline 12.0.0 (#1876, #1901)
|
2023-07-22 11:53:09 -06:00 |
|
Mark
|
9a7862c322
|
correct max_depth option (#1876)
|
2023-07-22 11:11:23 -06:00 |
|
Mark
|
cb79552dd0
|
correct max_depth option (#1876)
|
2023-07-21 15:05:27 -06: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 |
|
Mark
|
4e1a4dae6c
|
print strings in tails of lists (#1890)
|
2023-07-17 11:38:50 -06:00 |
|
Fayeed Pawaskar
|
cf345d8174
|
wip dashu move
|
2023-07-17 20:40:41 +05:30 |
|
Mark
|
9ff1b660f1
|
correct heap_print.rs tests
|
2023-07-05 18:11:09 -06:00 |
|
Mark
|
5ffdd2d91a
|
shrink scope of control_entry_point catch, add CutPoint tag to printer
|
2023-07-05 14:50:49 -06:00 |
|
Markus Triska
|
3b9b9e75c4
|
make double_quotes write option not dependent on double_quotes flag
This gives consistent results without depending on another flag.
|
2023-07-05 21:37:11 +02: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
|
ab893be418
|
update tests
|
2023-07-03 13:18:53 -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
|
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
|
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 |
|
Markus Triska
|
c2f2623471
|
extend logic to all control and whitespace characters
This addresses #1802.
|
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 |
|
Markus Triska
|
47d4e6d2f9
|
FIXED: consistent read/write of further control characters, and non-breaking space
Example:
?- X = '\xa0\'.
X = '\xa0\'.
This addresses #1768.
|
2023-06-23 14:11:31 -06:00 |
|