Repositorios git - scryer-prolog.git/shortlog

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

2025-06-14	Markus Triska	use nonterminal indicators, correct meta_predicate...	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
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
2025-02-13	Mark Thom	Merge pull request #2818 from adri326/stream-cleanup	commit \| commitdiff \| tree \| snapshot
2025-02-13	Mark Thom	Merge pull request #2812 from bakaq/attr_vars_arity_fix	commit \| commitdiff \| tree \| snapshot
2025-02-07	Emilie Burgun	Remove redundant alias resolution in at_end_of_stream...	commit \| commitdiff \| tree \| snapshot
2025-02-07	Emilie Burgun	[fixup] return that reading from a null stream wrote...	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Test corner cases of stream aliasing	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Fix set_output/1 and set_input/1 not updating the alias	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Fix stream realiasing possibly shadowing other streams.	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Fix realiased streams causing close/1 to leave a dangli...	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Encapsulate accesses to IndexStore::streams and ::strea...	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Document run_module_predicate and handle critical failu...	commit \| commitdiff \| tree \| snapshot
2025-02-06	Emilie Burgun	Disable test_run_module_predicate_throw under miri...	commit \| commitdiff \| tree \| snapshot
2025-02-05	Emilie Burgun	Fix backtracking on the topmost predicate triggering...	commit \| commitdiff \| tree \| snapshot
2025-02-05	bakaq	Scan entire predicate in InstallVerifyAttr	commit \| commitdiff \| tree \| snapshot
2025-02-04	bakaq	Fix bug in finding arity for verify attributes	commit \| commitdiff \| tree \| snapshot
2025-02-02	Emilie Burgun	Make Stream::Null behave like /dev/null	commit \| commitdiff \| tree \| snapshot
2025-02-02	Emilie Burgun	Fix UB caused by interactions with null streams	commit \| commitdiff \| tree \| snapshot
2025-02-02	Emilie Burgun	Fix close/1 messing up stream_aliases when user_input...	commit \| commitdiff \| tree \| snapshot
2025-02-02	David Farrell	Line numbers start at 1	commit \| commitdiff \| tree \| snapshot
2025-01-31	Emilie Burgun	Add debug asserts to UntypedArenaPtr::build_with, ...	commit \| commitdiff \| tree \| snapshot
2025-01-29	Mark Thom	Merge pull request #2798 from bakaq/clippy_warnings	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom