Merge branch 'js/read' into js/integration

Merge branch 'js/sleep' into js/integration

Raise interrupt exception on Ctrl-C at the read prompt

While rustyline holds the terminal in raw mode, Ctrl-C is delivered as
`ReadlineError::Interrupted` rather than as a `SIGINT`, so the ctrlc handler
never sets the `INTERRUPT` flag. `call_readline` also pushed Interrupted
into the generic IO-error arm, which read_term then mis-classified as
`end_of_file` so Ctrl-C at a `read/1` prompt unified `end_of_file` instead
of interrupting.

Handle `ReadlineError::Interrupted` explicitly: set `INTERRUPT` and return an
Interrupted IO error. `read_term` now checks the flag in its error arm and
raises the interrupt exception instead of falling through to the EOF or
syntax-error handling.

Make sleep/1 interruptible by Ctrl-C

sleep/1 previously called a single blocking std::thread::sleep for the
whole duration, which runs to completion regardless of SIGINT. The
interrupt flag was only polled by the dispatch loop every 256
instructions, so a sleep-dominated loop kept running for a
nondeterministic number of extra iterations after Ctrl-C.

Sleep in 50ms slices and poll interrupt_occured() between them, throwing
the interrupt exception promptly when the flag is set.

Raise interrupt exception on Ctrl-C at the read prompt

While rustyline holds the terminal in raw mode, Ctrl-C is delivered as
ReadlineError::Interrupted rather than as a SIGINT, so the ctrlc handler
never sets the INTERRUPT flag. call_readline also lumped Interrupted
into the generic IO-error arm, which read_term then mis-classified as
end_of_file -- so Ctrl-C at a read/1 prompt unified end_of_file instead
of interrupting.

Handle ReadlineError::Interrupted explicitly: set INTERRUPT and return an
Interrupted IO error. read_term now checks the flag in its error arm and
raises the interrupt exception instead of falling through to the EOF or
syntax-error handling.

Make sleep/1 interruptible by Ctrl-C

sleep/1 previously called a single blocking std::thread::sleep for the
whole duration, which runs to completion regardless of SIGINT. The
interrupt flag was only polled by the dispatch loop every 256
instructions, so a sleep-dominated loop kept running for a
nondeterministic number of extra iterations after Ctrl-C.

Sleep in 50ms slices and poll interrupt_occured() between them, throwing
the interrupt exception promptly when the flag is set.

Merge branch 'js/rustls' into js/integration

Merge branch 'js/pio-phrase-from-stream' into js/integration

Merge branch 'js/tls-process-docs' into js/integration

Change to rustls and expose optional client certificate

Proper backtracking on interrupted socket/http listeners

Better visuals for documentation in library(tls), library(process)

1. Trailing whitespaces makes Doclog not render lists as lists.
2. TLS module documentation was only visible in Prolog source code.

Allow using non-terminating streams in phrase_from_stream

Merge pull request #3331 from adri326/rawblock-safety

Prove safety of RawBlock and support multi-threaded usages

Merge pull request #3363 from Skgland/adjust-discussion-3359-test

adjust regression test for discussion 3359

Merge pull request #3364 from Skgland/finish-msrv-bump-cleanup

finish msrv bump cleanup

remove unecessary use of LayzLock

AtomicBool::new const

fix lint warnings

cleanup after msrv bump

adjust regression test for discussion 3359

- incorporate fix from https://github.com/mthom/scryer-prolog/commit/3a2d57db33d49139d13c1e8cfba6eb3d79bcec19#commitcomment-187528793
- mark as should panic rather than ignored, this ensures that the test will be updated should this get fixed

Merge pull request #3299 from danilp-id/interrupt_test

Test: SIGINT should be able to interrupt non-terminating goals on linux

fix merge

Merge branch 'master' into interrupt_test

Merge pull request #3362 from danilp-id/socket_interrupt

Handle interrupts for socket_server_accept/4

handle interrupts for tcp server

Merge pull request #3352 from danilp-id/http_interrupt

Interrupts support for http server + other improvements

Merge pull request #3360 from Skgland/fix-discussion-3359

Fix discussion 3359

ignore added test on i686-unknown-linux-gnu

appears to have been broken even before d50d42509903dc3cc1841eb757a703753de84754
so has a different cause that needs to be investigated

fix discussion 3359

add regression test for discussion 3359

Merge pull request #3357 from Skgland/fix-issue3346

ensure ParallelHeapIter pushes its stack in pairs and fix 3346

use Notify instead of Sender

fix parallel heap iter

use a pair for ParallelHeapIter

to ensure it is pushed popped in pairs

unused code for unimplemented shutdown on timeout feature

cargo fmt

allow to stop and start http server at will with SIGINT, stop the server on uncaught throws, display timing info for each request, use setup_call_cleanup in more places to avoid potential leaks, when handler for a path doesn't have a matching case, throw a detailed error instead of silently continuing

Test that SIGINT interrupts non-terminating goals on unix.

Cleanup: use tokio::test instead of special test helpers

Added pty_exec.py helper script to run binaries with a pseudoterminal attached (bug won't trigger otherwise).

Tested CI to fail on all unixes (ubuntu+macos) with older rustyline, and pass with new one.

Merge pull request #3347 from drzv/im7-compat2

showterm.el: use new magick command by default, fallback to convert

Merge pull request #3272 from abmclin/windows_improve_notty_stdin_support

Windows improve notty stdin support to resolve issue 3264

showterm.el: use new magick command by default, fallback to convert

showterm.el: revert #3338

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

RawBlock: finish proof of safety and defragment after growing

After calling `grow()`, the new head would jump to `old_capacity` rather
than staying to the same offset.

In practice this only loses a few bytes at most.

RawBlock: switch to Cell or AtomicPtr instead of UnsafeCell

This is the first step towards enabling multithreading on AtomTable.

For now RawBlock will default to using Cell, which yields a byte-
equivalent compiled output.

Also adds an `atomic` feature, which, when enabled, will make RawBlock
use an AtomicPtr instead, ensuring that it implements `Sync`.

RawBlock: seal `base` and add Stack::index_dangling_or_frame

Direct accesses to `base` are replaced with dedicated methods with
explicit safety requirements.

RawBlock: seal most fields, replace `top` with a `capacity` field

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