check whether (re-)allocation succeeded

fixes mthom/scryer-prolog#2449

add detail to comment

Merge pull request #2463 from Skgland/split-up-inconsitent-entry-error

Split up inconsistent entry error

switch invalid term from type to domain error

fix remaining use of declaration instead of directive

remove obsolete ExistenceError::Declaration

change declaration to directive

ajust/add devlaration errors to be more standard compliant

impl PartialEq<str> and PartialEq<&str> for Atom

adjust errors to be more standard compliant

fix compilation for 1.77

split up CompilationError::InconsistentEntry

add test for declaration errors

use an enum for OpDesc spec

Merge pull request #2466 from Skgland/upgrade-deps

Upgrade dependencies

replace derive_deref with derive_more

- the latter already used in our transitive dependencies
- derive_more appears better maintained

replace select by scrape

- the latter appears better maintained and more up to date
- removes some dupplicate/outdated transitive deps

resolve problems from deps upgrade

- downgrade reqwest to 0.11.27
  - fixes problems with missmatched transitive dependencies between it and warp, mainly http
- replace deprecated ripemd160 with ripemd (as specified in the formers readme)
- indexmap: replace deprecated remove with functionally identical swap_remove

update/upgrade dependencies

Merge pull request #2462 from Skgland/fix-segfault

fix segfault by dropping loader state payload after resetting machine

prevent accidental double free by checking tag before drop

drop payload after resetting machine

- under some circumstances the payload is accessed durring reset which would cause a segfault if we drop the payload too early

Merge pull request #2457 from Skgland/library

simplify generated libraries map by using `include_str!`

Fix build on WASM after #2442

(cherry-pick of 3acf4c637b6f8b17bb0230edeaaae0507d9030d1 from PR
mthom/scryer-prolog#2446)

fix copy-past error

add a features for gating things we can use once 1.80 is msrv

use a OnceLock static for LIBRARIES instead of thread_local! static

move the creation of the LIBRARIES IndexMap out of the generated file

- only leave the filling of the map in the generated code

run rustfmt

use include_str! for the build in libraries

instead of "copy-paste-ing" the prolog source into rust string literals in the generated files

Merge pull request #2439 from Skgland/miri

Some cleanup and miri fixes

Merge pull request #2442 from aarroyoc/fix-http-at-end-of-stream

Fix at_end_of_stream/1 for http read stream

Merge pull request #2440 from triska/statistics

ADDED: Preliminary support for statistics/2.

fix leak of slaps with dropped payload

cleanup the slab types

- get rid of HeaderOrIdxPtr
- add IndexPtrSlab
- add UntypedArenaSlab
- add to_untyped for converting a typed slab into an unsyped slab
- remove TypedArenaPtr::new, as they shouldn't be created outside of this module

wrap Payloads that are dropped eraly in ManuallyDrop

check that we don't attempt to un-drop while evacuating

add `AllocateInArena` as a Pivot for  `arena_alloc!`

so that the value type passed to `arena_alloc!` can differ from the `ArenaAllocated::Payload` type

remove unsafe `impl From<UntypedArenaPtr> for CodeIndex`

ignore `pstr_iter_tests` test in miri as it takes too long

fix clippy again

fix leak of ArenaAllocated IndexPtr

replace static Once and two mut statics with one static OnceLock

reduce span of unsafe block

switch macos to latest as macos-11 has been removed

See https://github.com/actions/runner-images/issues/9255

fix clippy

adjust ignore reason

if UB un IndexPtr ArenaAllocated impl

replace `ref_thread_local::ref_thread_local!` with `std::thread_local!`

removes `ref_thread_local` which was still at 0.0.0 released October 2018 while latest 0.1.1 was released mid November 2021

fixes libraries.rs UB

fix stack alignement

- adjust align() in RawBlockTraits impl for Stack
- ensure ptr is always aligned in RawBlock::allock

make components a comma seperated string instead of a list

Fix at_end_of_stream/1 for http read stream

add miri to CI

add associated Payload type to ArenaAllocated

switch Rcu to the arcu crate

The arcu crate is a more general implementation of the Rcu I implemented in here in scryer. It contains some bug-fixes regarding race-conditions in the Rcu update function, which could cause leaks and uses after free.

Source of the problem was the Relaxed load/strore/update of the reference count in side the Arc not being properly ordered with other load/stores.

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

ADDED: Preliminary support for statistics/2.

This is needed for benchmarking library(reif) and its newly provided
goal expansion (#2433).

It partly addresses #321.

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