Repositorios git - scryer-prolog.git/shortlog

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

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-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	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
2024-09-07	Aleksy Grabowski	Change wording for non_counted_backtracking comment	commit \| commitdiff \| tree \| snapshot
2024-09-07	Aleksy Grabowski	Explain non_counted_backtracking a little bit more	commit \| commitdiff \| tree \| snapshot
2024-09-07	Aleksy Grabowski	Revert "Explain non_counted_backtracking a little bit...	commit \| commitdiff \| tree \| snapshot
2024-09-07	bakaq	Add mechanism to stop query	commit \| commitdiff \| tree \| snapshot
2024-09-07	bakaq	Fix Clippy	commit \| commitdiff \| tree \| snapshot
2024-09-06	bakaq	Fix warnings	commit \| commitdiff \| tree \| snapshot
2024-09-06	bakaq	Make macros private	commit \| commitdiff \| tree \| snapshot
2024-09-06	bakaq	Add argument with extra info to callback	commit \| commitdiff \| tree \| snapshot
2024-09-06	bakaq	Documentation for run_query/3 and run_query_goal/4	commit \| commitdiff \| tree \| snapshot
2024-09-06	bakaq	Address review comments and remove old toplevel	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Revert "Remove unnecessary "unsafe" block to fix compil...	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Revert "Fix rustc warning"	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Remove unnecessary "unsafe" block to fix compiler warning	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Explain non_counted_backtracking a little bit more	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Fix mistake in predicate indicator	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Remove executable bit for files that don't need it	commit \| commitdiff \| tree \| snapshot
2024-09-06	Aleksy Grabowski	Fix rustc warning	commit \| commitdiff \| tree \| snapshot
2024-09-03	bakaq	Toplevel reimplementation with leaf answer callbacks	commit \| commitdiff \| tree \| snapshot
2024-09-03	bakaq	Be conservative with visibility	commit \| commitdiff \| tree \| snapshot
2024-08-29	Mark Thom	Merge pull request #2491 from coasys/reqwest-version...	commit \| commitdiff \| tree \| snapshot
2024-08-22	Nicolas Luck	Fix spelling of reqWest	commit \| commitdiff \| tree \| snapshot
2024-08-20	Nicolas Luck	Clean-up comment	commit \| commitdiff \| tree \| snapshot
2024-08-20	Nicolas Luck	More precise comment mentioning Deno	commit \| commitdiff \| tree \| snapshot
2024-08-19	Mark Thom	Merge pull request #2475 from bakaq/value_heap_walk	commit \| commitdiff \| tree \| snapshot
2024-08-19	bakaq	Fix order of variables in bindings	commit \| commitdiff \| tree \| snapshot
2024-08-18	Mark Thom	Merge pull request #2474 from Skgland/fix-looping-memor...	commit \| commitdiff \| tree \| snapshot
2024-08-18	Mark Thom	Merge pull request #2495 from Skgland/fix2467	commit \| commitdiff \| tree \| snapshot
2024-08-17	Bennet Bleßmann	fix looping from issue 2467	commit \| commitdiff \| tree \| snapshot
2024-08-16	Nicolas Luck	Explanatory comment for the wildcard patch version	commit \| commitdiff \| tree \| snapshot
2024-08-16	Nicolas Luck	Explanatory comment for the wildcard patch version	commit \| commitdiff \| tree \| snapshot
2024-08-16	bakaq	Fix partial strings ending in lists	commit \| commitdiff \| tree \| snapshot
2024-08-16	bakaq	Fix lists of chars as strings	commit \| commitdiff \| tree \| snapshot
2024-08-16	bakaq	Represent atom [] as empty list	commit \| commitdiff \| tree \| snapshot
2024-08-15	bakaq	Differentiate anonymous variables	commit \| commitdiff \| tree \| snapshot
2024-08-15	Nicolas Luck	typo	commit \| commitdiff \| tree \| snapshot
2024-08-15	Nicolas Luck	Relax constraint on version of reqwest dependency ...	commit \| commitdiff \| tree \| snapshot
2024-08-15	bakaq	Value::from_heapcell() implemented with heap walk	commit \| commitdiff \| tree \| snapshot
2024-08-15	bakaq	Value::from_heapcell()	commit \| commitdiff \| tree \| snapshot
2024-08-15	Mark Thom	Merge pull request #2472 from bakaq/query_iterator	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	Tests for run_query_iter()	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	Implement run_query() in terms of run_query_iter()	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	Add run_query_iter()	commit \| commitdiff \| tree \| snapshot
2024-08-14	Mark Thom	Merge pull request #2482 from bakaq/flake	commit \| commitdiff \| tree \| snapshot
2024-08-14	Mark Thom	Merge pull request #2485 from aarroyoc/learn-pages...	commit \| commitdiff \| tree \| snapshot
2024-08-14	Adrián Arroyo...	Upgrade docs to DocLog 2.0. Includes a test learning...	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	flake.nix	commit \| commitdiff \| tree \| snapshot
2024-08-11	Bennet Bleßmann	include the type name for better pin-pointing of the...	commit \| commitdiff \| tree \| snapshot
2024-08-11	Bennet Bleßmann	check whether (re-)allocation succeeded	commit \| commitdiff \| tree \| snapshot
2024-08-11	Bennet Bleßmann	add detail to comment	commit \| commitdiff \| tree \| snapshot
2024-08-05	Mark Thom	Merge pull request #2463 from Skgland/split-up-inconsit...	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	switch invalid term from type to domain error	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom