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

Reactivate nightly test job with continue-on-error set

Use stable Rust for style/report and deactivate nightly x86_64 target in CI

Merge branch 'master' into library-use-case

Update src/machine/parsed_results.rs

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

fix tests broken by singleton

Merge pull request #2322 from triska/char_code

ENHANCED: Bi-directional char_code/2, addressing #2321.

ENHANCED: Bidirectional char_type/2, addressing #2321.

Suggested by @librarianmage, many thanks!

Merge pull request #2319 from triska/clpz_t

ADDED: clpz_t/2, generalizing support for use with library(reif)

ADDED: clpz_t/2, generalizing support for use with library(reif)

This was suggested and contributed by @librarianmage in:

    https://github.com/mthom/scryer-prolog/issues/2225#issuecomment-1890801923

Many thanks!

If anyone can find a better predicate name, please let us know any time!

fmt

Merge pull request #2317 from aarroyoc/all-modules-test

Add all_mdoules test and fix library(csv)

Add all_mdoules test and fix library(csv)

fix reverted tests, ensure files are loaded before goals (#2315)

fix broken tests

treat consultation of command line modules as regular goals (#2314)

fmt

load .scryerrc before files and goals (#1775, #2313)

record stub choice point as block

Test show problem with nonexistent predicate

fmt

clippy

Fix all orderings in integration assertions

Remove test with long program literals, not needed

More ordering adjustments

fix style errors

index stub choice point correctly

Extract failing assertion as single test case

Adjust some first result orderings in integration assertions

check for True or False Query Resolution unconditionally

fmt

Add more test cases to differentiate usage of discontiguous

Minimal reproduction of faulty behaviour seen in integration tests

Merge branch 'master' into library-use-case

Add expected results to integration test

Results are logs of what we get with old toplevel-based version of lib_machine. These are also congruent with what our tests logged out based on SWI.

scan registers of instructions leading to verify_attributes interrupt to find the number of registers to save (#2307)

add non chunk traversing cut family instructions to is_head_instr (#2307)

Merge pull request #2308 from triska/small_format_improvements

Small format improvements

update answers using latest toplevel output

rely on recently improved argument indexing for determinism

This is possible as of 4fd37335f576240c25dfbfe6e70441aff166c60e.

move call_residue_vars/2 from atts.pl to iso_ext.pl

don't mark temp variables as safe through argument_to_value (#2307)

Merge pull request #2306 from triska/dcg_representation

No longer use (->)//2 in library(clpb)

Merge pull request #2305 from mthom/dependabot/cargo/h2-0.3.24

Bump h2 from 0.3.22 to 0.3.24

improve error context

Source: https://github.com/mthom/scryer-prolog/issues/2304#issuecomment-1906434756

no longer use (->)//2, since it is implementation defined

This addresses #2304.

Bump h2 from 0.3.22 to 0.3.24

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

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

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

Merge pull request #2303 from mthom/dependabot/cargo/shlex-1.3.0

Bump shlex from 1.2.0 to 1.3.0

Bump shlex from 1.2.0 to 1.3.0

Bumps [shlex](https://github.com/comex/rust-shlex) from 1.2.0 to 1.3.0.
- [Changelog](https://github.com/comex/rust-shlex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/comex/rust-shlex/commits)

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

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

Merge pull request #2302 from triska/dcg_representation

Throw representation errors for unsupported DCG grammar control constructs

use newly available false//0

no longer use (->)//2, since it is implementation dependent

remove checks that are now no longer needed due to representation errors

ENHANCED: Throw representation errors for DCG bodies that use unsupported constructs.

This addresses #2285.

MODIFIED: (->)/2 in DCGs is now only supported in the context of if-then-else.

That is, ( If -> Then ; Else ) is still supported, but ( If -> Then ) not.

Merge pull request #2301 from aarroyoc/docs-copy-term-3

Move copy_term/3 to library(iso_ext)

Merge pull request #2300 from aarroyoc/fix-2298

Throw error in call_residue_vars/2

Move copy_term/3 to library(iso_ext)

Throw error in call_residue_vars/2

add better no op detection in char_reader.rs (#2297)

add #2293 tests, advance continuable HeapPStrIters away from unpacked compounds (#2293)

fix additional tests, make better use of existing code (#2293)

fix additional tests (#2293)

add missing CStr branch to unify_partial_string (#2293)

Merge pull request #2276 from triska/hophrase

ADDED: Support for higher-order non-terminals phrase//[2,3]

Merge pull request #2281 from bakaq/miri

Initial Miri support

Make "cargo miri test" actually run

fix cargo fmt --check

Merge pull request #2280 from notoria/clpz

Special case for `(^)/2`

check for PStr in eager stackful preorder iterator before adding tail of PStrOffset (#2272)

Special case for `(^)/2`

The only solutions for `Z #= X^Z` are `X = Z, X in -1\/1`. Also helps
avoid big numbers.

Merge pull request #2278 from notoria/clpz

Small fixes for `CLP(ℤ)`

Merge pull request #2277 from triska/master

Correct arithmetic disequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555

Fix bound computation in `(^)/2`

?- A in 0..1, B in-1..0, A^2 #= B.
   false. % unexpected.
?- A^2 #= B, A in 0..1, B in-1..0.
   A = 0, B = 0.

Remove `min/2` and `max/2` when possible

?- A #= min(A,B).
   clpz:(B#>=A), clpz:(A#=min(A,B)). % unexpected.
?- A #= min(A,0).
   clpz:(A in inf..0), clpz:(A#=min(A,0)). % unexpected.

Fix `min/2` and `max/2`

?- X in 0..1, Y in 2..4, Z #= max(X,Y).
   clpz:(X in 0..1), clpz:(Z#=max(X,Y)), clpz:(Z in 2..4), clpz:(Z#>=Y), clpz:(Y in 2..4). % unexpected.
?- X in 0..1, Y in 2..4, Z #= max(Y,X).
   Y = Z, clpz:(X in 0..1), clpz:(Y in 2..4).

Correct arithmetic inequalities accidentally broken in f5d9a67f3688ec9bb08dd3add05614552e082555.

Example:

    ?- X #>= Y.
    %@    clpz:(X#>=Y).

Merge pull request #2264 from Skgland/fix-os-argv-1

Fix os:argv/1 in case the raw args contain multiple `--`

ADDED: Support for higher-order non-terminals phrase//[2,3]

These non-terminals take a grammar rule body and additional arguments
as arguments. These arguments are appended to the first argument.

A key motivation for the introduction of these non-terminals is found
in the discussion and sample code provided by @bakaq in:

    https://github.com/mthom/scryer-prolog/discussions/2260

In this way, portable higher-order DCG programming is possible while
keeping the logical grammar rule expansion implementation dependent.

Example:

    ?- phrase(phrase('.', a, []), Cs).
       Cs = "a".

Merge pull request #2275 from triska/master

Prevent assertion of clauses for (-->)/2 when DCGs are enabled.

Prevent assertion of clauses for (-->)/2 when DCGs are enabled.

This addresses #1508.

fix cargo --fmt check error

add missing permission error in compile_assert (#2271)

fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270)

simplify os:argv/1 fix

use once to limit solutions instead of cut

add another test case for os:argv/1

Merge pull request #2269 from aarroyoc/fix-2267

Use reqwest async and use futures::executor

Merge pull request #2268 from aarroyoc/docs-toplevel

Small fixes in documentation and toplevel.pl

Use reqwest async and use futures::executor

Small fixes in documentation and toplevel.pl

fix `os:argv(V)` not completing

fix os:argv

cover both args ending in `--` and args not ending in `--` for `os:argv/1` test

remove unnecessary `true`

cover trailing `--` and `os:argv([])` in os_argv test

fix os:argv/1

add failing test for os:argv issue

See https://github.com/mthom/scryer-prolog/pull/2263#issuecomment-1874400820

expand module names in transitive goals (#2255)

fix cargo fmt --check