fix stream.rs UB

somehow this was never marked as bad

clippy: change ToString impl to Display

- write directly to formatter, eliminating intermediate String allocations
- take Value by reference eliminating clones
- remove trim() called on the result of  QueryResolution::to_string
    - we only  emit "true", "false", or "[<resolutions>]"
      neither of which contains trailing or leading withespace,
      so the calls was effectively a noop

clippy: use type associated constants

clippy: ptr dereference in safe function

clippy: identity conversion

fix saftey comment

clippy: explicit ptr addrs comparision

relevant for wide pointers i.e. pointers with metadata

clippy: allow new without default

clippy: use clone_from rather than clone

clippy: ignore unused fields on PrologBenchmark struct

run rustfmt

update ignore reason

adjust the generation of the LIBRARIES map

pre-genrate constants instaed of driectly genrating the literal for the insert

don't use env::current_dir() in miri

fix some more miri errors

probably relevant to mthom/scryer-prolog#2438

some test pass miri

remove rust_beta_channel feature

- the msrv (i.e. rust-version in Cargo.toml) is high enough that all gated code can now be used on stabe

unify pointer width

replace transmut with pointer cast calls

resolve miri error for pstr_iter_tests  in atom_table

relevant to mthom/scryer-prolog#2438

adjust alignment calculation

- I think this used to overallocate when the alignment was already met

rework some unsafe parts

- removed some unsafe
- added some safety comments
- add explicit types to transmute calls
- reworked UntypedArenaPtr -> TypedArenaPtr conversion

might help with mthom/scryer-prolog#2438, I noticed fewer complains from miri after changing the default impl for `ArenaAllocated::alloc`

remove remains of num feature

commit c41aba6b90d2b29f893394d34a80c774b4506d7a removed the num feature but a few cfgs remained

Merge pull request #2436 from triska/arxivlink

link to newly available paper about Grants4Companies

link to newly available paper about Grants4Companies

Merge pull request #2417 from aarroyoc/fix-2416

Manage Float and Double FFI types in structs

Manage Float and Double FFI types in structs

Merge pull request #2413 from Skgland/master

re-add CI job to test Cargo.toml rust-version

create swap file for wasm32 build

fix two clippy lints

re-add CI job to test Cargo.toml rust-version

was removed in #2393 instead of being updated, see

- https://github.com/mthom/scryer-prolog/pull/2393#discussion_r1585963855 and
- https://github.com/mthom/scryer-prolog/commit/79bc2d9c68da2257a94eb22ef8717a304173e344#commitcomment-141790142

Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination

Fix warnings of dead code

Fix warnings of dead code

more generally consider NEGATIVE_SIGN a non-op term (#2401)

Merge pull request #2393 from mthom/unsafe_improvements

Improve use of unsafe Rust in arena.rs (#2391)

remove 1.70 version CI job

delay instantiation errors on lists in phrase/3 until runtime (#1665, #2396)

detect External indices more generally in internalize_constant (#2395)

fix failing clippy checks, remove unnecessary code

fix wasm tests in unsafe_improvements branch

bump required rust version for use of newly introduced macros

improve use of unsafe Rust in arena.rs (#2391)

add nth_partial_strings_tests for bugs raised in #1827, #2381

use common test_framework module for several test suites

fix char_offset values in add_pstr_offset_chars (#2381)

fix skip_max_list crash on bigint max_steps (#2382)

add max_steps to PStr offset (#2381)

correct offsets around max_steps in skip_max_list (#2381)

Merge pull request #2379 from aarroyoc/scryer-prolog-meetup-2024

website: add Scryer Prolog Meetup 2024 banner

website: add Scryer Prolog Meetup 2024 banner

add Scryer Prolog Meetup 2024 to README

Merge pull request #2376 from mthom/dependabot/cargo/h2-0.3.26

Bump h2 from 0.3.24 to 0.3.26

Bump h2 from 0.3.24 to 0.3.26

Bumps [h2](https://github.com/hyperium/h2) from 0.3.24 to 0.3.26.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.26/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.24...v0.3.26)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

treat Utf8Error::valid_up_to as an offset form self.pos, which it is (#2374)

Merge pull request #2367 from triska/dcg_meta_predicates

ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2

correct offset retrieval in add_pstr_chars_and_step (#2370)

ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2

This addresses #2366.

Merge pull request #2363 from triska/compile_format

ENHANCED: Partial evaluation of format_//2 and related constructs

ENHANCED: further partial evaluation for the common control sequence ~d

extend partial evaluation to computing lengths when statically possible

goal expansion for format/2 and format/3

In this way, we benefit from partial evaluation of format strings.

strengthen type check

ENHANCED: Partial evaluation of format_//2.

This moves analysis of the format string to compilation time when
possible, so that parsing it at run time is no longer necessary.

expand_call_goals/3 should expand meta-predicate subgoals (#2361)

Merge pull request #2358 from triska/octet_documentation

Documentation improvements for encoding(octet) option in several predicates

indicate deprecated functionality

DOC: Un-document the ability to use bytes with encoding(octet).

This usage is now considered deprecated. Use strings instead for
greater efficiency and type consistency in your applications.

This functionality is a candidate for removal in a future commit.

DOC: Improve descriptions to make clear what encoding(octet) means.

In particular, octet does *not* mean that the input is a list of
Prolog bytes in the sense of "integers between 0..255", but that the
character codes are used directly as byte values.

don't skip to end of pstr in CommaSeparatedCharList token variant (#2356)

Merge pull request #2357 from aarroyoc/update-website-0.9.4

Website: link release v0.9.4

Website: link release v0.9.4

recompile original terms from compile_clause for term to term expansions (#2236)

Merge pull request #2354 from triska/side_channel

explain potential side-channel attacks due to compact string representation

explain potential side-channel attacks due to compact string representation

This legitimate concern was already raised by @infogulch in:

https://github.com/mthom/scryer-prolog/issues/1309#issuecomment-1080028854

Thank you a lot!

Merge pull request #2353 from triska/hmac_verification

ENHANCED: Safe HMAC verification, using constant time string comparison.

ENHANCED: Safe HMAC verification, using constant time string comparison.

Without this provision, the expected HMAC can be gathered from timing
differences depending on the position where the strings first diverge,
and hence an attacker can forge an authenticated message by supplying
the gathered HMAC.

Test case, using exp(E) to succeed exactly 2^E times:

    exp(E) :-
        N is 2^E,
        between(1, N, _).

yielding:

    ?- Options = [algorithm(sha512),hmac([1,2,3])],
       Ds = "test",
       crypto_data_hash(Ds, H, Options),
       phrase((seq(As),seq(Bs)), H),
       same_length(Bs, Cs),
       maplist(=(a), Cs),
       append(As, Cs, H1),
       time((exp(10),crypto_data_hash(Ds, H1, Options),false)).
    %@    % CPU time: 0.710s, 7_942_187 inferences
    %@    % CPU time: 0.713s, 7_942_187 inferences
    %@    % CPU time: 0.712s, 7_942_187 inferences
    %@    % CPU time: 0.711s, 7_942_187 inferences
    %@    % CPU time: 0.710s, 7_942_187 inferences
    %@    % CPU time: 0.711s, 7_942_187 inferences
    %@    % CPU time: 0.710s, 7_942_187 inferences

    ?- length(_, L), time((exp(10),crypto_data_hash("test", "3caebd1a0a2647930319a660b7d3642eb380fbd43202f9f6d08aabaa9ba50c39522a12ead10f0423f0af613cbc6fea74ad682ee11f563cc2e735722004fda2ba", [algorithm(sha512),hmac([0,L])]),false)).
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.734s, 7_878_699 inferences
    %@    % CPU time: 0.732s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.733s, 7_878_699 inferences
    %@    % CPU time: 0.515s, 5_525_404 inferences
    %@    error('$interrupt_thrown',repl/0).

Merge pull request #2351 from infogulch/install-current-iai

Install version of iai-callgrind set in Cargo.toml

Install version of iai-callgrind set in Cargo.toml

make indexer downcast Integers to Fixnums when possible, be slightly more judicious about allocating Integers instead of Fixnums (#2340)

add #2341 test to lib_machine.rs

use scryer-modular-bitfield on github, version bump

fix misuse of TypeError trait while fixing #2345

issue callable type error from dynamic_module_resolution if module is not an atom (#2345)

Merge pull request #2309 from coasys/library-use-case

Iron-out edge cases for library use-case, adding extensive real-world test assertions

Merge pull request #2342 from triska/curve_doc

DOC: Add DocLog comments for reasoning about elliptic curves.

DOC: Add DocLog comments for reasoning about elliptic curves.

Merge pull request #2338 from triska/hmac

ADDED: Hash-based message authentication code (HMAC), using hmac(Key).

ADDED: Hash-based message authentication code (HMAC), using hmac(Key).

Merge pull request #2337 from triska/master

link to newly available paper on analysis of dose-escalation protocols

link to newly available paper on analysis of dose-escalation protocols

Many thanks to @dcnorris for this great application and cooperation!

fix build of run_iai bench for wasm32

fix benchmarks being broken for every target except wam32

cfg out benches for wasm32

fix compilation of wasm32 test  and skip to run wasm32 tests

undo `continue-on-error`

- currently  `continue-on-error` is not shown in a usefull way on failiure see <https://github.com/orgs/community/discussions/15452>

bump ahash lock to 0.8.7

- fix nightly build
- not bumping to latest aka. 0.8.8 as that has a msrv of 1.72.0 and we are only at 1.70.0

Merge pull request #2327 from triska/char_type

FIXED: char_type/2 for unbound first argument.

FIXED: char_type/2 for unbound first argument.

Surrogate pairs form a gap in valid character codes, see:

    https://github.com/mthom/scryer-prolog/issues/2326#issuecomment-1937864665

Many thanks to @Skgland for the pointer, and to @librarianmage for the
question that spawned this!

This addresses #2326.

continue-on-error if target=wasm32 or rust=nightly