Mark Thom
|
ae4d12a123
|
remove pstr_vec
|
2025-07-07 22:02:27 -07:00 |
|
Mark Thom
|
c0f72704ec
|
introduce bespoke Heap type for in-heap partial strings
|
2025-07-07 21:59:50 -07:00 |
|
Mark Thom
|
f7bbdfe73a
|
variable revision
|
2025-07-07 21:54:08 -07:00 |
|
Mark Thom
|
1ef681bd21
|
remove Term
|
2025-07-07 21:54:08 -07:00 |
|
Mark Thom
|
1b22c89211
|
mark cyclic lists with ellipses at the head (#2635)
|
2025-04-10 22:40:13 -07:00 |
|
bakaq
|
d32f3ee2f3
|
Fix warnings
|
2024-09-06 18:42:31 -03:00 |
|
bakaq
|
ada9ba98cc
|
Make macros private
|
2024-09-06 17:17:04 -03:00 |
|
Bennet Bleßmann
|
409f56ea37
|
use an enum for OpDesc spec
|
2024-08-05 21:25:36 +02:00 |
|
Bennet Bleßmann
|
6575b1b573
|
fix some more miri errors
probably relevant to mthom/scryer-prolog#2438
|
2024-07-06 03:52:46 +02:00 |
|
Mark
|
6f7f979c05
|
don't skip to end of pstr in CommaSeparatedCharList token variant (#2356)
|
2024-03-12 18:37:03 -06:00 |
|
Nicolas Luck
|
a0e598b97e
|
clippy
|
2024-02-01 13:51:37 +01:00 |
|
bakaq
|
f02c0eacd8
|
Make "cargo miri test" actually run
|
2024-01-09 04:38:53 -03:00 |
|
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 |
|