]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e5bb2d) | patch
add global_count inference counter that is always incremented (#2009)
authorMark <[email protected]>
Mon, 20 Nov 2023 23:24:31 +0000 (16:24 -0700)
committerMark <[email protected]>
Mon, 20 Nov 2023 23:24:31 +0000 (16:24 -0700)
commit54166b91eb6e86c506bc716cab8336a7c3252c18
tree9f524376113e219d2b7afd058ac5d02e4e77db95tree | snapshot
parent1e5bb2d3dab350483d151157e528f3c7abe6c3bdcommit | diff
add global_count inference counter that is always incremented (#2009)
Cargo.lock diff | blob | history
build/instructions_template.rs diff | blob | history
src/machine/dispatch.rs diff | blob | history
src/machine/machine_state.rs diff | blob | history
src/machine/machine_state_impl.rs diff | blob | history
src/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust