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

Fix lint

Add csv parsing benchmark #1403

Simplify benchmark setup; support mutating machine

Merge pull request #2153 from infogulch/benchmark

Add benchmarks

Fix formatting issues

Add benchmarks using library interface

CI: Setup rust in new action; split style & report actions

correct style failures

fix permanent variable handling over branches and cells (#2154)

fix compare_pstr_to_string (#2148)

Merge pull request #2147 from infogulch/lint-format

Resolve all lints and formating; split style checks into separate job

Split style checks, test reports into separate job

Bump Cargo.lock to reflect new scryer version

Add previous commit to .git-blame-ignore-revs

Resolve lints and format

update release version linked on website

update release link

bump version number to v0.9.3

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

Programatic use of Machine / Scryer as library

Check for target_arch = “wasm32”

instead of target_os = “wasi”

Merge branch 'master' into library-use-case

correct (\+)/1 (#2141)

remove non-conforming hyperbolic and log10 evaluable functors

fix signed modulus bug (#2134)

Merge pull request #2140 from aarroyoc/rename-to-upper

Rename `to_upper` to `upper` and `to_lower` to `lower`

Rename `to_upper` to `upper` and `to_lower` to `lower`

Merge pull request #2137 from infogulch/master

CI: compile wasm separately; default 22.04; matrix

CI: compile wasm separately; default 22.04; matrix

qualify dif/2 call in reinforce_goal (#2135)

correct char_type/2 (#2132)

remove unnecessary macros inclusion in mock_wam.rs

correct modulus bug (#2118, #2119)

remove list remnants from stack iteration in printer when cyclic (#2131)

fix cycle detection in lists by looking backward analogously to the same process for structures (#2130)

correct LIS backward bug in cycle_detection.rs

add STOP_AT_CYCLES const parameter for CycleDetectingIter

use Deutsch-Schorr-Waite to implement acyclic_term/1 (#2128)

use topo_sort to correct acyclic_term (#2124, #2125)

Cleanup Cargo.toml

Fix wasm warnings

fix cyclicity detection through variables (#2122, #2123)

Use std::sync::RwLock instead of tokio::sync::RwLock (by @aarroyoc)

Fix signalling of success/failure (by @mthom)

Revert "Remove unuse import"

This reverts commit bfa7d3cf415bdf454d2c8d0a59d8e0c462171081.

Remove unuse import

Merge branch 'master' into library-use-case

more eagerly check for cyclicity of variables in cycle detecting stackless iterator (#2121)

add backward looking cyclicity check for variables in cycle detecting stackless iterator (#2111, #2117)

correct is_cyclic again for non-variable ref cells (#2116)

improve cycle detection in detect_list_cycles (#2111)

simplify stackless iterator is_cyclic (#2111)

correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests

correct cyclic variable check in cycle detecting stackless iterator (#2111, #2113)

fix bugs & incompleteness of cycle-detecting stackless iterator (#2111)

Reify (^)/2

Like (/)/2, (^)/2 can fail in cases such as 0 #==> X #= 2^(-1), where success is expected.

Trigger propagator for popcount/1

Trigger propagator for sign/1

Trigger propagator for (xor)/2

add bounds checks for stackless iterator (#2110)

detect all cycles in roughly linear time and constant space (#2102)

fix bugs in marker algorithm iterator

correct (mod)/2 (#2103, #2107)

Merge pull request #2105 from triska/morphing_propagators

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

shift morphing to the more general p/2 case

ENHANCED: Omit unnecessary residual constraints in disentailed reified (//)/2

Example:

    ?- #\ 0#=(Y// -1)/0.
    %@    clpz:(Y in inf..sup).

This addresses #2104.