Repositorios git - scryer-prolog.git/shortlog

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

2026-01-25	Danil Platonov	fix http stream not being closed fully	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	Merge pull request #3211 from mthom/setof_correction_an...	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	remove unnecessary extra work in findall_with_existential/5 setof_correction_and_opt origin/setof_correction_and_opt	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	remove hashbrown crate	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	replace sort_without_dedup/2 with keysort/2	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	cargo fmt fixes	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	remove variant_hashing.rs and related instructions	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	find variant terms using just sort/2 and (==)/2	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	do not retain attributes in solutions of findall (...	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	fix cargo fmt	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	add variant_hash and is_non_variant to fix setof/3...	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	replace compare_term_test with parallel iterator, add...	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	use branch numbers to detect branch subsumption	commit \| commitdiff \| tree \| snapshot
2026-01-15	Mark Thom	assert rational(3) as true in tests/builtins.pl	commit \| commitdiff \| tree \| snapshot
2026-01-13	Mark Thom	Merge pull request #3222 from Skgland/reduce-instructio...	commit \| commitdiff \| tree \| snapshot
2026-01-10	Skgland	run rustfmt to fix formatting	commit \| commitdiff \| tree \| snapshot
2026-01-10	Bennet Bleßmann	restore accidentally removed comment	commit \| commitdiff \| tree \| snapshot
2026-01-10	Skgland	fix spelling	commit \| commitdiff \| tree \| snapshot
2026-01-10	Skgland	fix clippy lints	commit \| commitdiff \| tree \| snapshot
2026-01-10	Skgland	extaract the static part of the instructions template...	commit \| commitdiff \| tree \| snapshot
2025-12-17	Mark Thom	Merge pull request #3207 from Skgland/quote-fix-unquote...	commit \| commitdiff \| tree \| snapshot
2025-12-09	Skgland	throw `error(resource_error(memory), [])` when the...	commit \| commitdiff \| tree \| snapshot
2025-12-09	Mark Thom	Merge pull request #3177 from triska/use_phrase_to_file	commit \| commitdiff \| tree \| snapshot
2025-12-08	Skgland	remove overengineered RecursionGuard	commit \| commitdiff \| tree \| snapshot
2025-12-08	Skgland	fix another integer overflow	commit \| commitdiff \| tree \| snapshot
2025-12-07	Skgland	don't calculate panic message eagerly	commit \| commitdiff \| tree \| snapshot
2025-12-07	Skgland	handle overflown in Heap::with_cell_capacity	commit \| commitdiff \| tree \| snapshot
2025-12-07	Skgland	handle oob heap index calculation	commit \| commitdiff \| tree \| snapshot
2025-12-07	Skgland	use checked multiplication in heap_index! macro	commit \| commitdiff \| tree \| snapshot
2025-12-07	Skgland	prevent multiply with overflow resulting in odd errors...	commit \| commitdiff \| tree \| snapshot
2025-12-07	Skgland	detect recursive throw_resource_error and panic instead...	commit \| commitdiff \| tree \| snapshot
2025-12-04	Mark Thom	fix backtrack_on_resource_error around choice instructions	commit \| commitdiff \| tree \| snapshot
2025-12-04	Mark Thom	Merge pull request #3185 from mthom/install_verify_attr_opt	commit \| commitdiff \| tree \| snapshot
2025-12-04	Mark Thom	Merge pull request #3164 from Skgland/alloc_errors2	commit \| commitdiff \| tree \| snapshot
2025-12-02	Mark Thom	Merge pull request #3147 from jjtolton/error-terminatio...	commit \| commitdiff \| tree \| snapshot
2025-12-02	Mark Thom	Merge pull request #3179 from triska/meetups	commit \| commitdiff \| tree \| snapshot
2025-12-02	Mark Thom	Merge pull request #3180 from triska/foldl_6	commit \| commitdiff \| tree \| snapshot
2025-11-28	Mark Thom	corrections to arithmetic expression compilation install_verify_attr_opt origin/install_verify_attr_opt	commit \| commitdiff \| tree \| snapshot
2025-11-28	Mark Thom	corrections to dispatch loop	commit \| commitdiff \| tree \| snapshot
2025-11-26	Mark Thom	revise InstallVerifyAttrs to remove need for predicate...	commit \| commitdiff \| tree \| snapshot
2025-11-25	Mark Thom	remove interms field from MachineState	commit \| commitdiff \| tree \| snapshot
2025-11-23	Markus Triska	ADDED: foldl/6, addressing #2973	commit \| commitdiff \| tree \| snapshot
2025-11-23	Markus Triska	update meetups	commit \| commitdiff \| tree \| snapshot
2025-11-23	Markus Triska	use more recently available phrase_[to\|from]_file/3...	commit \| commitdiff \| tree \| snapshot
2025-11-20	Skgland	fix pstr_iter_tests test	commit \| commitdiff \| tree \| snapshot
2025-11-20	Skgland	remove RESOURCE_ERROR_OFFSET_INIT	commit \| commitdiff \| tree \| snapshot
2025-11-20	Skgland	fix unecessary parens in macro	commit \| commitdiff \| tree \| snapshot
2025-11-20	Skgland	return an AllocError instead of panicing in Heap::with_...	commit \| commitdiff \| tree \| snapshot
2025-11-20	Skgland	wrap resource_error into an error/2 functor and don...	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	propagate AllocErrro instead of unwrapping	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	handle machine heap/stack allocation error	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	stub a clippy config	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	use as_bytes().to_vec() instead of bytes().collect()	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	remove some uncessary allocations/copies	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	ignore incompatible msrv in compat module	commit \| commitdiff \| tree \| snapshot
2025-11-19	Skgland	improve count_to_letter_code	commit \| commitdiff \| tree \| snapshot
2025-11-18	Skgland	ignore unused_parens warning	commit \| commitdiff \| tree \| snapshot
2025-11-18	Skgland	remove two unecessary clones	commit \| commitdiff \| tree \| snapshot
2025-11-14	J.J. Tolton	Fix -t flag help text to reflect it accepts any goal	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Move -t and -g flags before filenames in tests	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Remove redundant unit test file	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Move g_caused_exception/2 dynamic directive to toplevel.pl	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Update tests to use format/2 instead of write/1	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Add comprehensive tests for g_caused_exception/2	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Add g_caused_exception/2 for custom toplevel error...	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Fix bug where -t argument was processed as filename	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	Add comprehensive tests for -t custom toplevel flag	commit \| commitdiff \| tree \| snapshot
2025-11-09	J.J. Tolton	-t custom toplevel option	commit \| commitdiff \| tree \| snapshot
2025-10-21	Mark Thom	Merge pull request #3120 from aarroyoc/master	commit \| commitdiff \| tree \| snapshot
2025-10-21	Mark Thom	Merge pull request #3124 from bakaq/mark-partial-string...	commit \| commitdiff \| tree \| snapshot
2025-10-21	Mark Thom	Merge pull request #3117 from aarroyoc/update-releases...	commit \| commitdiff \| tree \| snapshot
2025-10-14	bakaq	Fix marking of partial string tail in iteration	commit \| commitdiff \| tree \| snapshot
2025-10-11	Adrián Arroyo...	Delete test page from learning section	commit \| commitdiff \| tree \| snapshot
2025-10-07	Adrián Arroyo...	Update web to show 0.10.0 releases	commit \| commitdiff \| tree \| snapshot
2025-10-03	Mark Thom	Merge pull request #3108 from Skgland/issue-3073	commit \| commitdiff \| tree \| snapshot
2025-10-03	Mark Thom	Merge pull request #3111 from Skgland/ffi-non-fixed...	commit \| commitdiff \| tree \| snapshot
2025-09-30	Mark Thom	Merge pull request #3109 from Skgland/issue-3107	commit \| commitdiff \| tree \| snapshot
2025-09-28	Skgland	update documentation	commit \| commitdiff \| tree \| snapshot
2025-09-28	Skgland	consistently treat bool as i8	commit \| commitdiff \| tree \| snapshot
2025-09-28	Skgland	add ffi types for non-fixed-sized integers	commit \| commitdiff \| tree \| snapshot
2025-09-28	Skgland	fix missing quotes	commit \| commitdiff \| tree \| snapshot
2025-09-27	Skgland	fixup quad	commit \| commitdiff \| tree \| snapshot
2025-09-27	Skgland	move CI job release from retired ubuntu-20.04 image...	commit \| commitdiff \| tree \| snapshot
2025-09-27	Skgland	fix mthom/scryer-prolog#3073	commit \| commitdiff \| tree \| snapshot
2025-09-27	Skgland	add regression test for issue 3073	commit \| commitdiff \| tree \| snapshot
2025-09-27	Mark Thom	version bump to 0.10.0 v0.10.0	commit \| commitdiff \| tree \| snapshot
2025-09-23	Mark Thom	Merge pull request #3095 from thierrymarianne/dereferin...	commit \| commitdiff \| tree \| snapshot
2025-09-21	Thierry Marianne	run rustfmt	commit \| commitdiff \| tree \| snapshot
2025-09-21	Thierry Marianne	dereferencing registers to access stack variables	commit \| commitdiff \| tree \| snapshot
2025-09-21	Thierry Marianne	add tests for `file` module predicates	commit \| commitdiff \| tree \| snapshot
2025-09-18	Mark Thom	Merge pull request #3084 from thierrymarianne/set_stream	commit \| commitdiff \| tree \| snapshot
2025-09-18	Mark Thom	add missing P increment to GetPartialString (#3089)	commit \| commitdiff \| tree \| snapshot
2025-09-18	Mark Thom	push cyclic pstr's tail to iterator stack of printer...	commit \| commitdiff \| tree \| snapshot
2025-09-18	Mark Thom	fix attempted bind to bound StackVar (#3089)	commit \| commitdiff \| tree \| snapshot
2025-09-17	Mark Thom	do not use self.fail in compare_term_test	commit \| commitdiff \| tree \| snapshot
2025-09-16	Mark Thom	implement unify_ginteger to address FIXME in skip_max_l...	commit \| commitdiff \| tree \| snapshot
2025-09-16	Mark Thom	fix off-by-one lam loop (#3081)	commit \| commitdiff \| tree \| snapshot
2025-09-15	Thierry Marianne	handle `Stream` variants qualified as input stream...	commit \| commitdiff \| tree \| snapshot
2025-09-15	Thierry Marianne	throw permission_error when non-input stream is read	commit \| commitdiff \| tree \| snapshot
2025-09-14	Thierry Marianne	merge if let, match structures	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom