add miri CI for a big endian target

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

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

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

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

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.

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

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

adjust interrupt handling

we used to spend ~5.8% of the time on getting the next value of the 0..INSTRUCTIONS_PER_INTERRUPT_POLL iterator

increment on Wrapping<u8> now only takes ~0.58 of the time

switch from Integer to u128

- u128 is only 16 bytes instead of 24
- incrementing u128 does not involve heap allocations
- u128 should be sufficent
 it would take more than 2 sextilion years to overflow if we would be incrementing it every tick at 5GHz
   i.e. 2^128-1 / 5 GHz / 60 / 60 / 24 / 356 > 2 sextilion

before this ~3.2% of the execution time of the program in https://github.com/mthom/scryer-prolog/issues/3265#issuecomment-4103176469 was spend in the increment_call_count function, after this change it's down to 0.3%

Merge pull request #3243 from danilp-id/master

fix http stream not being closed fully

Merge pull request #3257 from triska/include

ISO: Implement the include/1 directive

retain error context (load/1) when using :- D.

Merge pull request #3258 from no382001/fix_load_xml/3

load_xml was returning a single term instead of a list of nodes

load_xml was returning a single term instead of a list of nodes

Merge pull request #3234 from fusiongyro/patch-1

Fixed a typo in the documentation for atom_codes/2

Merge pull request #3232 from triska/not_si

ADDED: not_si/1

Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1

replace custom modular_bitfields fork with update upstream

Merge pull request #3241 from Skgland/parse-error-improvements

change `ParserError` type

Merge pull request #3189 from Skgland/fix-function_casts_as_integer

fix `function_casts_as_integer` warning

Merge pull request #3260 from thierrymarianne/dealing-with-invalid-utf8-string

handle invalid UTF-8 string

ENHANCED: support quads in included files

Suggested by @dcnorris, many thanks!

    https://github.com/mthom/scryer-prolog/issues/634#issuecomment-4003451420

add documentation

Signed-off-by: Thierry Marianne <[email protected]>

revise indentation of raw string

Signed-off-by: Thierry Marianne <[email protected]>

use C-string literal

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

cargo fmt fixes

Signed-off-by: Thierry Marianne <[email protected]>

apply suggestion

Signed-off-by: Thierry Marianne <[email protected]>

move test to tests/scryer/ffi.rs

Signed-off-by: Thierry Marianne <[email protected]>

use CStr .to_str() method

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

use C-string literal

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

fix utf-8 panic

Signed-off-by: Thierry Marianne <[email protected]>

add failing test highlighting panic on invalid UTF-8 cstr

Signed-off-by: Thierry Marianne <[email protected]>

ISO: Implement the include/1 directive

Quoting from the standard:

    7.4.2.7 include/1

    If F is an implementation defined ground term designating
    a Prolog text unit, then Prolog text P1 which contains
    a directive include(F) is identical to a Prolog text P2
    obtained by replacing the directive include(F) in P1 by
    the Prolog text denoted by F.

Example:

    :- include("hello.pl").

This addresses #583 and #634.

run apt update before apt install

https://github.com/orgs/community/discussions/145882#discussioncomment-11447924

fix warning in CI about using apt in a script

run cargo fmt

fix clippy lint warning

remove no longer necessary allows

replace custom modular_bitfields fork with update upstream

part of #2468

move drop to impl Drop

fix http stream not being closed fully

reduce visibility to pub(crate) to prevent accidentally exposing

fix some lint warnings

don't expose lexical error and provide location

make ParserError a struct with an enum kind field

add location to InvalidSingleQuotedCharacter

make match exhaustive

replace pairs of usize with location struct

Fixed a typo in the documentation for atom_codes/2

ADDED: not_si/1

For a recent example that would benefit from this, see "Prolog Basics
Explained with Pokémon" by @alexpetros:

    https://unplannedobsolescence.com/blog/prolog-basics-pokemon/

Thank you a lot!