Repositorios git - scryer-prolog.git/shortlog

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

2025-04-23	Mark Thom	correct heap_print.rs for null characters being exclude...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	correctly increment s_offset for partial strings (...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	fix typo in try_from_partial_string	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	fix read_s logic around HeapPtr::PStrLoc (#2894)	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	repair cyclic PStrLoc handling in heap_print.rs	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	remove compare_pstr_to_string and related result type	commit \| commitdiff \| tree \| snapshot
2025-04-23	Markus Triska	ENHANCED: dedicated faster branches for repositionable...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	correct GetPartialString (#2887)	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	generalize compare_pstr_segments	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	ensure '\0' atom is static & never inlined (#2880)	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	fix root reading of complete strings (#2882)	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	some cosmetic tweaks	commit \| commitdiff \| tree \| snapshot
2025-04-23	Markus Triska	mark done item	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	correct and simplify compute_pstr_size	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	correct create_partial_string (#2593)	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	restore more tabu_list use to compare_term_tests (...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	restore tabu_list insertions to PStr-Lis comparisons...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	do not allow strings containing null characters to...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	move CodeIndex to F64Table-like table	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	Revert "remove Term"	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	make write_with forward return values, use it to correc...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	read Str focus properly in build_meta_predicate_clause	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	some fixes in response to miri	commit \| commitdiff \| tree \| snapshot
2025-04-23	bakaq	Fix parsing of \x0\ in partial strings	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	copy partial string blocks properly in all solutions...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	run cargo fmt	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	remove pstr_vec	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	globalize ALIGN_CELL/ALIGN, fix compute_pstr_size	commit \| commitdiff \| tree \| snapshot
2025-04-23	Emilie Burgun	Fix allocate_pstr randomly refusing to properly allocat...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Emilie Burgun	Fix Heap::drop not accounting for null-initialized...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	dereference clause_clause value, reserve more parser...	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	unmark_cell_bits! in push_literal (#2645)	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	introduce bespoke Heap type for in-heap partial strings	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	variable revision	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	remove Term	commit \| commitdiff \| tree \| snapshot
2025-04-23	Mark Thom	restore ubuntu testing to ci.yml with rust version...	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-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
2025-03-27	Aman Verma	Use backticks when referencing predicate in docs.	commit \| commitdiff \| tree \| snapshot
2025-03-09	Mark Thom	Merge pull request #2847 from triska/call_with_error_co...	commit \| commitdiff \| tree \| snapshot
2025-03-08	Markus Triska	ADDED: type pair	commit \| commitdiff \| tree \| snapshot
2025-03-08	Mark Thom	Merge pull request #2846 from triska/call_with_error_co...	commit \| commitdiff \| tree \| snapshot
2025-03-08	Markus Triska	ADDED: call_with_error_context/2	commit \| commitdiff \| tree \| snapshot
2025-03-01	Mark Thom	Merge pull request #2837 from notoria/next	commit \| commitdiff \| tree \| snapshot
2025-03-01	Mark Thom	Merge pull request #2836 from triska/format_floats	commit \| commitdiff \| tree \| snapshot
2025-02-28	Markus Triska	FIXED: portray_clause/1 for numbers	commit \| commitdiff \| tree \| snapshot
2025-02-28	Markus Triska	correct handling of floats with N digits (~f and ~Nf)	commit \| commitdiff \| tree \| snapshot
2025-02-28	notoria	Fix conversion from float to rational	commit \| commitdiff \| tree \| snapshot
2025-02-28	Mark Thom	Merge pull request #2835 from thierrymarianne/fix-http_...	commit \| commitdiff \| tree \| snapshot
2025-02-28	Mark Thom	Merge pull request #2792 from triska/must_be_chars	commit \| commitdiff \| tree \| snapshot
2025-02-28	Mark Thom	Merge pull request #2825 from bakaq/wasm_rework	commit \| commitdiff \| tree \| snapshot
2025-02-25	revue_2_presse	Replace futures::executor::block_on with tokio::block_i...	commit \| commitdiff \| tree \| snapshot
2025-02-20	bakaq	Documentation	commit \| commitdiff \| tree \| snapshot
2025-02-20	bakaq	Consult modules	commit \| commitdiff \| tree \| snapshot
2025-02-20	bakaq	Send pure objects instead of classes	commit \| commitdiff \| tree \| snapshot
2025-02-20	bakaq	MachineBuilder constructor	commit \| commitdiff \| tree \| snapshot
2025-02-20	bakaq	Rework Wasm interface	commit \| commitdiff \| tree \| snapshot
2025-02-20	bakaq	Make Wasm compilable	commit \| commitdiff \| tree \| snapshot
2025-02-17	Mark Thom	Merge pull request #2817 from adri326/fix-2815-run_modu...	commit \| commitdiff \| tree \| snapshot
2025-02-17	Mark Thom	Merge pull request #2799 from bakaq/callback_streams	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Add builder style configuration of user input, output...	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	More stream tests	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Disallow null streams in output	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Make input and output stream configuration public	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Configure streams separately	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Refactor UserInput to use channels	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Test for callback streams	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Add input stream channel	commit \| commitdiff \| tree \| snapshot
2025-02-16	bakaq	Add callback streams	commit \| commitdiff \| tree \| snapshot
2025-02-13	Mark Thom	Merge pull request #2791 from Skgland/patch-1	commit \| commitdiff \| tree \| snapshot
2025-02-13	Mark Thom	Merge pull request #2804 from dnmfarrell/line-count...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom