rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
4,364 Commits 2 Branches 18 Tags
042631cb4c014d44c335a8559b2270ea45a9c69e
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom e9ff1348b1 Merge pull request #3084 from thierrymarianne/set_stream 
Prevent top-level from panicking when calling  `set_input/1` with `Stream` variants.
 2025-09-17 22:20:10 -07:00
Mark Thom fc6e007ad1 add missing P increment to GetPartialString (#3089) 2025-09-17 20:31:03 -07:00
Mark Thom 7637a0f7d4 push cyclic pstr's tail to iterator stack of printer (#3086) 2025-09-17 20:21:54 -07:00
Mark Thom ba7b54e8f8 fix attempted bind to bound StackVar (#3089) 2025-09-17 19:43:37 -07:00
Mark Thom 012e3de3a1 do not use self.fail in compare_term_test 2025-09-16 21:23:23 -07:00
Mark Thom 72cdba82f5 implement unify_ginteger to address FIXME in skip_max_list_cycle 2025-09-15 21:58:38 -07:00
Mark Thom 24f431e2ca fix off-by-one lam loop (#3081) 2025-09-15 21:52:43 -07:00
Mark Thom dc05526c71 add FIXME for (presently inert & never invoked) race condition 2025-09-12 00:19:52 -07:00
Mark Thom ffea37d899 fix f64 indexing, introduce bespoke F64Table type (#3065) 2025-09-11 23:58:36 -07:00
Mark Thom 368c9fd9dd Merge pull request #3063 from Skgland/ffi++ 
ffi API extension and fixes
 2025-08-28 20:49:41 -07:00
Mark Thom aa3d8b8fba Merge pull request #3059 from pmikkelsen/raw-input 
Don't use "readline" input functionality for certain builtins
 2025-08-26 23:09:18 -07:00
Mark Thom cd501beb0b very small cargo fmt 2025-08-23 14:57:56 -07:00
Mark Thom 39d02a0caf clear rustc warnings (#3051) 2025-08-23 14:34:49 -07:00
Mark Thom e168b31963 make max_depth checking in heap_print.rs consistent across atomics 2025-08-23 14:24:14 -07:00
Mark Thom eed0a5babb some max_depth improvements (#1876, #2666, #3008, #3027) 2025-08-23 14:01:10 -07:00
Mark Thom ad29f0f180 further improvements to cyclic partial list printing (#2635) 2025-08-23 13:23:39 -07:00
Mark Thom b14bda310f improve printer's handling of cyclic lists (#2111, #2635) 2025-08-23 13:23:39 -07:00
Mark Thom 02b8a6010c Merge pull request #3056 from Skgland/fix-msrv 
Fix msrv
 2025-08-21 23:24:30 -07:00
Mark Thom b2cfc8b6f2 fix cyclic detection of partial strings in StackfulPreOrderHeapIter (#3050) 2025-08-21 22:52:25 -07:00
Mark Thom c5389dbbf2 Use from_str_radix for BigInt in parse_integer_by_radix (#3025, #3033) 2025-08-21 18:25:00 -07:00
Mark Thom 7ffd93c0d7 Merge pull request #3055 from Skgland/build-debs 
use cargo-deb in CI to build debian deb packages
 2025-08-17 15:49:20 -07:00
Mark Thom f61c069c2b Merge pull request #3053 from Skgland/add-test-for-issue-3048 
add tests for issue 3048
 2025-08-17 13:12:28 -07:00
Mark Thom 93cc4d4898 clear pdl after comparing partial strings (#3048) 2025-08-16 15:26:10 -07:00
Mark Thom 87f5295bd0 check for stack variables in ground_test before iterating (#3048) 2025-08-14 21:21:32 -07:00
Mark Thom 97607d2bcd small tweak for read_from_term performance (#2668) 2025-08-12 22:29:31 -07:00
Mark Thom 216c251c48 deref terms in read_from_term (#2668) 2025-08-12 22:23:52 -07:00
Mark Thom 8af0a19130 Merge pull request #3042 from dcnorris/numerics 
library(numerics), special funs from crate puruspe
 2025-08-11 22:26:01 -07:00
Mark Thom c0fb3fd429 Merge pull request #2786 from Skgland/ffi-f64-tests 
add ffi tests & fix ffi
 2025-08-10 13:14:15 -07:00
Mark Thom 9fb7d15f0a Merge pull request #3023 from triska/promote_call_with_error_context 
ADDED: variants of errors promoting call_with_error_context/2
 2025-08-10 13:04:03 -07:00
Mark Thom d83827b21f Merge pull request #2746 from triska/quads 
preliminary support for a subset of quads introduced by @UWN
 2025-08-10 01:36:15 -07:00
Mark Thom 9cc170f2ad Merge pull request #3024 from triska/remove_operator_meta_predicate 
ISO: remove nonstandard operator meta_predicate.
 2025-08-08 21:12:19 -07:00
Mark Thom 61f8bc008c Merge pull request #3026 from triska/DEDUCTION 
mention the DEDUCTION Programme
 2025-08-08 21:11:46 -07:00
Mark Thom 948cbd8f40 Merge pull request #3029 from triska/process_item 
add newly available library(process) to the list of libraries
 2025-08-08 21:11:32 -07:00
Mark Thom a43bac8fd8 Merge pull request #3021 from mthom/rebis-dev 
Merge rebis-dev to master
 2025-08-02 00:01:39 -07:00
Mark Thom 72d5574ff0 Merge pull request #3009 from Skgland/process 
adds predicates for spawning new processes without a shell
 2025-08-01 23:18:36 -07:00
Mark Thom f524062e5b Merge pull request #2961 from rotu/patch-5 
Document `when/2` Condition
 2025-07-31 22:10:32 -07:00
Mark Thom eb29390a79 Merge pull request #3017 from triska/adapt_link 
adapt link to Scryer Prolog Meetup 2024
 2025-07-31 22:09:54 -07:00
Mark Thom f91aedcc2f Merge pull request #3019 from Skgland/rebis-dev_fix-clippy 
fix clippy
 2025-07-31 22:09:41 -07:00
Mark Thom 9b293cf1b6 detect end_of_file before end_of_stream in get_char (#2990) 2025-07-22 20:39:52 -07:00
Mark Thom 65dda019a2 allow abolish_clause to abolish empty dynamic clauses (#3010) 2025-07-20 16:55:07 -07:00
Mark Thom 4aa2a45736 fix variadic_functor 2025-07-16 21:52:40 -07:00
Mark Thom 4efceda8c5 fix parsing partial number tokens in other radixes (#3000) 2025-07-14 23:05:10 -07:00
Mark Thom 5dc8983eec Merge pull request #3003 from rotu/patch-8 
CI: run clippy even if fmt fails
 2025-07-13 21:22:24 -07:00
Mark Thom e303e5a805 correct number_chars (#2976) 2025-07-07 22:44:05 -07:00
Mark Thom 762b63e1f4 use granular hierarchical locks in offset_table.rs 2025-07-07 22:44:02 -07:00
Mark Thom 2844b5a958 synchronize offset table growth with the borrowing of offset pointers 2025-07-07 22:39:47 -07:00
Mark Thom 1332611f83 use OffsetTableImpl without synchronization by default 2025-07-07 22:39:47 -07:00
Mark Thom 8b009448f4 correct threshold marking in copy_structure (#2920) 2025-07-07 22:38:12 -07:00
Mark Thom d6b6eda77d fix cont function crashes (#2920) 2025-07-07 22:38:12 -07:00
Mark Thom 4e0493474e replace deprecated unify_complete_string call with allocate_cstr 2025-07-07 22:38:12 -07:00
Mark Thom cb9b988905 allow unused_parens around let statement in functor! macro 2025-07-07 22:38:12 -07:00
Mark Thom b12d1ece17 correct heap-to-cell-index comparison in copy_slice_to_end (#2906) 2025-07-07 22:38:12 -07:00
Mark Thom 706ffe7ad9 fix functor! size calculations around indexing_code_ptr 2025-07-07 22:38:12 -07:00
Mark Thom 258244caf2 restore tab completion to REPL (#2575) 2025-07-07 22:38:12 -07:00
Mark Thom 39ea2d5899 make self.s_offset use bytes in case of HeapPtr::PStr in UnifyVoid (#2897) 2025-07-07 22:38:12 -07:00
Mark Thom 41b90c6e46 correct heap_print.rs for null characters being excluded from pstr regions of heap (#2890) 2025-07-07 22:38:12 -07:00
Mark Thom 6bcbb91e08 correctly increment s_offset for partial strings (#2897) 2025-07-07 22:38:12 -07:00
Mark Thom e1e52338d6 fix typo in try_from_partial_string 2025-07-07 22:38:12 -07:00
Mark Thom 995a39419a fix read_s logic around HeapPtr::PStrLoc (#2894) 2025-07-07 22:38:12 -07:00
Mark Thom 4644ea2404 repair cyclic PStrLoc handling in heap_print.rs 2025-07-07 22:38:12 -07:00
Mark Thom f3cd6326a3 remove compare_pstr_to_string and related result type 2025-07-07 22:38:12 -07:00
Mark Thom 4c46f0e54d correct GetPartialString (#2887) 2025-07-07 22:38:12 -07:00
Mark Thom e563fd8e4f generalize compare_pstr_segments 2025-07-07 22:38:12 -07:00
Mark Thom 1297a24469 ensure '\0' atom is static & never inlined (#2880) 2025-07-07 22:38:12 -07:00
Mark Thom 907e64e185 fix root reading of complete strings (#2882) 2025-07-07 22:38:12 -07:00
Mark Thom 46f259bf7d some cosmetic tweaks 2025-07-07 22:38:12 -07:00
Mark Thom 16b3bea48e correct and simplify compute_pstr_size 2025-07-07 22:38:12 -07:00
Mark Thom e20363b462 correct create_partial_string (#2593) 2025-07-07 22:38:12 -07:00
Mark Thom 549a26dd03 restore more tabu_list use to compare_term_tests (#2633) 2025-07-07 22:38:12 -07:00
Mark Thom 8981ab72d1 restore tabu_list insertions to PStr-Lis comparisons (#2636) 2025-07-07 22:38:12 -07:00
Mark Thom 98dae9aecc do not allow strings containing null characters to be inlined (#2848) 2025-07-07 22:38:12 -07:00
Mark Thom 22080f3787 move CodeIndex to F64Table-like table 2025-07-07 22:38:12 -07:00
Mark Thom 9e1e99f961 Revert "remove Term" 
This reverts commit 3b5879841aedecba5057c70c71da0ba23e5cd84a.
 2025-07-07 22:38:10 -07:00
Mark Thom eef7b06919 make write_with forward return values, use it to correct partial string handling 2025-07-07 22:02:27 -07:00
Mark Thom 2ad870c740 read Str focus properly in build_meta_predicate_clause 2025-07-07 22:02:27 -07:00
Mark Thom 3dee07f648 some fixes in response to miri 2025-07-07 22:02:27 -07:00
Mark Thom fadcfb966e copy partial string blocks properly in all solutions predicates 2025-07-07 22:02:27 -07:00
Mark Thom 57f76169fd run cargo fmt 2025-07-07 22:02:27 -07:00
Mark Thom ae4d12a123 remove pstr_vec 2025-07-07 22:02:27 -07:00
Mark Thom 3c85ef2724 globalize ALIGN_CELL/ALIGN, fix compute_pstr_size 2025-07-07 21:59:50 -07:00
Mark Thom c0cd371056 dereference clause_clause value, reserve more parser space (#2579) 2025-07-07 21:59:50 -07:00
Mark Thom 79be0c0625 unmark_cell_bits! in push_literal (#2645) 2025-07-07 21:59:50 -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 34ac85bb6d restore ubuntu testing to ci.yml with rust version 1.77 2025-07-07 21:40:36 -07:00
Mark Thom ce56b5ed6b modify number_token to produce partial lexing results (#2986) 2025-07-05 00:58:28 -07:00
Mark Thom 8e01eea440 be more careful about concatenating '.' in parse_number_from_string (#2986) 2025-07-01 18:40:49 -07:00
Mark Thom 1cf5de8f5c Merge pull request #2970 from notoria/clpz 
Make `(mod)/2` stronger in CLP(Z)
 2025-06-16 21:02:38 -07:00
Mark Thom 686f20db74 Merge pull request #2980 from triska/hophrase 
use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N
 2025-06-16 21:02:20 -07:00
Mark Thom f49a0ae79b Merge pull request #2965 from rotu/zygomorphic-puma 
Remove obsolete compatibility for Rust<1.80
 2025-05-27 22:18:47 -07:00
Mark Thom 8f514ce419 Merge pull request #2955 from rotu/radical-cockroach 
Remove xor as a builtin infix operator
 2025-05-19 22:47:41 -07:00
Mark Thom c790bbfce9 Merge pull request #2956 from bakaq/update_arcu_libffi 
Update dependencies and fix breaking changes in libffi-sys and arcu
 2025-05-13 21:26:29 -07:00
Mark Thom 036c59e5fa Merge pull request #2950 from triska/meetups 
link to Scryer Prolog Meetup 2025 page and its announcement
 2025-05-08 22:53:04 -07:00
Mark Thom a42a88a2c9 Merge pull request #2802 from adri326/null-stream-safety 
Fix UB when interacting with Stream::Null(_)
 2025-05-01 17:35:30 -07:00
Mark Thom 9dab070c11 Merge pull request #2930 from triska/meetups 
ADDED: Section about Scryer Prolog Meetups.
 2025-04-30 18:51:43 -07:00
Mark Thom 90f4716cc3 Merge branch 'null-stream-safety' of https://github.com/adri326/scryer-prolog into adri326-null-stream-safety 2025-04-29 23:32:48 -07:00
Mark Thom 3a6289324e Merge pull request #2901 from matteob8/patch-1 
Update http_server.pl
 2025-04-29 21:41:07 -07:00
Mark Thom f496abbbef use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893) 2025-04-22 23:28:19 -07:00
Mark Thom f1793744bc Merge pull request #2905 from bakaq/bump-msrv 
Bump MSRV and update flake.lock
 2025-04-22 22:28:02 -07:00