Repositorios git - scryer-prolog.git/shortlog

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

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-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-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	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-29	Mark Thom	Merge pull request #2798 from bakaq/clippy_warnings	commit \| commitdiff \| tree \| snapshot
2025-01-28	bakaq	Fix clippy warnings	commit \| commitdiff \| tree \| snapshot
2025-01-27	Bennet Bleßmann	fix spelling and grammar errors found by mthom	commit \| commitdiff \| tree \| snapshot
2025-01-27	Mark Thom	Merge pull request #2777 from adri326/fix-2772-rnd_i...	commit \| commitdiff \| tree \| snapshot
2025-01-27	Mark Thom	Merge pull request #2738 from adri326/fix-2275-dcgs...	commit \| commitdiff \| tree \| snapshot
2025-01-27	Mark Thom	Merge pull request #2793 from Skgland/fix-ci	commit \| commitdiff \| tree \| snapshot
2025-01-26	Emilie Burgun	Add integration tests for arithmetic operators	commit \| commitdiff \| tree \| snapshot
2025-01-26	Emilie Burgun	Fix integer overflow in >>/2 and <</2	commit \| commitdiff \| tree \| snapshot
2025-01-26	Emilie Burgun	Fix min/2 and max/2 returning the cast version of its...	commit \| commitdiff \| tree \| snapshot
2025-01-26	Emilie Burgun	Fix `X is gcd(1, 2 ^ 64)` triggering a panic	commit \| commitdiff \| tree \| snapshot
2025-01-26	Emilie Burgun	Fix round() losing precision on bigints	commit \| commitdiff \| tree \| snapshot
2025-01-26	Emilie Burgun	Fix rnd_i clipping floats that don't fit in Fixnum	commit \| commitdiff \| tree \| snapshot
2025-01-24	Bennet Bleßmann	fix typo	commit \| commitdiff \| tree \| snapshot
2025-01-23	Markus Triska	FIXED: instantiation and type check for string arguments	commit \| commitdiff \| tree \| snapshot
2025-01-23	Bennet Bleßmann	Update README.md	commit \| commitdiff \| tree \| snapshot
2025-01-23	Bennet Bleßmann	fix ci and update all used actions	commit \| commitdiff \| tree \| snapshot
2025-01-23	Bennet Bleßmann	update install link	commit \| commitdiff \| tree \| snapshot
2025-01-23	Bennet Bleßmann	Update README.md	commit \| commitdiff \| tree \| snapshot
2025-01-23	Bennet Bleßmann	Update README.md	commit \| commitdiff \| tree \| snapshot
2025-01-14	Mark Thom	Merge pull request #2768 from robstolarz/RSTO-nix-macos-fix	commit \| commitdiff \| tree \| snapshot
2025-01-12	Emilie Burgun	Fix #2725 by calling load_context/1 in the unspecified...	commit \| commitdiff \| tree \| snapshot
2025-01-12	Mark Thom	Merge pull request #2756 from adri326/fix-load-context...	commit \| commitdiff \| tree \| snapshot
2025-01-11	Rob Stolarz	fix: compile under Nix flake on macOS	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom