copy_stream/2

Merge pull request #3272 from abmclin/windows_improve_notty_stdin_support

Windows improve notty stdin support to resolve issue 3264

Issue 3264: rebase and update dependencies

Issue 3264 add rationale comment & `#[allow(...)]`

Explain why no multibyte UTF-8 encoding support
Disable `bytes()` clippy warning about performance penalty due to unbuffered bytes

Issue 3264: refactor `supported_terminal`

Use better code style

Issue 3264: reformat to conform to style guidelines

Fixes issue 3264 by adding a fallback read mode when reading from non-tty stdin on Windows

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

Merge pull request #3310 from Skgland/process_wait-release

add `release(Bool)` option to `process_wait/3`

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

Merge pull request #3317 from Skgland/optimize-put_back_char

optimize put_back_char

merge crypto-impure feature into feature crypto-full

more spelling fixes

fix spelling

cleanup

- fix some warnings and mark others as expected
- make use of the msrv bump to 1.93.1 and cleanup compat and workarounds

check individual features in CI

make crypto depending on ring optional

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

Merge pull request #3338 from drzv/master

Use make-process to call imagemagick in showterm.el

Merge pull request #3312 from Skgland/big-endian-miri

run miri for a big-endian target

configure linker via env var insread of .cargo/config.toml

someone might already have a .cargo/config.toml

fix missing description

Github documentation states that it is a required field and my linter complained

https://docs.github.com/en/actions/reference/workflows-and-actions/metadata-syntax#description

add a feature for things that are simple to cross-compile

fix miri not being passed the target

fix ci and setup cross-compilation

add miri CI for a big endian target

fix spelling again

remove out-dated comment and fix spelling/grammar

Merge pull request #3311 from Skgland/cleanup2

some cleanup and fixes

Merge pull request #3333 from 0nkery/lazy-lock

replace lazy_static macro with std::sync::LazyLock

Merge pull request #3345 from triska/meetups

link to Scryer Prolog Meetup 2026 page and its announcement

fix spelling

link to Scryer Prolog Meetup 2026 page and its announcement

Merge pull request #3336 from 0nkery/fix-between-doc

fix var mode in between/3 documentation

Merge pull request #3334 from Skgland/stable-order

use BTree{Map,Set} to ensure a stable order based on the key/entry

Merge pull request #3328 from Skgland/update-libffi

upgrade libffi dependency

Merge pull request #3316 from josd/master

Improve CharReader buffering

Merge pull request #3323 from triska/VATmiraal

add link to VATmiraal, https://vatmiraal.be

reuse tabu list

ensure pdl is pushed/popped in pairs

Call ImageMagick with make-process. Redirect stderr to separate buffer

fix var mode in between/3 documentation

use BTree{Map,Set} to ensure a stable order based on the key/entry even if filesystem enumeration order changes

this should help with reproducibility

roll back gitignore changes

remove redundant closure

replace lazy_static macro with std::sync::LazyLock

upgrade libffi dependency

Bump Cargo.toml `rust-version` to `1.93.1`

MSRV discussion settled on `1.93.1` to align with upcoming Debian stable releases

explanation of product

See posting by @constraintAutomaton at:

    https://github.com/mthom/scryer-prolog/pull/3323#issuecomment-4365798844

Many thanks!

add link to VATmiraal, https://vatmiraal.be

un-ignore lorem_ipsum tests as they are no longer slow

optimize CharReader

use a function rather than a closure

add a test with bad utf-8

optimize put_back_char

Always encode the char directly into the buffer.
Only shift the buffer content if there isn't enough room in the front.

Improve CharReader buffering

fix ArenaPtr payload offset logic

the old logic would be incorrect if the payload has higher alignment than the ArenaHeader i.e. when there is padding between the ArenaHeader and the Payload

don't erase ptr type early when construction a Cons HeapCellValue

rather than passing an address as usize pass the ArenaHeader pointer
similarly don't return a u8 ptr but use a ArenaHeader pointer instead

Don't convert the pointer to a ConsPtr by going through native endian
bytes in between.
We are exploiting the fact that the 3 least significant bytes are zero
for pointer to types of alignment 8 and we expect these to line up with
the f, m, and tag field at the end of the ConsPtr struct, but using
native endiannes for this would only work on big endian systems.

fix unused import warning on windows

fix large enum variant size difference warning of PermVarAllocation

by wrapping BranchNumber in an Arc.
PermVarAllocation::Done had size 208 and is now down to 32.
A Box rather than an Arc would be smaller, but it looks like BranchNumber/BranchDesignator are clones a bunch so I expect it to be beneficial to reduce allocations both of the Box itself as well as its content.

fix linux tests on 1.85

old rust versions didn't print the pid

adjust test expectations

add process_wait/3 release(Bool) option

make process_wait/3 release the Process by default

add tests

remove unused HeapCellValueView

it is identical to HeapCellValueTag

replace tabs with spaces

dereference compare_term_test args down from stack (#3286, #3295)

replace tabs with spaces

take Lis index from rd in copy_var (#3298)

Merge pull request #3269 from no382001/quads

fix library paths and module qualification in quadtests.pl

Merge pull request #3293 from danilp-id/http_server_test

http_server test + unignore http_open_hanging

Merge pull request #3274 from no382001/issue3262

fix read/1 on non-TTY stdin blocking until newline

Merge pull request #3291 from Skgland/update-actions

Update actions

cargo fmt

pass scryer path through stream instead of env var

http server test, and also unignore http client test

update pyTooling/Actions/[email protected] -> pyTooling/Actions/[email protected]

update actions/[email protected] -> actions/[email protected]

pin 3rd-party actions

following githubs recommendations[^3rd-p-a] to use full-length commit SHA for 3rd-party actions

setup dependabot to help keep dependencies up-to-date

[^3rd-p-a]: https://docs.github.com/en/actions/reference/security/secure-use#using-third-party-actions

update docker/build-push-action@v6 -> docker/build-push-action@v7

update docker/metadata-action@v5 -> docker/metadata-action@v6

update docker/login-action@v3 -> docker/login-action@v4

update docker/setup-buildx-action@v3 -> docker/setup-buildx-action@v4

update actions/download-artifact@v4 -> actions/download-artifact@v8

update actions/upload-artifact@v4 -> actions/upload-artifact@v7

update actions/checkout@v4 -> actions/checkout@v6

Merge pull request #3276 from Skgland/cleanup

remove unused file

bump `rustyline` to version 18.0.0

Fixes regression discovered on Linux after upgrading `rustyline` to 17.0.2; `SIGINT` not handled as expected, breaking ability to interrupt nontermination in `scryer`.

This was due to a change in `rustyline`'s `SIGINT` behavior since version 16 and corrected in version 18.

Merge pull request #3273 from no382001/issue2914

fix panic in current_prolog_flag/2 when arguments are the same variable

Merge pull request #3271 from abmclin/update_rustyline

Resolves issue 2694 by updating rustyline to 17.0.2

Merge pull request #3266 from Skgland/perf-issue-3265

perf improvements for 3265

remove unused file

restructure based on suggestion

Co-authored-by: Bennet Bleßmann <[email protected]>

fix read/1 on non-TTY stdin blocking until newline #3262

fix panic in current_prolog_flag/2 when arguments are the same variable

Resolves issue 2694 by updating rustyline to 17.0.2

use checked_add to prevent silent overflow

fix library paths and module qualification in quadtests.pl

hint to the compiler/branch-predictor that
we expect p to be in bound

if we are suffiently certain that p can never be oob
unsafe get_unchecked could be used to
eliminate bounds checking all together
which should improve performance further.

run rustfmt