rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
4,642 Commits 2 Branches 18 Tags
master
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 4e7d9f9010 update README.md
CI / style (push) Has been cancelled
Details
CI / read-msrv (push) Has been cancelled
Details
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown, --no-run --no-default-features, true) (push) Has been cancelled
Details
CI / build-test (miri, true, ubuntu-22.04, nightly, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (true, macos-latest, true, stable, x86_64-apple-darwin) (push) Has been cancelled
Details
CI / build-test (true, ubuntu-22.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (true, windows-latest, true, stable, x86_64-pc-windows-msvc) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, ${{ needs.read-msrv.outputs.msrv }}, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, true, stable, i686-unknown-linux-gnu) (push) Has been cancelled
Details
CI / logtalk-test (push) Has been cancelled
Details
CI / report (push) Has been cancelled
Details
CI / release (push) Has been cancelled
Details
Docker Publish / build (push) Has been cancelled
Details
CI / build-test (--no-default-features --features=all-simple-cross, miri, true, ubuntu-22.04, nightly, s390x-unknown-linux-gnu, --no-run --no-default-features --features=all-simple-cross) (push) Has been cancelled
Details
2026-07-21 23:51:19 -07:00
Mark Thom d3edffb7fc update README.md 2026-07-21 23:48:56 -07:00
Mark Thom 295a642034 Merge pull request #3372 from triska/global_cardinality 
FIXED: Correct global_cardinality/2 propagation with reified constraints.
 2026-06-30 17:25:30 -07:00
Mark Thom ae0999a3bb Merge pull request #3398 from Skgland/fix-3320 
fix incorrect missing feature errors
 2026-06-30 17:25:02 -07:00
Mark Thom 11fd39bbaf Merge pull request #3275 from abmclin/Issue-3223-migrate-to-Rust-edition-2024 
Issue 3223 migrate to rust edition 2024
 2026-06-30 17:22:27 -07:00
Mark Thom daaab1cb37 Merge pull request #3331 from adri326/rawblock-safety 
Prove safety of RawBlock and support multi-threaded usages
 2026-06-11 00:38:04 -07:00
Mark Thom e12d3f14c1 Merge pull request #3363 from Skgland/adjust-discussion-3359-test 
adjust regression test for discussion 3359
 2026-06-05 13:55:21 -07:00
Mark Thom ffb77473b2 Merge pull request #3364 from Skgland/finish-msrv-bump-cleanup 
finish msrv bump cleanup
 2026-06-05 13:54:49 -07:00
Mark Thom 03f796e9ff Merge pull request #3299 from danilp-id/interrupt_test 
Test: SIGINT should be able to interrupt non-terminating goals on linux
 2026-06-04 13:11:08 -07:00
Mark Thom bc14e3aedd Merge pull request #3362 from danilp-id/socket_interrupt 
Handle interrupts for socket_server_accept/4
 2026-06-04 10:56:09 -07:00
Mark Thom 18dd939159 Merge pull request #3352 from danilp-id/http_interrupt 
Interrupts support for http server + other improvements
 2026-06-03 13:36:21 -07:00
Mark Thom 1cbc95bd06 Merge pull request #3360 from Skgland/fix-discussion-3359 
Fix discussion 3359
 2026-06-03 13:35:56 -07:00
Mark Thom 3ce16656ee Merge pull request #3357 from Skgland/fix-issue3346 
ensure ParallelHeapIter pushes its stack in pairs and fix 3346
 2026-06-02 22:19:21 -07:00
Mark Thom 8b6d68a4cd Merge pull request #3347 from drzv/im7-compat2 
showterm.el: use new magick command by default, fallback to convert
 2026-05-28 16:34:52 -07:00
Mark Thom 149d3932be Merge pull request #3272 from abmclin/windows_improve_notty_stdin_support 
Windows improve notty stdin support to resolve issue 3264
 2026-05-26 14:01:23 -06:00
Mark Thom 43b6afcdf3 Merge pull request #3342 from Skgland/pdl-pairs 
ensure pdl is pushed/popped in pairs and reuse tabu_list allocation by moving it from a local variable into the machine state
 2026-05-25 15:10:02 -06:00
Mark Thom 2c23f84808 Merge pull request #3310 from Skgland/process_wait-release 
add `release(Bool)` option to `process_wait/3`
 2026-05-25 15:08:37 -06:00
Mark Thom ad13aa3801 Merge pull request #3320 from Skgland/all-pure-rust 
add a feature for enabling all features that don't pull in non pure rust dependencies
 2026-05-25 14:36:04 -06:00
Mark Thom 79597b63bf Merge pull request #3317 from Skgland/optimize-put_back_char 
optimize put_back_char
 2026-05-25 14:03:31 -06:00
Mark Thom 61d94dceae Merge pull request #3290 from abmclin/bump-rustyline-version-18 
bump `Rust` version to 1.93.1 and bump `rustyline` to version 18.0.0
 2026-05-24 13:27:00 -06:00
Mark Thom 1411417a44 Merge pull request #3338 from drzv/master 
Use make-process to call imagemagick in showterm.el
 2026-05-24 13:22:33 -06:00
Mark Thom 609514b4b8 Merge pull request #3312 from Skgland/big-endian-miri 
run miri for a big-endian target
 2026-05-24 13:22:00 -06:00
Mark Thom cf9e667b50 Merge pull request #3311 from Skgland/cleanup2 
some cleanup and fixes
 2026-05-23 18:27:50 -06:00
Mark Thom 3f0b471227 Merge pull request #3333 from 0nkery/lazy-lock 
replace lazy_static macro with std::sync::LazyLock
 2026-05-23 09:51:22 -06:00
Mark Thom bfca60aa86 Merge pull request #3345 from triska/meetups 
link to Scryer Prolog Meetup 2026 page and its announcement
 2026-05-23 09:51:06 -06:00
Mark Thom 9fcd7776a9 Merge pull request #3336 from 0nkery/fix-between-doc 
fix var mode in between/3 documentation
 2026-05-22 23:04:05 -06:00
Mark Thom 4f166f50a8 Merge pull request #3334 from Skgland/stable-order 
use BTree{Map,Set} to ensure a stable order based on the key/entry
 2026-05-22 22:56:13 -06:00
Mark Thom 1547839c33 Merge pull request #3328 from Skgland/update-libffi 
upgrade libffi dependency
 2026-05-22 22:53:49 -06:00
Mark Thom 5a1423d0f0 Merge pull request #3316 from josd/master 
Improve CharReader buffering
 2026-05-22 22:52:27 -06:00
Mark Thom 3faa838ee2 Merge pull request #3323 from triska/VATmiraal 
add link to VATmiraal, https://vatmiraal.be
 2026-05-22 22:45:39 -06:00
Mark Thom 8dffd72db5 replace tabs with spaces 2026-04-21 16:22:38 -07:00
Mark Thom 703a6dddd1 dereference compare_term_test args down from stack (#3286, #3295) 2026-04-21 16:02:55 -07:00
Mark Thom 5ea262e1d3 replace tabs with spaces 2026-04-21 15:02:14 -07:00
Mark Thom 010b00f349 take Lis index from rd in copy_var (#3298) 2026-04-21 14:31:53 -07:00
Mark Thom 974722bc1c Merge pull request #3269 from no382001/quads 
fix library paths and module qualification in quadtests.pl
 2026-04-18 18:20:03 -06:00
Mark Thom 695389bda1 Merge pull request #3293 from danilp-id/http_server_test 
http_server test + unignore http_open_hanging
 2026-04-18 18:17:18 -06:00
Mark Thom 9cf0d8b484 Merge pull request #3274 from no382001/issue3262 
fix read/1 on non-TTY stdin blocking until newline
 2026-04-18 18:16:53 -06:00
Mark Thom 381b4f2857 Merge pull request #3291 from Skgland/update-actions 
Update actions
 2026-04-18 18:16:00 -06:00
Mark Thom 87f97c7e5c Merge pull request #3276 from Skgland/cleanup 
remove unused file
 2026-04-08 22:18:32 -06:00
Mark Thom 3e2f3ecfdb Merge pull request #3273 from no382001/issue2914 
fix panic in current_prolog_flag/2 when arguments are the same variable
 2026-04-04 13:06:11 -06:00
Mark Thom 2b6b11e6be Merge pull request #3271 from abmclin/update_rustyline 
Resolves issue 2694 by updating rustyline to 17.0.2
 2026-04-04 12:28:35 -06:00
Mark Thom 7da2ba2015 Merge pull request #3266 from Skgland/perf-issue-3265 
perf improvements for 3265
 2026-04-04 12:02:29 -06:00
Mark Thom 79a9b950cb Merge pull request #3243 from danilp-id/master 
fix http stream not being closed fully
 2026-03-19 23:36:58 -07:00
Mark Thom fba2854f21 Merge pull request #3257 from triska/include 
ISO: Implement the include/1 directive
 2026-03-17 23:58:04 -07:00
Mark Thom b0b89a0aca Merge pull request #3258 from no382001/fix_load_xml/3 
load_xml was returning a single term instead of a list of nodes
 2026-03-14 22:46:03 -07:00
Mark Thom 8002b9a78b Merge pull request #3234 from fusiongyro/patch-1 
Fixed a typo in the documentation for atom_codes/2
 2026-03-09 22:09:40 -07:00
Mark Thom 02f86587b5 Merge pull request #3232 from triska/not_si 
ADDED: not_si/1
 2026-03-09 22:09:09 -07:00
Mark Thom 4d144ea819 Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1 
replace custom modular_bitfields fork with update upstream
 2026-03-09 22:08:28 -07:00
Mark Thom 02c927bb83 Merge pull request #3241 from Skgland/parse-error-improvements 
change `ParserError` type
 2026-03-09 22:07:03 -07:00
Mark Thom 4a8388a6e9 Merge pull request #3189 from Skgland/fix-function_casts_as_integer 
fix `function_casts_as_integer` warning
 2026-03-09 22:06:33 -07:00
Mark Thom 7bf014cdf5 Merge pull request #3260 from thierrymarianne/dealing-with-invalid-utf8-string 
handle invalid UTF-8 string
 2026-03-09 20:56:04 -07:00
Mark Thom 453a88f03e Merge pull request #3211 from mthom/setof_correction_and_opt 
Correct and optimize setof/3 and bagof/3
 2026-01-14 22:07:10 -07:00
Mark Thom c79fd74331 remove unnecessary extra work in findall_with_existential/5 2026-01-14 20:39:48 -08:00
Mark Thom e446b13376 remove hashbrown crate 2026-01-14 20:39:48 -08:00
Mark Thom a83f412251 replace sort_without_dedup/2 with keysort/2 2026-01-14 20:39:48 -08:00
Mark Thom 1a8c4f9b03 cargo fmt fixes 2026-01-14 20:39:48 -08:00
Mark Thom c2e1ded852 remove variant_hashing.rs and related instructions 2026-01-14 20:39:48 -08:00
Mark Thom 70220687f4 find variant terms using just sort/2 and (==)/2 2026-01-14 20:39:48 -08:00
Mark Thom 69a367d1c9 do not retain attributes in solutions of findall (#3020) 2026-01-14 20:39:48 -08:00
Mark Thom e2bdf59c81 fix cargo fmt 2026-01-14 20:39:48 -08:00
Mark Thom 6284aa3a3f add variant_hash and is_non_variant to fix setof/3, bagof/3 2026-01-14 20:39:48 -08:00
Mark Thom 29cd80510b replace compare_term_test with parallel iterator, add is_not_variant 2026-01-14 20:39:45 -08:00
Mark Thom 9089f9ddb4 use branch numbers to detect branch subsumption 2026-01-14 20:34:06 -08:00
Mark Thom 16dc10ee96 assert rational(3) as true in tests/builtins.pl 2026-01-14 20:34:06 -08:00
Mark Thom 4e8f338870 Merge pull request #3222 from Skgland/reduce-instructions_template 
move static parts of instructions template directly into instructions module, fix clippy and typos
 2026-01-12 23:22:44 -07:00
Mark Thom 172b6a6f8f Merge pull request #3207 from Skgland/quote-fix-unquote-segv 
"fix" segv from #3198, #3199, and #3205
 2025-12-17 14:11:21 -07:00
Mark Thom cd1ed106ed Merge pull request #3177 from triska/use_phrase_to_file 
use more recently available phrase_[to|from]_file/3 in example
 2025-12-08 19:23:52 -07:00
Mark Thom f570e566f8 fix backtrack_on_resource_error around choice instructions 2025-12-03 18:13:00 -08:00
Mark Thom 96a9dfcc1b Merge pull request #3185 from mthom/install_verify_attr_opt 
Optimize `verify_attr` by removing the need to scan instructions
 2025-12-03 19:10:46 -07:00
Mark Thom 6fdcd17f32 Merge pull request #3164 from Skgland/alloc_errors2 
handle machine heap/stack allocation error
 2025-12-03 19:10:22 -07:00
Mark Thom 652e824e59 Merge pull request #3147 from jjtolton/error-termination-flag 
Add -t flag for custom toplevel (replaces --halt-on-error)
 2025-12-02 00:24:46 -07:00
Mark Thom f595eaee2e Merge pull request #3179 from triska/meetups 
update meetups
 2025-12-01 23:55:46 -07:00
Mark Thom 9ddeeed683 Merge pull request #3180 from triska/foldl_6 
ADDED: foldl/6, addressing #2973
 2025-12-01 23:55:34 -07:00
Mark Thom b287f0aedb corrections to arithmetic expression compilation 2025-11-27 21:03:56 -08:00
Mark Thom 3b019fca1d corrections to dispatch loop 2025-11-27 21:03:22 -08:00
Mark Thom 4bd16b8a2e revise InstallVerifyAttrs to remove need for predicate scanning (#3175) 2025-11-25 23:17:51 -08:00
Mark Thom f2e044e5b8 remove interms field from MachineState 2025-11-24 22:19:36 -08:00
Mark Thom e4d9692535 Merge pull request #3120 from aarroyoc/master 
Delete test page from learning section
 2025-10-20 19:46:26 -07:00
Mark Thom f050e75d81 Merge pull request #3124 from bakaq/mark-partial-string-tail 
Fix marking of partial string tail in iteration
 2025-10-20 19:46:11 -07:00
Mark Thom 3dcb42af3c Merge pull request #3117 from aarroyoc/update-releases-0100 
Update web to show 0.10.0 releases
 2025-10-20 19:45:19 -07:00
Mark Thom d7d5dfe059 Merge pull request #3108 from Skgland/issue-3073 
emit a more appropriate error when passing the wrong argument count when constructing an ffi struct with the wrong argument count
 2025-10-02 23:43:13 -07:00
Mark Thom 109796122e Merge pull request #3111 from Skgland/ffi-non-fixed-sized-integers 
add support for non-fixed-width integers types for ffi
 2025-10-02 23:42:59 -07:00
Mark Thom 476c1718f9 Merge pull request #3109 from Skgland/issue-3107 
move CI  job release from retired ubuntu-20.04 image to ubuntu-22.04
 2025-09-29 20:47:55 -07:00
Mark Thom e7ac3ae0f7 version bump to 0.10.0
CI / style (push) Has been cancelled
Details
CI / build-test (macos-latest, true, stable, x86_64-apple-darwin) (push) Has been cancelled
Details
CI / build-test (miri, true, ubuntu-22.04, nightly, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, ${{ needs.read-msrv.outputs.msrv }}, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, true, stable, i686-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-22.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (windows-latest, true, stable, x86_64-pc-windows-msvc) (push) Has been cancelled
Details
CI / logtalk-test (push) Has been cancelled
Details
CI / report (push) Has been cancelled
Details
CI / release (push) Has been cancelled
Details
Docker Publish / build (push) Has been cancelled
Details
CI / read-msrv (push) Has been cancelled
Details
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown, --no-run --no-default-features, true) (push) Has been cancelled
Details
2025-09-27 00:05:31 -07:00
Mark Thom 60595f990f Merge pull request #3095 from thierrymarianne/derefering-registers-in-files-module-instructions-functions 
Dereferencing registers in `files` module instructions functions
 2025-09-22 22:28:10 -07:00
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