Repositorios git - scryer-prolog.git/shortlog

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

2024-04-25	Mark Thom	improve use of unsafe Rust in arena.rs (#2391)	commit \| commitdiff \| tree \| snapshot
2024-04-10	Mark Thom	add nth_partial_strings_tests for bugs raised in #1827...	commit \| commitdiff \| tree \| snapshot
2024-04-10	Mark Thom	use common test_framework module for several test suites	commit \| commitdiff \| tree \| snapshot
2024-04-10	Mark Thom	fix char_offset values in add_pstr_offset_chars (#2381)	commit \| commitdiff \| tree \| snapshot
2024-04-10	Mark Thom	fix skip_max_list crash on bigint max_steps (#2382)	commit \| commitdiff \| tree \| snapshot
2024-04-10	Mark Thom	add max_steps to PStr offset (#2381)	commit \| commitdiff \| tree \| snapshot
2024-04-09	Mark Thom	correct offsets around max_steps in skip_max_list ...	commit \| commitdiff \| tree \| snapshot
2024-04-08	Mark Thom	Merge pull request #2379 from aarroyoc/scryer-prolog...	commit \| commitdiff \| tree \| snapshot
2024-04-07	Adrián Arroyo...	website: add Scryer Prolog Meetup 2024 banner	commit \| commitdiff \| tree \| snapshot
2024-04-05	Mark Thom	add Scryer Prolog Meetup 2024 to README	commit \| commitdiff \| tree \| snapshot
2024-04-05	Mark Thom	Merge pull request #2376 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2024-04-05	dependabot...	Bump h2 from 0.3.24 to 0.3.26	commit \| commitdiff \| tree \| snapshot
2024-04-03	Mark Thom	treat Utf8Error::valid_up_to as an offset form self...	commit \| commitdiff \| tree \| snapshot
2024-03-26	Mark Thom	Merge pull request #2367 from triska/dcg_meta_predicates	commit \| commitdiff \| tree \| snapshot
2024-03-25	Mark	correct offset retrieval in add_pstr_chars_and_step...	commit \| commitdiff \| tree \| snapshot
2024-03-21	Markus Triska	ADDED: meta_predicate/1 declarations for (',')//2 and...	commit \| commitdiff \| tree \| snapshot
2024-03-21	Mark Thom	Merge pull request #2363 from triska/compile_format	commit \| commitdiff \| tree \| snapshot
2024-03-20	Markus Triska	ENHANCED: further partial evaluation for the common...	commit \| commitdiff \| tree \| snapshot
2024-03-20	Markus Triska	extend partial evaluation to computing lengths when...	commit \| commitdiff \| tree \| snapshot
2024-03-20	Markus Triska	goal expansion for format/2 and format/3	commit \| commitdiff \| tree \| snapshot
2024-03-20	Markus Triska	strengthen type check	commit \| commitdiff \| tree \| snapshot
2024-03-20	Markus Triska	ENHANCED: Partial evaluation of format_//2.	commit \| commitdiff \| tree \| snapshot
2024-03-19	Mark	expand_call_goals/3 should expand meta-predicate subgoa...	commit \| commitdiff \| tree \| snapshot
2024-03-17	Mark Thom	Merge pull request #2358 from triska/octet_documentation	commit \| commitdiff \| tree \| snapshot
2024-03-16	Markus Triska	indicate deprecated functionality	commit \| commitdiff \| tree \| snapshot
2024-03-16	Markus Triska	DOC: Un-document the ability to use bytes with encoding...	commit \| commitdiff \| tree \| snapshot
2024-03-16	Markus Triska	DOC: Improve descriptions to make clear what encoding...	commit \| commitdiff \| tree \| snapshot
2024-03-13	Mark	don't skip to end of pstr in CommaSeparatedCharList...	commit \| commitdiff \| tree \| snapshot
2024-03-12	Mark Thom	Merge pull request #2357 from aarroyoc/update-website...	commit \| commitdiff \| tree \| snapshot
2024-03-12	Adrián Arroyo...	Website: link release v0.9.4	commit \| commitdiff \| tree \| snapshot
2024-03-02	Mark	recompile original terms from compile_clause for term...	commit \| commitdiff \| tree \| snapshot
2024-03-01	Mark Thom	Merge pull request #2354 from triska/side_channel	commit \| commitdiff \| tree \| snapshot
2024-03-01	Markus Triska	explain potential side-channel attacks due to compact...	commit \| commitdiff \| tree \| snapshot
2024-03-01	Mark Thom	Merge pull request #2353 from triska/hmac_verification	commit \| commitdiff \| tree \| snapshot
2024-03-01	Markus Triska	ENHANCED: Safe HMAC verification, using constant time...	commit \| commitdiff \| tree \| snapshot
2024-03-01	Mark Thom	Merge pull request #2351 from infogulch/install-current-iai	commit \| commitdiff \| tree \| snapshot
2024-02-29	infogulch	Install version of iai-callgrind set in Cargo.toml	commit \| commitdiff \| tree \| snapshot
2024-02-29	Mark	make indexer downcast Integers to Fixnums when possible...	commit \| commitdiff \| tree \| snapshot
2024-02-29	Mark	add #2341 test to lib_machine.rs	commit \| commitdiff \| tree \| snapshot
2024-02-29	Mark	use scryer-modular-bitfield on github, version bump v0.9.4	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom