Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

projects / scryer-prolog.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 2844b5a) | patch

author	Mark Thom <[email protected]>
	Wed, 25 Jun 2025 04:58:40 +0000 (21:58 -0700)
committer	Mark Thom <[email protected]>
	Tue, 8 Jul 2025 05:44:02 +0000 (22:44 -0700)
commit	762b63e1f41dff5d6d19b154b528ab58bf1e2f6b
tree	76ab00b2438c012ad24c47e779df53d20d28abf1	tree \| snapshot
parent	2844b5a9582958e782d6c89a1abd1073b116806b	commit \| diff

use granular hierarchical locks in offset_table.rs

18 files changed:

Cargo.lock		diff \| blob \| history
Cargo.toml		diff \| blob \| history
src/arena.rs		diff \| blob \| history
src/arithmetic.rs		diff \| blob \| history
src/heap_print.rs		diff \| blob \| history
src/machine/arithmetic_ops.rs		diff \| blob \| history
src/machine/compile.rs		diff \| blob \| history
src/machine/dispatch.rs		diff \| blob \| history
src/machine/lib_machine/mod.rs		diff \| blob \| history
src/machine/load_state.rs		diff \| blob \| history
src/machine/loader.rs		diff \| blob \| history
src/machine/machine_indices.rs		diff \| blob \| history
src/machine/machine_state_impl.rs		diff \| blob \| history
src/machine/mod.rs		diff \| blob \| history
src/machine/system_calls.rs		diff \| blob \| history
src/machine/unify.rs		diff \| blob \| history
src/offset_table.rs		diff \| blob \| history
src/parser/parser.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust