Merge pull request #2245 from triska/crrl_ed25519

ENHANCED: Use crrl for Ed25519 signing and signature verification.

ENHANCED: Use crrl for Ed25519 signing and signature verification.

The main motivation for this change is the introduction of the newly
available predicate ed25519_seed_keypair/2, allowing to generate a key
pair from a given seed. In this way, a key pair can be dynamically
generated from (for example) a password, using crypto_password_hash/3
in combination with crypto_data_hkdf/4 to generate the seed. The
advantage of this method is that the private key need not be stored at
all anywhere.

It is not possible to add a corresponding feature to ring, since it is
closed as "not planned": https://github.com/briansmith/ring/issues/1003

I also used this opportunity to move more of the logic to Prolog. We
now have total control of the key pair representation, and I also
changed the representation to conform to the PKCS#8 v2 standard,
something that only later ring versions do, while still being
backwards compatible with tools that produce a wrong representation
including earlier ring versions.

Another great advantage we get from this change is that the Ed25519
predicates now also run on the 32-bit and WASM versions of Scryer.

Merge pull request #2243 from bakaq/issue_2241

Fix anonymous attributed variables not showing in toplevel

Merge pull request #2242 from triska/starting

explain starting Scryer Prolog

Fix anonymous attributed variables not showing in toplevel #2241

explain starting Scryer Prolog

fix off-by-one error caused logtalk test to crash

fix cargo fmt --check

restore [o|i]ip zeroing to trust and fix '$get_clause_p'/3 (#2238)

Merge pull request #2218 from bakaq/when

Add when/2 and when_si/2

clamp lower_bound_of_target_clause index (#840)

don't replace undefined module predicates (#2232)

fix retraction of local dynamic predicates (#2215, #2232)

fix '$get_clause_p' whose old implementation was broken by the introduction
of lookahead indexing

improve performance of lower_bound_of_target_clause (#1598)

Merge pull request #2233 from aarroyoc/fix-functor-2214

Throw ValidType::Atom error in functor

Merge pull request #2229 from aarroyoc/fix-backslash-docs

Fix backslash docs

Throw ValidType::Atom error in functor

Fix backslash docs

Merge pull request #2226 from mthom/dependabot/cargo/zerocopy-0.7.31

Bump zerocopy from 0.7.25 to 0.7.31

Revert "improve performance of lower_bound_of_target_clause (#1598)"

This reverts commit 8938331915c53e34be8f98002fe8d56d8b7ada08.

improve performance of lower_bound_of_target_clause (#1598)

Bump zerocopy from 0.7.25 to 0.7.31

Bumps [zerocopy](https://github.com/google/zerocopy) from 0.7.25 to 0.7.31.
- [Release notes](https://github.com/google/zerocopy/releases)
- [Changelog](https://github.com/google/zerocopy/blob/main/CHANGELOG.md)
- [Commits](https://github.com/google/zerocopy/compare/v0.7.25...v0.7.31)

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

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

fix use of copy_term/3 for attribute goals in toplevel (#888, #2057, #2217)

fix cargo style failure

dereference port address in socket_server_open (#2222)

restore print_tcp_listener in printer (#2221)

Tests for when/2 and solved bug

Add when/2 and when_si/2

Merge pull request #2207 from infogulch/ci-build-before-test

CI: Make test step output easier to read

Merge pull request #2211 from Skgland/file-based-cli-tests

fix missing .pl file for singleton test case and move .pl files under `<testcase>.in/`

fix missing .pl file for singleton test case and move .pl files under `<testcase>.in/`

follow up to #2205

Clean up test step by compiling in build step

Merge pull request #2205 from Skgland/file-based-cli-tests

File based cli tests using trycmd

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

Don’t include unbound variables in results returned from run_query()

Result with one empty match should be false

Merge pull request #2204 from mthom/remove_not_as_non_terminal

remove (\+)//1 (#1511)

fix windows test by not disabling normalization

- this re-enables line ending and file path normalization
  - the latter might be unwanted, but there is only a shared flag
  - this might result in too loose matching of / and \ in stdout and stderr as prolog syntax may be mistaken for a path

fix formatting

rename to match toml file

- goals.pl is used by both compound_goal.toml and multiple_goals.toml therefor renamed the later to share a common prefix with goals.pl, to keep them together

move .pl files from tests-pl next to the .toml of the test that uses them

File-oriented testing

inspired by #2191 but for the `run_top_level_test_with_args`s and  `run_top_level_test_no_args instead of the `load_module_test`s

remove (\+)//1 (#1511)

correct cargo fmt errors

emit callable type errors from call/1 and phrase/3 when appropriate (#2202)

cargo fmt

Don’t include unbound variables in results returned from run_query

Merge branch 'master' into library-use-case

add module name and missing predicate key to module_does_not_contain_claimed_export error (#2195)

Merge pull request #2201 from wkral/revert-2200-percent-graphic-char

Revert "Add '%' to the list of graphic_chars (#2199)"

Revert "Add '%' to the list of graphic_chars (#2199)"

Merge pull request #2200 from wkral/percent-graphic-char

Add '%' to the list of graphic_chars (#2119)

Add '%' to the list of graphic_chars (#2199)

Merge pull request #2194 from triska/clpz_monotonic

support (#=)/3 and (#<)/3 also in the monotonic execution mode

support (#=)/3 and (#<)/3 also in the monotonic execution mode

move propagated_var_nums insertion to proper scope (#2183)

propagate variable hits to parent branches in push_missing_vars (#2183)

Merge pull request #2187 from triska/term_si

ADDED: term_si/1, true for terms

ADDED: term_si/1, true for terms

One use case is to ensure that once/1 is safe to use:

    term_si(Goal),
    once(Goal)

In such cases, Goal is ground and can yield at most one solution,
therefore once/1 does not remove any solutions.

fix overeager detection of (->)/2 in if position of (;)/2 (#2183)

Merge pull request #2186 from aarroyoc/cpu-now-wasm32

Implement $cpu_now in wasm32

open pl files instead of directories (#2014)

Merge pull request #2184 from mthom/dependabot/cargo/openssl-0.10.60

Bump openssl from 0.10.57 to 0.10.60

Implement $cpu_now in wasm32

Bump openssl from 0.10.57 to 0.10.60

Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.57 to 0.10.60.
- [Release notes](https://github.com/sfackler/rust-openssl/releases)
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.57...openssl-v0.10.60)

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

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

allocate cut variables properly (#2183)

allocate cut variables as temporaries when in non-allocating clause (#2183)

bind missing module atom in retract/1 (#2182)

Merge pull request #2169 from infogulch/flame

Benchmark improvements

Merge branch 'master' into flame

remove redundant running count increment in mark_non_callable (#2176)

Merge pull request #2179 from mthom/fix_stress_integration_test

Fix stress integration test

set b0 to b for run_query call

Merge pull request #2173 from aarroyoc/js-eval

Add js_eval/2 for wasm32

Add js_eval/2 for wasm32

Merge pull request #2177 from mthom/remove_assertx

Remove assert(a,z)/2 (#1975)

remove assert(a,z)/2 (#1975)

add CutPoint to select_switch_on_term_index (#2176)

Expose inference counts on Machine; publish to CI

Upgrade to latest iai for summary output

Merge pull request #1999 from triska/time_inferences

ENHANCED: time/1 now shows the number of inferences

fix copy_term/2 variable copying bug in lists (#923, #2127)

Benchmark improvements

* CI: Clean offline; display cleaned bytes; one artifact upload
* Add missing csv bench to iai benchmarks
* Generate flamegraphs for benchmarks
* Validate benchmark results separately

Remove accidentally committed files

ENHANCED: time/1 now shows the number of inferences

Example:

    ?- time(member(X, "abc")).
       % CPU time: 0.000s, 1 inference
       X = a
    ;  % CPU time: 0.000s, 3 inferences
       X = b
    ;  % CPU time: 0.000s, 3 inferences
       X = c.

This is an initial step towards addressing #1039.

fix error detection in int_pow (#2161)

add global_count inference counter that is always incremented (#2009)

fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check

remove unnecessary spaces around (|) (#2164)

Merge pull request #2168 from aarroyoc/update-web-2023-11-15

Remove Scryer Prolog meetup banner :(

Merge pull request #2159 from mthom/dependabot/cargo/rustix-0.38.21

Bump rustix from 0.38.14 to 0.38.21

Bump rustix from 0.38.14 to 0.38.21

Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.38.14 to 0.38.21.
- [Release notes](https://github.com/bytecodealliance/rustix/releases)
- [Commits](https://github.com/bytecodealliance/rustix/compare/v0.38.14...v0.38.21)

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

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

Merge pull request #2167 from infogulch/ci-checks-permission

Add checks permission to ci workflow

Remove Scryer Prolog meetup banner :(

fix sign/1 (#2157)

Add checks permission to ci workflow

This should allow dependabot builds to complete

fix shr crash (#2158)

Merge pull request #2165 from infogulch/bench-csv

Bench csv

Merge pull request #2166 from triska/more_tests

mention more passing tests

mention more passing tests