Repositorios git - scryer-prolog.git/shortlog

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

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-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
2024-08-05	Bennet Bleßmann	fix remaining use of declaration instead of directive	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	remove obsolete ExistenceError::Declaration	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	change declaration to directive	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	ajust/add devlaration errors to be more standard compliant	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	impl PartialEq<str> and PartialEq<&str> for Atom	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	adjust errors to be more standard compliant	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	fix compilation for 1.77	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	split up CompilationError::InconsistentEntry	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	add test for declaration errors	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	use an enum for OpDesc spec	commit \| commitdiff \| tree \| snapshot
2024-08-05	Mark Thom	Merge pull request #2466 from Skgland/upgrade-deps	commit \| commitdiff \| tree \| snapshot
2024-08-04	Bennet Bleßmann	replace derive_deref with derive_more	commit \| commitdiff \| tree \| snapshot
2024-08-04	Bennet Bleßmann	replace select by scrape	commit \| commitdiff \| tree \| snapshot
2024-08-03	Bennet Bleßmann	resolve problems from deps upgrade	commit \| commitdiff \| tree \| snapshot
2024-08-03	Bennet Bleßmann	update/upgrade dependencies	commit \| commitdiff \| tree \| snapshot
2024-08-03	Mark Thom	Merge pull request #2462 from Skgland/fix-segfault	commit \| commitdiff \| tree \| snapshot
2024-08-03	Bennet Bleßmann	prevent accidental double free by checking tag before...	commit \| commitdiff \| tree \| snapshot
2024-08-03	Bennet Bleßmann	drop payload after resetting machine	commit \| commitdiff \| tree \| snapshot
2024-07-26	Mark Thom	Merge pull request #2457 from Skgland/library	commit \| commitdiff \| tree \| snapshot
2024-07-25	Adrián Arroyo...	Fix build on WASM after #2442	commit \| commitdiff \| tree \| snapshot
2024-07-25	Bennet Bleßmann	fix copy-past error	commit \| commitdiff \| tree \| snapshot
2024-07-25	Bennet Bleßmann	add a features for gating things we can use once 1...	commit \| commitdiff \| tree \| snapshot
2024-07-25	Bennet Bleßmann	use a OnceLock static for LIBRARIES instead of thread_l...	commit \| commitdiff \| tree \| snapshot
2024-07-25	Bennet Bleßmann	move the creation of the LIBRARIES IndexMap out of...	commit \| commitdiff \| tree \| snapshot
2024-07-22	Bennet Bleßmann	run rustfmt	commit \| commitdiff \| tree \| snapshot
2024-07-22	Bennet Bleßmann	use include_str! for the build in libraries	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom