]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 503e45e) | patch
Expose inference counts on Machine; publish to CI
authorinfogulch <[email protected]>
Wed, 22 Nov 2023 00:12:26 +0000 (18:12 -0600)
committerinfogulch <[email protected]>
Wed, 22 Nov 2023 03:53:29 +0000 (21:53 -0600)
commit11832b524bf6b1e3a7692dae180399fd744d5ace
treef63f85aa9fe3713bc6e3200f172c0f97dc6f2ee0tree | snapshot
parent503e45eae178c12bb2f715f159bdb7061c72772bcommit | diff
Expose inference counts on Machine; publish to CI
.github/workflows/ci.yml diff | blob | history
benches/setup.rs diff | blob | history
src/machine/mod.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust