Repositorios git - scryer-prolog.git/shortlog

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

2025-07-08	Markus Triska	FIXED: invoke correct predicate	commit \| commitdiff \| tree \| snapshot
2025-07-08	Markus Triska	ENHANCED: partial_string/3 no longer creates atoms	commit \| commitdiff \| tree \| snapshot
2025-07-08	Markus Triska	ENHANCED: use a fast test for the expected case of...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	correct heap-to-cell-index comparison in copy_slice_to_...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	fix functor! size calculations around indexing_code_ptr	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	restore tab completion to REPL (#2575)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	make self.s_offset use bytes in case of HeapPtr::PStr...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	correct heap_print.rs for null characters being exclude...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	correctly increment s_offset for partial strings (...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	fix typo in try_from_partial_string	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	fix read_s logic around HeapPtr::PStrLoc (#2894)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	repair cyclic PStrLoc handling in heap_print.rs	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	remove compare_pstr_to_string and related result type	commit \| commitdiff \| tree \| snapshot
2025-07-08	Markus Triska	ENHANCED: dedicated faster branches for repositionable...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	correct GetPartialString (#2887)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	generalize compare_pstr_segments	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	ensure '\0' atom is static & never inlined (#2880)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	fix root reading of complete strings (#2882)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	some cosmetic tweaks	commit \| commitdiff \| tree \| snapshot
2025-07-08	Markus Triska	mark done item	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	correct and simplify compute_pstr_size	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	correct create_partial_string (#2593)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	restore more tabu_list use to compare_term_tests (...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	restore tabu_list insertions to PStr-Lis comparisons...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	do not allow strings containing null characters to...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	move CodeIndex to F64Table-like table	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	Revert "remove Term"	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	make write_with forward return values, use it to correc...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	read Str focus properly in build_meta_predicate_clause	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	some fixes in response to miri	commit \| commitdiff \| tree \| snapshot
2025-07-08	bakaq	Fix parsing of \x0\ in partial strings	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	copy partial string blocks properly in all solutions...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	run cargo fmt	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	remove pstr_vec	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	globalize ALIGN_CELL/ALIGN, fix compute_pstr_size	commit \| commitdiff \| tree \| snapshot
2025-07-08	Emilie Burgun	Fix allocate_pstr randomly refusing to properly allocat...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Emilie Burgun	Fix Heap::drop not accounting for null-initialized...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	dereference clause_clause value, reserve more parser...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	unmark_cell_bits! in push_literal (#2645)	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	introduce bespoke Heap type for in-heap partial strings	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	variable revision	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	remove Term	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	restore ubuntu testing to ci.yml with rust version...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	throw syntax error after parsing infinite floats (...	commit \| commitdiff \| tree \| snapshot
2025-07-08	Mark Thom	don't skip '.' char in parse_number_from_string (#2997)	commit \| commitdiff \| tree \| snapshot
2025-07-05	Mark Thom	modify number_token to produce partial lexing results...	commit \| commitdiff \| tree \| snapshot
2025-07-02	Mark Thom	be more careful about concatenating '.' in parse_number...	commit \| commitdiff \| tree \| snapshot
2025-06-17	Mark Thom	Merge pull request #2970 from notoria/clpz	commit \| commitdiff \| tree \| snapshot
2025-06-17	Mark Thom	Merge pull request #2980 from triska/hophrase	commit \| commitdiff \| tree \| snapshot
2025-06-14	Markus Triska	use nonterminal indicators, correct meta_predicate...	commit \| commitdiff \| tree \| snapshot
2025-05-28	Mark Thom	Merge pull request #2965 from rotu/zygomorphic-puma	commit \| commitdiff \| tree \| snapshot
2025-05-25	notoria	Strengthened `(mod)/2` in CLP(Z)	commit \| commitdiff \| tree \| snapshot
2025-05-25	notoria	Strengthened `(mod)/2` in CLP(Z)	commit \| commitdiff \| tree \| snapshot
2025-05-25	notoria	Strengthened `(mod)/2` in CLP(Z)	commit \| commitdiff \| tree \| snapshot
2025-05-22	Dan Rose	Remove obsolete compatibility for Rust<1.80	commit \| commitdiff \| tree \| snapshot
2025-05-20	Mark Thom	Merge pull request #2955 from rotu/radical-cockroach	commit \| commitdiff \| tree \| snapshot
2025-05-14	Mark Thom	Merge pull request #2956 from bakaq/update_arcu_libffi	commit \| commitdiff \| tree \| snapshot
2025-05-14	Dan Rose	xor is not a standard operator	commit \| commitdiff \| tree \| snapshot
2025-05-13	bakaq	Update dependencies and fix breaking changes in libffi...	commit \| commitdiff \| tree \| snapshot
2025-05-09	Mark Thom	Merge pull request #2950 from triska/meetups	commit \| commitdiff \| tree \| snapshot
2025-05-09	Markus Triska	link to Scryer Prolog Meetup 2025 page and its announcement	commit \| commitdiff \| tree \| snapshot
2025-05-02	Mark Thom	Merge pull request #2802 from adri326/null-stream-safety	commit \| commitdiff \| tree \| snapshot
2025-05-01	Mark Thom	Merge pull request #2930 from triska/meetups	commit \| commitdiff \| tree \| snapshot
2025-04-30	Markus Triska	correct grammar	commit \| commitdiff \| tree \| snapshot
2025-04-30	Markus Triska	ADDED: Section about Scryer Prolog Meetups.	commit \| commitdiff \| tree \| snapshot
2025-04-30	Mark Thom	Merge branch 'null-stream-safety' of https://github... adri326-null-stream-safety origin/adri326-null-stream-safety	commit \| commitdiff \| tree \| snapshot
2025-04-30	Mark Thom	Merge pull request #2901 from matteob8/patch-1	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	use loader:strip_subst_module/4 in second module check...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	Merge pull request #2905 from bakaq/bump-msrv	commit \| commitdiff \| tree \| snapshot
2025-04-22	bakaq	Remove Ubuntu 20.04 runner	commit \| commitdiff \| tree \| snapshot
2025-04-22	bakaq	Bump MSRV and update flake.lock	commit \| commitdiff \| tree \| snapshot
2025-04-22	Mark Thom	Merge pull request #2895 from hakujin/master	commit \| commitdiff \| tree \| snapshot
2025-04-21	matteob8	Update http_server.pl	commit \| commitdiff \| tree \| snapshot
2025-04-21	matteob8	Update http_server.pl	commit \| commitdiff \| tree \| snapshot
2025-04-19	Colin King	Update `libffi` and `libffi-sys` dependencies to fix...	commit \| commitdiff \| tree \| snapshot
2025-04-13	Mark Thom	Merge pull request #2873 from constraintAutomaton/doc...	commit \| commitdiff \| tree \| snapshot
2025-04-13	Mark Thom	Merge pull request #2879 from triska/ad4m	commit \| commitdiff \| tree \| snapshot
2025-04-12	Markus Triska	enumerate applications, add AD4M by @coasys	commit \| commitdiff \| tree \| snapshot
2025-04-12	constraintAutomaton	Example update to use iterable.	commit \| commitdiff \| tree \| snapshot
2025-04-12	constraintAutomaton	Merge branch 'master' into doc/update-readme-wasm-example	commit \| commitdiff \| tree \| snapshot
2025-04-12	Mark Thom	Merge pull request #2875 from constraintAutomaton/featu...	commit \| commitdiff \| tree \| snapshot
2025-04-11	Mark Thom	mark cyclic lists with ellipses at the head (#2635)	commit \| commitdiff \| tree \| snapshot
2025-04-10	constraintAutomaton	Made WasmQueryState an iterable.	commit \| commitdiff \| tree \| snapshot
2025-04-10	Mark Thom	Merge pull request #2874 from triska/read_from_chars_in...	commit \| commitdiff \| tree \| snapshot
2025-04-10	Markus Triska	generalize read_from_chars/2 and read_term_from_chars...	commit \| commitdiff \| tree \| snapshot
2025-04-08	constraintAutomaton	Fix DOM manipulation to avoid deprecated functions...	commit \| commitdiff \| tree \| snapshot
2025-04-08	constraintAutomaton	better identation of the knowledge base.	commit \| commitdiff \| tree \| snapshot
2025-04-08	constraintAutomaton	Useless console.log in the example deleted.	commit \| commitdiff \| tree \| snapshot
2025-04-08	constraintAutomaton	Update README with working WebAssembly usage example.	commit \| commitdiff \| tree \| snapshot
2025-04-06	Mark Thom	Merge pull request #2869 from triska/format_w	commit \| commitdiff \| tree \| snapshot
2025-04-05	Markus Triska	move ~w to least prominent position, point to more...	commit \| commitdiff \| tree \| snapshot
2025-04-05	Markus Triska	ENHANCED: format specifier ~w more faithfully emulates...	commit \| commitdiff \| tree \| snapshot
2025-04-01	Mark Thom	Merge pull request #2861 from averms-forks/update-deps	commit \| commitdiff \| tree \| snapshot
2025-04-01	Mark Thom	Merge pull request #2860 from averms-forks/push-spzqszn...	commit \| commitdiff \| tree \| snapshot
2025-03-31	Aman Verma	Install correct locked version of iai-callgrind-runner...	commit \| commitdiff \| tree \| snapshot
2025-03-31	Aman Verma	Update lexical.	commit \| commitdiff \| tree \| snapshot
2025-03-31	Aman Verma	Remove unused deps: regex, assert_cmd, predicates-core.	commit \| commitdiff \| tree \| snapshot
2025-03-31	Aman Verma	Update ordered-float to 5.0.0.	commit \| commitdiff \| tree \| snapshot
2025-03-31	Aman Verma	Update scraper and ego-tree.	commit \| commitdiff \| tree \| snapshot
2025-03-31	Aman Verma	Bump dependencies except for arcu v0.1.1 and half 2...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom