further ffi cleanup

don't panic on unexpected/invalid value

also accept rust type name

use libffi::middle instead of libffi::low were possible

add a simple ffi test using structs

fix UB in ffi tests

add new test helper

make ffi support full {i,u}64 range

fix {i,u}64 in ffi

fix all but {i,u}64

fix crash when trying to load and ffi library with an invalid type specification

add more ffi tests

cleanup and fix miri & cross-compile

add ffi tests using f64

Merge pull request #3019 from Skgland/rebis-dev_fix-clippy

fix clippy

replace .skip(n).next() with .nth(n)

remove unecessary cast

remove unecessary into_iter

prefere for loop

replace always erroring of_else with map_err

replace single non-wildcard pattern match with if let

remove already implied must_use

collaps els-if / if-if

ingore nerver looping loop, but add a todo

fix clippy::unit_arg

check not empty instead of len > 0

impl From rather than Into

fix unecessary mut

ignore clippy::unbuffered_bytes in test helper functions

fix legacy int constants

ignore wrong self convention

fix match/if-let can be simplified to ?

fix unecessary return

fix unecessary reference/dereference

fix clone on copy values

fix clippy::uninlined_format_args

remove outdated comment

also run CI on rebis-dev

detect end_of_file before end_of_stream in get_char (#2990)

allow abolish_clause to abolish empty dynamic clauses (#3010)

fix variadic_functor

fix parsing partial number tokens in other radixes (#3000)

fmt improvements

correct number_chars (#2976)

use granular hierarchical locks in offset_table.rs

synchronize offset table growth with the borrowing of offset pointers

use OffsetTableImpl without synchronization by default

fix crash when loading html

make Fixnum::build_with harder to accidentally misuse
change trait bound order for better

Align the heap to the size of heap cells

Add scan_slice_to_str_from_start

correct threshold marking in copy_structure (#2920)

FIXED: correct partial string tail calculation in arg/3

This addresses another aspect of #2924, found by @haijinSk.
Thank you again!

Example:

    ?- "aaaaaaa" = [_,_,_,_,_,_|T], arg(2, T, 2).
       false.

FIXED: arg/3 for partial strings

This address #2924, reported by @haijinSk. Thank you a lot!

Example:

    ?- arg(2, "a", A).
       A = [].

The fact that such a mistake in macro usage is even possible could be
a sign that the macro definition should be stricter.

fix cont function crashes (#2920)

replace deprecated unify_complete_string call with allocate_cstr

Migrate to strict and exposed provenance

allow unused_parens around let statement in functor! macro

FIXED: invoke correct predicate

Noted by Oleg Finkelstein. Many thanks!

ENHANCED: partial_string/3 no longer creates atoms

As a consequence, resulting strings are now quickly reclaimed on
backtracking.

This addresses #2912.

Test case:

    :- use_module(library(iso_ext)).
    :- use_module(library(lists)).

    ab(a).
    ab(b).

Sample query:

    ?- length(Ls, 1_000_000),
       maplist(ab, Ls),
       partial_string(Ls, Es0, []),
       Es0 == Ls.
       Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  Ls = "aaaaaaaaaaaaaaaaaaa ...", Es0 = "aaaaaaaaaaaaaaaaaaa ..."
    ;  ... .

running in constant memory.

ENHANCED: use a fast test for the expected case of chars in atom_chars/2 etc.

Suggested by Oleg Finkelstein, thank you a lot!

Example, before this change:

    ?- t+\(length(As, 1_000_000), maplist(=(a), As), time(atom_chars(A, As))).
       % CPU time: 0.693s, 7_000_041 inferences
       true.

Now:

    ?- t+\(length(As, 1_000_000), maplist(=(a), As), time(atom_chars(A, As))).
       % CPU time: 0.080s, 40 inferences
       true.

This also partially ameliorates #2907.

correct heap-to-cell-index comparison in copy_slice_to_end (#2906)

fix functor! size calculations around indexing_code_ptr

restore tab completion to REPL (#2575)

make self.s_offset use bytes in case of HeapPtr::PStr in UnifyVoid (#2897)

correct heap_print.rs for null characters being excluded from pstr regions of heap (#2890)

correctly increment s_offset for partial strings (#2897)

fix typo in try_from_partial_string

fix read_s logic around HeapPtr::PStrLoc (#2894)

repair cyclic PStrLoc handling in heap_print.rs

remove compare_pstr_to_string and related result type

ENHANCED: dedicated faster branches for repositionable streams

rebis-dev makes the speed difference especially apparent due to the
linear scan of strings on the heap in partial_string_tail/2 which is
now avoided for repositionable streams, notably files.

This addresses #2888 reported and analyzed by @haijinSk. Many thanks!

correct GetPartialString (#2887)

generalize compare_pstr_segments

ensure '\0' atom is static & never inlined (#2880)

fix root reading of complete strings (#2882)

some cosmetic tweaks

mark done item

correct and simplify compute_pstr_size

correct create_partial_string (#2593)

restore more tabu_list use to compare_term_tests (#2633)

restore tabu_list insertions to PStr-Lis comparisons (#2636)

do not allow strings containing null characters to be inlined (#2848)

move CodeIndex to F64Table-like table

Revert "remove Term"

This reverts commit 3b5879841aedecba5057c70c71da0ba23e5cd84a.

make write_with forward return values, use it to correct partial string handling

read Str focus properly in build_meta_predicate_clause

some fixes in response to miri

Fix parsing of \x0\ in partial strings

copy partial string blocks properly in all solutions predicates

run cargo fmt

remove pstr_vec

globalize ALIGN_CELL/ALIGN, fix compute_pstr_size

Fix allocate_pstr randomly refusing to properly allocate memory

This one was a toughie: it turns out that using `ptr::align_of()`` was
a bad idea, since the buffer in `Heap` itself is not aligned to
`Heap::heap_cell_alignment()`, so `ptr::align_of()` would sometimes
return lower values than expected.

That made for an heisenbug: if the alignment of the heap happened to be 4,
then the bug wouldn't trigger.

Fix Heap::drop not accounting for null-initialized HeapInner

dereference clause_clause value, reserve more parser space (#2579)

unmark_cell_bits! in push_literal (#2645)

introduce bespoke Heap type for in-heap partial strings

variable revision

remove Term