Repositorios git - scryer-prolog.git/commit

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

author	Mark Thom <[email protected]>
	Tue, 14 May 2024 00:00:56 +0000 (18:00 -0600)
committer	Mark Thom <[email protected]>
	Wed, 23 Apr 2025 06:32:32 +0000 (23:32 -0700)
commit	461e22023069042c2791a8018df00ccefb6ea954
tree	bb788b98df2fb8245a2f6bc3e599caea5895cf2f	tree \| snapshot
parent	310a369002386a6e6121a714dee9adcfafa6036e	commit \| diff

introduce bespoke Heap type for in-heap partial strings

54 files changed:

.github/workflows/ci.yml		diff \| blob \| history
build/instructions_template.rs		diff \| blob \| history
build/static_string_indexing.rs		diff \| blob \| history
src/allocator.rs		diff \| blob \| history
src/arena.rs		diff \| blob \| history
src/arithmetic.rs		diff \| blob \| history
src/atom_table.rs		diff \| blob \| history
src/codegen.rs		diff \| blob \| history
src/debray_allocator.rs		diff \| blob \| history
src/forms.rs		diff \| blob \| history
src/functor_macro.rs	[new file with mode: 0644]	blob
src/heap_iter.rs		diff \| blob \| history
src/heap_print.rs		diff \| blob \| history
src/indexing.rs		diff \| blob \| history
src/iterators.rs		diff \| blob \| history
src/lib.rs		diff \| blob \| history
src/lib/builtins.pl		diff \| blob \| history
src/loader.pl		diff \| blob \| history
src/machine/arithmetic_ops.rs		diff \| blob \| history
src/machine/attributed_variables.pl		diff \| blob \| history
src/machine/attributed_variables.rs		diff \| blob \| history
src/machine/compile.rs		diff \| blob \| history
src/machine/copier.rs		diff \| blob \| history
src/machine/cycle_detection.rs		diff \| blob \| history
src/machine/disjuncts.rs		diff \| blob \| history
src/machine/dispatch.rs		diff \| blob \| history
src/machine/gc.rs		diff \| blob \| history
src/machine/heap.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_errors.rs		diff \| blob \| history
src/machine/machine_indices.rs		diff \| blob \| history
src/machine/machine_state.rs		diff \| blob \| history
src/machine/machine_state_impl.rs		diff \| blob \| history
src/machine/mock_wam.rs		diff \| blob \| history
src/machine/mod.rs		diff \| blob \| history
src/machine/partial_string.rs		diff \| blob \| history
src/machine/preprocessor.rs		diff \| blob \| history
src/machine/streams.rs		diff \| blob \| history
src/machine/system_calls.rs		diff \| blob \| history
src/machine/term_stream.rs		diff \| blob \| history
src/machine/unify.rs		diff \| blob \| history
src/macros.rs		diff \| blob \| history
src/parser/ast.rs		diff \| blob \| history
src/parser/lexer.rs		diff \| blob \| history
src/parser/parser.rs		diff \| blob \| history
src/read.rs		diff \| blob \| history
src/repl_helper.rs		diff \| blob \| history
src/targets.rs		diff \| blob \| history
src/tests/call_with_inference_limit.pl		diff \| blob \| history
src/types.rs		diff \| blob \| history
tests-pl/invalid_decl11.pl		diff \| blob \| history
tests-pl/issue2588.pl		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom