Fix warnings

Make macros private

Be conservative with visibility

Merge pull request #2491 from coasys/reqwest-version-relax

Relax version constraint on reqwest dependency

Fix spelling of reqWest

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

Clean-up comment

More precise comment mentioning Deno

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

Merge pull request #2475 from bakaq/value_heap_walk

Value heap walk in lib_machine

Fix order of variables in bindings

Merge pull request #2474 from Skgland/fix-looping-memory-allocation

Fix looping memory allocation

Merge pull request #2495 from Skgland/fix2467

fix looping from issue #2467

fix looping from issue 2467

Explanatory comment for the wildcard patch version

Explanatory comment for the wildcard patch version

Fix partial strings ending in lists

Fix lists of chars as strings

Represent atom [] as empty list

Differentiate anonymous variables

typo

Relax constraint on version of reqwest dependency (Cargo will pick the latest patch that's possible, but not fail if another dep. has it pinned to something below patch 27)

Value::from_heapcell() implemented with heap walk

Value::from_heapcell()

Merge pull request #2472 from bakaq/query_iterator

Add run_query_iter()

Tests for run_query_iter()

Implement run_query() in terms of run_query_iter()

Add run_query_iter()

Merge pull request #2482 from bakaq/flake

Add flake.nix

Merge pull request #2485 from aarroyoc/learn-pages-docs

Upgrade docs to DocLog 2.0. Includes a test learning page

Upgrade docs to DocLog 2.0. Includes a test learning page

flake.nix

include the type name for better pin-pointing of the error source

- only done here as all other places are non-generic and the panic already includes file and line info, only here are we in a generic context and might need more differentiation

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