Repositorios git - scryer-prolog.git/shortlog

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

2024-07-06	Bennet Bleßmann	clippy: use clone_from rather than clone	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: ignore unused fields on PrologBenchmark struct	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	run rustfmt	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	update ignore reason	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	adjust the generation of the LIBRARIES map	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	don't use env::current_dir() in miri	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	fix some more miri errors	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	some test pass miri	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	remove rust_beta_channel feature	commit \| commitdiff \| tree \| snapshot
2024-07-05	Bennet Bleßmann	unify pointer width	commit \| commitdiff \| tree \| snapshot
2024-07-05	Bennet Bleßmann	replace transmut with pointer cast calls	commit \| commitdiff \| tree \| snapshot
2024-07-05	Bennet Bleßmann	resolve miri error for pstr_iter_tests in atom_table	commit \| commitdiff \| tree \| snapshot
2024-07-05	Bennet Bleßmann	adjust alignment calculation	commit \| commitdiff \| tree \| snapshot
2024-07-05	Bennet Bleßmann	rework some unsafe parts	commit \| commitdiff \| tree \| snapshot
2024-07-05	Bennet Bleßmann	remove remains of num feature	commit \| commitdiff \| tree \| snapshot
2024-07-04	Mark Thom	Merge pull request #2436 from triska/arxivlink	commit \| commitdiff \| tree \| snapshot
2024-07-03	Markus Triska	link to newly available paper about Grants4Companies	commit \| commitdiff \| tree \| snapshot
2024-06-07	Mark Thom	Merge pull request #2417 from aarroyoc/fix-2416	commit \| commitdiff \| tree \| snapshot
2024-06-06	Adrián Arroyo...	Manage Float and Double FFI types in structs	commit \| commitdiff \| tree \| snapshot
2024-05-29	Mark Thom	Merge pull request #2413 from Skgland/master	commit \| commitdiff \| tree \| snapshot
2024-05-29	Bennet Bleßmann	create swap file for wasm32 build	commit \| commitdiff \| tree \| snapshot
2024-05-28	Bennet Bleßmann	fix two clippy lints	commit \| commitdiff \| tree \| snapshot
2024-05-28	Bennet Bleßmann	re-add CI job to test Cargo.toml rust-version	commit \| commitdiff \| tree \| snapshot
2024-05-27	Mark Thom	Merge pull request #2410 from aarroyoc/fix-warn-dead...	commit \| commitdiff \| tree \| snapshot
2024-05-27	Adrián Arroyo...	Fix warnings of dead code	commit \| commitdiff \| tree \| snapshot
2024-05-13	Mark Thom	more generally consider NEGATIVE_SIGN a non-op term...	commit \| commitdiff \| tree \| snapshot
2024-04-29	Mark Thom	Merge pull request #2393 from mthom/unsafe_improvements	commit \| commitdiff \| tree \| snapshot
2024-04-29	Mark Thom	remove 1.70 version CI job unsafe_improvements origin/unsafe_improvements	commit \| commitdiff \| tree \| snapshot
2024-04-29	Mark Thom	delay instantiation errors on lists in phrase/3 until...	commit \| commitdiff \| tree \| snapshot
2024-04-29	Mark Thom	detect External indices more generally in internalize_c...	commit \| commitdiff \| tree \| snapshot
2024-04-26	Mark Thom	fix failing clippy checks, remove unnecessary code	commit \| commitdiff \| tree \| snapshot
2024-04-25	Mark Thom	fix wasm tests in unsafe_improvements branch	commit \| commitdiff \| tree \| snapshot
2024-04-25	Mark Thom	bump required rust version for use of newly introduced...	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom