Skip to content

Commit

Permalink
# This is a combination of 3 commits.
Browse files Browse the repository at this point in the history
# This is the 1st commit message:

revert changes

# This is the commit message mthom#2:

Implement run_query() in terms of run_query_iter()

# This is the commit message mthom#3:

Drop implementation for QueryState

Fix not backtracking on query with no variables

Ignore new tests to make Miri happy

Remove TODO comment about QueryState::drop()

working generator

finish query generator

make machine_new() return machine, change fns to use machine refs

eliminate comment

add cbindgen

make cbindgen header generation location relative to manifest_dir

make cbindgen header generation location relative to manifest_dir

Update Cargo.toml

Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com>

cargo fmt

fix docs

mthom#2465 (comment)

rename functions

mthom#2465 (comment)
mthom#2465 (comment)
mthom#2465 (comment)

fix docs

mthom#2465 (comment)
mthom#2465 (comment)
https://github.com/mthom/scryer-prolog/pull/2465/files#r1712066209

cargo fmt, various docstring Changes

mthom#2465 (comment)
mthom#2465 (comment)
mthom#2465 (comment)
mthom#2465 (comment)
  • Loading branch information
james.j.tolton@toltontechnology.ai committed Aug 11, 2024

Verified

This commit was signed with the committer’s verified signature.
jar-b Jared Baker
1 parent c6ed462 commit ddf569a
Showing 5 changed files with 4,203 additions and 225 deletions.
Loading

0 comments on commit ddf569a

Please sign in to comment.