Repositorios git - scryer-prolog.git/commit

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

author	Skgland <[email protected]>
	Fri, 25 Aug 2023 23:29:53 +0000 (01:29 +0200)
committer	Bennet Bleßmann <[email protected]>
	Tue, 5 Sep 2023 17:12:17 +0000 (19:12 +0200)
commit	b2130c2a488fc4c750dd547048f2b47d9c5f92ad
tree	42a8280d3b39134661c3ab5c9a4ddb5c78680e2c	tree \| snapshot
parent	5585e83fd692f4b04d4b4a9dcb7b7b220f887df2	commit \| diff

run cargo fmt

50 files changed:

build/instructions_template.rs		diff \| blob \| history
build/static_string_indexing.rs		diff \| blob \| history
src/arena.rs		diff \| blob \| history
src/arithmetic.rs		diff \| blob \| history
src/atom_table.rs		diff \| blob \| history
src/bin/scryer-prolog.rs		diff \| blob \| history
src/codegen.rs		diff \| blob \| history
src/debray_allocator.rs		diff \| blob \| history
src/ffi.rs		diff \| blob \| history
src/forms.rs		diff \| blob \| history
src/heap_iter.rs		diff \| blob \| history
src/heap_print.rs		diff \| blob \| history
src/http.rs		diff \| blob \| history
src/indexing.rs		diff \| blob \| history
src/iterators.rs		diff \| blob \| history
src/lib.rs		diff \| blob \| history
src/machine/arithmetic_ops.rs		diff \| blob \| history
src/machine/attributed_variables.rs		diff \| blob \| history
src/machine/code_walker.rs		diff \| blob \| history
src/machine/compile.rs		diff \| blob \| history
src/machine/copier.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/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/stack.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/char_reader.rs		diff \| blob \| history
src/parser/lexer.rs		diff \| blob \| history
src/parser/macros.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/types.rs		diff \| blob \| history
src/variable_records.rs		diff \| blob \| history
tests/scryer/src_tests.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom