Repositorios git - scryer-prolog.git/shortlog

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

2024-02-29	Mark	fix misuse of TypeError trait while fixing #2345	commit \| commitdiff \| tree \| snapshot
2024-02-29	Mark	issue callable type error from dynamic_module_resolutio...	commit \| commitdiff \| tree \| snapshot
2024-02-28	Mark Thom	Merge pull request #2309 from coasys/library-use-case	commit \| commitdiff \| tree \| snapshot
2024-02-24	Mark Thom	Merge pull request #2342 from triska/curve_doc	commit \| commitdiff \| tree \| snapshot
2024-02-24	Markus Triska	DOC: Add DocLog comments for reasoning about elliptic...	commit \| commitdiff \| tree \| snapshot
2024-02-22	Mark Thom	Merge pull request #2338 from triska/hmac	commit \| commitdiff \| tree \| snapshot
2024-02-22	Markus Triska	ADDED: Hash-based message authentication code (HMAC...	commit \| commitdiff \| tree \| snapshot
2024-02-18	Mark Thom	Merge pull request #2337 from triska/master	commit \| commitdiff \| tree \| snapshot
2024-02-18	Markus Triska	link to newly available paper on analysis of dose-escal...	commit \| commitdiff \| tree \| snapshot
2024-02-16	Bennet Bleßmann	fix build of run_iai bench for wasm32	commit \| commitdiff \| tree \| snapshot
2024-02-16	Bennet Bleßmann	fix benchmarks being broken for every target except...	commit \| commitdiff \| tree \| snapshot
2024-02-16	Bennet Bleßmann	cfg out benches for wasm32	commit \| commitdiff \| tree \| snapshot
2024-02-16	Bennet Bleßmann	fix compilation of wasm32 test and skip to run wasm32...	commit \| commitdiff \| tree \| snapshot
2024-02-16	Bennet Bleßmann	undo `continue-on-error`	commit \| commitdiff \| tree \| snapshot
2024-02-16	Bennet Bleßmann	bump ahash lock to 0.8.7	commit \| commitdiff \| tree \| snapshot
2024-02-12	Mark Thom	Merge pull request #2327 from triska/char_type	commit \| commitdiff \| tree \| snapshot
2024-02-11	Markus Triska	FIXED: char_type/2 for unbound first argument.	commit \| commitdiff \| tree \| snapshot
2024-02-09	Nicolas Luck	continue-on-error if target=wasm32 or rust=nightly	commit \| commitdiff \| tree \| snapshot
2024-02-09	Nicolas Luck	Reactivate nightly test job with continue-on-error set	commit \| commitdiff \| tree \| snapshot
2024-02-09	Nicolas Luck	Use stable Rust for style/report and deactivate nightly...	commit \| commitdiff \| tree \| snapshot
2024-02-09	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
2024-02-09	Mark Thom	Update src/machine/parsed_results.rs	commit \| commitdiff \| tree \| snapshot
2024-02-08	Mark	fix tests broken by singleton	commit \| commitdiff \| tree \| snapshot
2024-02-08	Mark Thom	Merge pull request #2322 from triska/char_code	commit \| commitdiff \| tree \| snapshot
2024-02-07	Markus Triska	ENHANCED: Bidirectional char_type/2, addressing #2321.	commit \| commitdiff \| tree \| snapshot
2024-02-07	Mark Thom	Merge pull request #2319 from triska/clpz_t	commit \| commitdiff \| tree \| snapshot
2024-02-06	Markus Triska	ADDED: clpz_t/2, generalizing support for use with...	commit \| commitdiff \| tree \| snapshot
2024-02-06	Mark	fmt	commit \| commitdiff \| tree \| snapshot
2024-02-04	Mark Thom	Merge pull request #2317 from aarroyoc/all-modules...	commit \| commitdiff \| tree \| snapshot
2024-02-04	Adrián Arroyo...	Add all_mdoules test and fix library(csv)	commit \| commitdiff \| tree \| snapshot
2024-02-03	Mark	fix reverted tests, ensure files are loaded before...	commit \| commitdiff \| tree \| snapshot
2024-02-03	Mark	fix broken tests	commit \| commitdiff \| tree \| snapshot
2024-02-02	Mark	treat consultation of command line modules as regular...	commit \| commitdiff \| tree \| snapshot
2024-02-02	Mark	fmt	commit \| commitdiff \| tree \| snapshot
2024-02-02	Mark	load .scryerrc before files and goals (#1775, #2313)	commit \| commitdiff \| tree \| snapshot
2024-02-01	Mark	record stub choice point as block	commit \| commitdiff \| tree \| snapshot
2024-02-01	Nicolas Luck	Test show problem with nonexistent predicate	commit \| commitdiff \| tree \| snapshot
2024-02-01	Nicolas Luck	fmt	commit \| commitdiff \| tree \| snapshot
2024-02-01	Nicolas Luck	clippy	commit \| commitdiff \| tree \| snapshot
2024-02-01	Nicolas Luck	Fix all orderings in integration assertions	commit \| commitdiff \| tree \| snapshot
2024-02-01	Nicolas Luck	Remove test with long program literals, not needed	commit \| commitdiff \| tree \| snapshot
2024-02-01	Nicolas Luck	More ordering adjustments	commit \| commitdiff \| tree \| snapshot
2024-02-01	Mark	fix style errors	commit \| commitdiff \| tree \| snapshot
2024-02-01	Mark	index stub choice point correctly	commit \| commitdiff \| tree \| snapshot
2024-01-31	Nicolas Luck	Extract failing assertion as single test case	commit \| commitdiff \| tree \| snapshot
2024-01-30	Nicolas Luck	Adjust some first result orderings in integration asser...	commit \| commitdiff \| tree \| snapshot
2024-01-29	Mark	check for True or False Query Resolution unconditionally	commit \| commitdiff \| tree \| snapshot
2024-01-29	Nicolas Luck	fmt	commit \| commitdiff \| tree \| snapshot
2024-01-29	Nicolas Luck	Add more test cases to differentiate usage of discontiguous	commit \| commitdiff \| tree \| snapshot
2024-01-29	Nicolas Luck	Minimal reproduction of faulty behaviour seen in integr...	commit \| commitdiff \| tree \| snapshot
2024-01-26	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
2024-01-26	Nicolas Luck	Add expected results to integration test	commit \| commitdiff \| tree \| snapshot
2024-01-26	Mark	scan registers of instructions leading to verify_attrib...	commit \| commitdiff \| tree \| snapshot
2024-01-26	Mark	add non chunk traversing cut family instructions to...	commit \| commitdiff \| tree \| snapshot
2024-01-25	Mark Thom	Merge pull request #2308 from triska/small_format_impro...	commit \| commitdiff \| tree \| snapshot
2024-01-25	Markus Triska	update answers using latest toplevel output	commit \| commitdiff \| tree \| snapshot
2024-01-25	Markus Triska	rely on recently improved argument indexing for determinism	commit \| commitdiff \| tree \| snapshot
2024-01-25	Mark	move call_residue_vars/2 from atts.pl to iso_ext.pl	commit \| commitdiff \| tree \| snapshot
2024-01-25	Mark	don't mark temp variables as safe through argument_to_v...	commit \| commitdiff \| tree \| snapshot
2024-01-23	Mark Thom	Merge pull request #2306 from triska/dcg_representation	commit \| commitdiff \| tree \| snapshot
2024-01-23	Mark Thom	Merge pull request #2305 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2024-01-23	Markus Triska	improve error context	commit \| commitdiff \| tree \| snapshot
2024-01-23	Markus Triska	no longer use (->)//2, since it is implementation defined	commit \| commitdiff \| tree \| snapshot
2024-01-23	dependabot...	Bump h2 from 0.3.22 to 0.3.24	commit \| commitdiff \| tree \| snapshot
2024-01-23	Mark Thom	Merge pull request #2303 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2024-01-22	dependabot...	Bump shlex from 1.2.0 to 1.3.0	commit \| commitdiff \| tree \| snapshot
2024-01-22	Mark Thom	Merge pull request #2302 from triska/dcg_representation	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	use newly available false//0	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	no longer use (->)//2, since it is implementation dependent	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	remove checks that are now no longer needed due to...	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	ENHANCED: Throw representation errors for DCG bodies...	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	MODIFIED: (->)/2 in DCGs is now only supported in the...	commit \| commitdiff \| tree \| snapshot
2024-01-19	Mark Thom	Merge pull request #2301 from aarroyoc/docs-copy-term-3	commit \| commitdiff \| tree \| snapshot
2024-01-19	Mark Thom	Merge pull request #2300 from aarroyoc/fix-2298	commit \| commitdiff \| tree \| snapshot
2024-01-19	Adrián Arroyo...	Move copy_term/3 to library(iso_ext)	commit \| commitdiff \| tree \| snapshot
2024-01-19	Adrián Arroyo...	Throw error in call_residue_vars/2	commit \| commitdiff \| tree \| snapshot
2024-01-17	Mark	add better no op detection in char_reader.rs (#2297)	commit \| commitdiff \| tree \| snapshot
2024-01-14	Mark	add #2293 tests, advance continuable HeapPStrIters...	commit \| commitdiff \| tree \| snapshot
2024-01-13	Mark	fix additional tests, make better use of existing code...	commit \| commitdiff \| tree \| snapshot
2024-01-13	Mark	fix additional tests (#2293)	commit \| commitdiff \| tree \| snapshot
2024-01-12	Mark	add missing CStr branch to unify_partial_string (#2293)	commit \| commitdiff \| tree \| snapshot
2024-01-11	Mark Thom	Merge pull request #2276 from triska/hophrase	commit \| commitdiff \| tree \| snapshot
2024-01-10	Mark Thom	Merge pull request #2281 from bakaq/miri	commit \| commitdiff \| tree \| snapshot
2024-01-09	bakaq	Make "cargo miri test" actually run	commit \| commitdiff \| tree \| snapshot
2024-01-09	Mark	fix cargo fmt --check	commit \| commitdiff \| tree \| snapshot
2024-01-09	Mark Thom	Merge pull request #2280 from notoria/clpz	commit \| commitdiff \| tree \| snapshot
2024-01-09	Mark	check for PStr in eager stackful preorder iterator...	commit \| commitdiff \| tree \| snapshot
2024-01-08	notoria	Special case for `(^)/2`	commit \| commitdiff \| tree \| snapshot
2024-01-08	Mark Thom	Merge pull request #2278 from notoria/clpz	commit \| commitdiff \| tree \| snapshot
2024-01-08	Mark Thom	Merge pull request #2277 from triska/master	commit \| commitdiff \| tree \| snapshot
2024-01-07	notoria	Fix bound computation in `(^)/2`	commit \| commitdiff \| tree \| snapshot
2024-01-07	notoria	Remove `min/2` and `max/2` when possible	commit \| commitdiff \| tree \| snapshot
2024-01-07	notoria	Fix `min/2` and `max/2`	commit \| commitdiff \| tree \| snapshot
2024-01-07	Markus Triska	Correct arithmetic inequalities accidentally broken...	commit \| commitdiff \| tree \| snapshot
2024-01-06	Mark Thom	Merge pull request #2264 from Skgland/fix-os-argv-1	commit \| commitdiff \| tree \| snapshot
2024-01-06	Markus Triska	ADDED: Support for higher-order non-terminals phrase...	commit \| commitdiff \| tree \| snapshot
2024-01-05	Mark Thom	Merge pull request #2275 from triska/master	commit \| commitdiff \| tree \| snapshot
2024-01-05	Markus Triska	Prevent assertion of clauses for (-->)/2 when DCGs...	commit \| commitdiff \| tree \| snapshot
2024-01-04	Mark	fix cargo --fmt check error	commit \| commitdiff \| tree \| snapshot
2024-01-04	Mark	add missing permission error in compile_assert (#2271)	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom