Repositorios git - scryer-prolog.git/shortlog

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

2025-01-12	Mark Thom	Merge pull request #2756 from adri326/fix-load-context...	commit \| commitdiff \| tree \| snapshot
2025-01-08	Emilie Burgun	Add tests for PR #2756	commit \| commitdiff \| tree \| snapshot
2025-01-08	Emilie Burgun	Fix load_context_module triggering unreachable code...	commit \| commitdiff \| tree \| snapshot
2025-01-04	Mark Thom	Merge pull request #2742 from triska/clpb	commit \| commitdiff \| tree \| snapshot
2025-01-04	Mark Thom	Merge pull request #2728 from aarroyoc/lets-play-brisca	commit \| commitdiff \| tree \| snapshot
2025-01-04	Mark Thom	Merge pull request #2743 from triska/crypto	commit \| commitdiff \| tree \| snapshot
2025-01-04	Mark Thom	Merge pull request #2744 from triska/files	commit \| commitdiff \| tree \| snapshot
2025-01-02	Markus Triska	state when the predicates are true	commit \| commitdiff \| tree \| snapshot
2025-01-02	Markus Triska	atom --> string	commit \| commitdiff \| tree \| snapshot
2025-01-02	Markus Triska	Revert "FIXED: CLP(B): Delay BDD restriction until...	commit \| commitdiff \| tree \| snapshot
2024-12-30	Adrián Arroyo...	Add tutorial: Let's play Brisca	commit \| commitdiff \| tree \| snapshot
2024-12-25	Mark Thom	Merge pull request #2681 from hurufu/remove-dcgs-that...	commit \| commitdiff \| tree \| snapshot
2024-12-25	Mark Thom	qualify module quantification errors better (#2685)	commit \| commitdiff \| tree \| snapshot
2024-12-25	Mark Thom	style corrections	commit \| commitdiff \| tree \| snapshot
2024-12-22	Aleksy Grabowski	Remove DCGs that have thrown an exception during term...	commit \| commitdiff \| tree \| snapshot
2024-12-21	Mark Thom	Merge pull request #2714 from triska/graphic_token	commit \| commitdiff \| tree \| snapshot
2024-12-21	Mark Thom	Merge pull request #2717 from jasagredo/js/small-doc	commit \| commitdiff \| tree \| snapshot
2024-12-20	Mark Thom	leave variable modules uninstantiated (#2685)	commit \| commitdiff \| tree \| snapshot
2024-12-18	Javier Sagredo	Ensure max_assoc/3 is shown as documented	commit \| commitdiff \| tree \| snapshot
2024-12-17	Markus Triska	use round brackets for goals involving operators	commit \| commitdiff \| tree \| snapshot
2024-12-17	Markus Triska	prevent accidental amalgamation of graphic token chars...	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2582 from bakaq/rework_library_inte...	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2691 from aarroyoc/remove-meetup...	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2683 from ffortier/master	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2689 from triska/weighted_maybe	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2690 from notoria/next	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2696 from jasonhemann/patch-3	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2698 from jasonhemann/patch-5	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2703 from jasonhemann/patch-6	commit \| commitdiff \| tree \| snapshot
2024-12-14	Mark Thom	Merge pull request #2697 from jasonhemann/patch-4	commit \| commitdiff \| tree \| snapshot
2024-12-13	Jason Hemann	s/avaibale/available/	commit \| commitdiff \| tree \| snapshot
2024-12-12	bakaq	cargo fmt	commit \| commitdiff \| tree \| snapshot
2024-12-12	bakaq	Use Cow<'a,B> for toplevel configuration	commit \| commitdiff \| tree \| snapshot
2024-12-12	bakaq	FIXME in Drop for QueryState	commit \| commitdiff \| tree \| snapshot
2024-12-12	bakaq	Leave residual goals for later	commit \| commitdiff \| tree \| snapshot
2024-12-12	bakaq	Derive Default for StreamConfig	commit \| commitdiff \| tree \| snapshot
2024-12-12	bakaq	Rename lib_machine_tests.rs to tests.rs	commit \| commitdiff \| tree \| snapshot
2024-12-11	Jason Hemann	Update builtins.pl	commit \| commitdiff \| tree \| snapshot
2024-12-11	Jason Hemann	Update builtins.pl	commit \| commitdiff \| tree \| snapshot
2024-12-11	Jason Hemann	Documentation for read/2	commit \| commitdiff \| tree \| snapshot
2024-12-11	Jason Hemann	"bound to an atom"	commit \| commitdiff \| tree \| snapshot
2024-12-11	Jason Hemann	s/performance characters/performance characteristics/	commit \| commitdiff \| tree \| snapshot
2024-12-09	Adrián Arroyo...	Remove Scryer Prolog Meetup 2024 announcements	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Handle errors in QueryState	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Migrate benches	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Migrate tests to new API	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Separate lib_machine tests into separate file	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Shrink MVP API surface	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Rename PrologTerm to Term	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Remove parsed_results.rs	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	MachineBuilder	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Fix Machine links	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	#[deny(missing_docs)]	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Document test methods	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Add interfaces for QueryState methods	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Docs for Machine and QueryState	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Docs for run_binary()	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	LeafAnswer docs and success checking methods	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	More PrologTerm documentation	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Conjunctions, disjunction, and LeafAnswer to PrologTerm	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Associated functions for creating PrologTerm	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Basic docs and non_exhaustive for PrologTerm	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Machine and stream config rework	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Rename LeafAnswer	commit \| commitdiff \| tree \| snapshot
2024-12-08	bakaq	Rename PrologTerm	commit \| commitdiff \| tree \| snapshot
2024-12-08	Markus Triska	introduce and use weighted_maybe/2	commit \| commitdiff \| tree \| snapshot
2024-12-08	notoria	Add '$random_integer'/3	commit \| commitdiff \| tree \| snapshot
2024-12-07	Mark Thom	instantiate module resolutions for meta-predicate looku...	commit \| commitdiff \| tree \| snapshot
2024-12-06	Mark Thom	Merge pull request #2677 from jasagredo/js/get-single...	commit \| commitdiff \| tree \| snapshot
2024-12-06	Mark Thom	Merge pull request #2679 from jasonhemann/patch-2	commit \| commitdiff \| tree \| snapshot
2024-12-05	Francis Fortier	export toplevel repl/0	commit \| commitdiff \| tree \| snapshot
2024-12-05	Francis Fortier	build: resolve include_str path during the compilation...	commit \| commitdiff \| tree \| snapshot
2024-12-05	Jason Hemann	s/red/read/ typo in documentation.	commit \| commitdiff \| tree \| snapshot
2024-12-03	Javier Sagredo	Ignore `KeyEventKind::Release` events when reading...	commit \| commitdiff \| tree \| snapshot
2024-11-15	Mark Thom	admit YF in current_op/3 (#2639)	commit \| commitdiff \| tree \| snapshot
2024-11-15	Mark Thom	Merge pull request #2652 from gruhn/patch-1	commit \| commitdiff \| tree \| snapshot
2024-11-15	Mark Thom	Merge pull request #2653 from srenatus/sr/issue-2650	commit \| commitdiff \| tree \| snapshot
2024-11-03	Stephan Renatus	toplevel: add more Stop=continue, remove nesting	commit \| commitdiff \| tree \| snapshot
2024-11-02	Stephan Renatus	toplevel.pl: attempt to fix continue/stop logic	commit \| commitdiff \| tree \| snapshot
2024-11-01	Stephan Renatus	toplevel.pl: fix arity mismatch in read_input/2	commit \| commitdiff \| tree \| snapshot
2024-11-01	Niklas Gruhn	README: update Docker install instructions	commit \| commitdiff \| tree \| snapshot
2024-10-29	Mark Thom	Merge pull request #2647 from panasenco/master	commit \| commitdiff \| tree \| snapshot
2024-10-28	Aram Panasenco	Updated and tested Dockerfile	commit \| commitdiff \| tree \| snapshot
2024-10-13	Mark Thom	Merge pull request #2527 from bakaq/leaf_answers_callbacks	commit \| commitdiff \| tree \| snapshot
2024-10-13	bakaq	Fix priority in op/3	commit \| commitdiff \| tree \| snapshot
2024-10-06	Mark Thom	Merge pull request #2596 from Skgland/issue-2588	commit \| commitdiff \| tree \| snapshot
2024-10-04	Bennet Bleßmann	fix miri	commit \| commitdiff \| tree \| snapshot
2024-10-04	Bennet Bleßmann	fix issue #2588	commit \| commitdiff \| tree \| snapshot
2024-10-04	Bennet Bleßmann	Merge remote-tracking branch 'upstream/master' into...	commit \| commitdiff \| tree \| snapshot
2024-10-04	Bennet Bleßmann	add test for load_html	commit \| commitdiff \| tree \| snapshot
2024-10-02	bakaq	Remove trailing whitespace in toplevel.pl	commit \| commitdiff \| tree \| snapshot
2024-09-30	Mark Thom	Merge pull request #2581 from bakaq/fix_hostname_feature	commit \| commitdiff \| tree \| snapshot
2024-09-29	bakaq	Fix not compiling without hostname feature	commit \| commitdiff \| tree \| snapshot
2024-09-26	Mark Thom	Merge pull request #2573 from srenatus/sr/readme-link...	commit \| commitdiff \| tree \| snapshot
2024-09-26	Stephan Renatus	README: link to latest release	commit \| commitdiff \| tree \| snapshot
2024-09-25	Mark Thom	Merge pull request #2523 from bakaq/visibility	commit \| commitdiff \| tree \| snapshot
2024-09-19	Mark Thom	Merge pull request #2533 from hurufu/fix-warnings	commit \| commitdiff \| tree \| snapshot
2024-09-16	Mark Thom	Merge pull request #2534 from hurufu/document_non_count...	commit \| commitdiff \| tree \| snapshot
2024-09-16	Mark Thom	Merge pull request #2558 from bakaq/error_to_doclog	commit \| commitdiff \| tree \| snapshot
2024-09-16	bakaq	Convert library(error) docs to Doclog format	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom