Repositorios git - scryer-prolog.git/shortlog

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

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
2024-07-22	Mark Thom	Merge pull request #2439 from Skgland/miri	commit \| commitdiff \| tree \| snapshot
2024-07-07	Mark Thom	Merge pull request #2442 from aarroyoc/fix-http-at...	commit \| commitdiff \| tree \| snapshot
2024-07-07	Mark Thom	Merge pull request #2440 from triska/statistics	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	fix leak of slaps with dropped payload	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	cleanup the slab types	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	wrap Payloads that are dropped eraly in ManuallyDrop	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	check that we don't attempt to un-drop while evacuating	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	add `AllocateInArena` as a Pivot for `arena_alloc!`	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	remove unsafe `impl From<UntypedArenaPtr> for CodeIndex`	commit \| commitdiff \| tree \| snapshot
2024-07-07	Skgland	ignore `pstr_iter_tests` test in miri as it takes too...	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	fix clippy again	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	fix leak of ArenaAllocated IndexPtr	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	replace static Once and two mut statics with one static...	commit \| commitdiff \| tree \| snapshot
2024-07-07	Bennet Bleßmann	reduce span of unsafe block	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	switch macos to latest as macos-11 has been removed	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	fix clippy	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	adjust ignore reason	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	if UB un IndexPtr ArenaAllocated impl	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	replace `ref_thread_local::ref_thread_local!` with...	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	fix stack alignement	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	make components a comma seperated string instead of...	commit \| commitdiff \| tree \| snapshot
2024-07-06	Adrián Arroyo...	Fix at_end_of_stream/1 for http read stream	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	add miri to CI	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	add associated Payload type to ArenaAllocated	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	switch Rcu to the arcu crate	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	fix stream.rs UB	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	somehow this was never marked as bad	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: change ToString impl to Display	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: use type associated constants	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: ptr dereference in safe function	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: identity conversion	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	fix saftey comment	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: explicit ptr addrs comparision	commit \| commitdiff \| tree \| snapshot
2024-07-06	Bennet Bleßmann	clippy: allow new without default	commit \| commitdiff \| tree \| snapshot
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	Markus Triska	ADDED: Preliminary support for statistics/2.	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom