Repositorios git - scryer-prolog.git/shortlog

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

2024-08-16	bakaq	Fix lists of chars as strings	commit \| commitdiff \| tree \| snapshot
2024-08-16	bakaq	Represent atom [] as empty list	commit \| commitdiff \| tree \| snapshot
2024-08-15	bakaq	Differentiate anonymous variables	commit \| commitdiff \| tree \| snapshot
2024-08-15	bakaq	Value::from_heapcell() implemented with heap walk	commit \| commitdiff \| tree \| snapshot
2024-08-15	bakaq	Value::from_heapcell()	commit \| commitdiff \| tree \| snapshot
2024-08-15	Mark Thom	Merge pull request #2472 from bakaq/query_iterator	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	Tests for run_query_iter()	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	Implement run_query() in terms of run_query_iter()	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	Add run_query_iter()	commit \| commitdiff \| tree \| snapshot
2024-08-14	Mark Thom	Merge pull request #2482 from bakaq/flake	commit \| commitdiff \| tree \| snapshot
2024-08-14	Mark Thom	Merge pull request #2485 from aarroyoc/learn-pages...	commit \| commitdiff \| tree \| snapshot
2024-08-14	Adrián Arroyo...	Upgrade docs to DocLog 2.0. Includes a test learning...	commit \| commitdiff \| tree \| snapshot
2024-08-14	bakaq	flake.nix	commit \| commitdiff \| tree \| snapshot
2024-08-05	Mark Thom	Merge pull request #2463 from Skgland/split-up-inconsit...	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	switch invalid term from type to domain error	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	fix remaining use of declaration instead of directive	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	remove obsolete ExistenceError::Declaration	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	change declaration to directive	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	ajust/add devlaration errors to be more standard compliant	commit \| commitdiff \| tree \| snapshot
2024-08-05	Bennet Bleßmann	impl PartialEq<str> and PartialEq<&str> for Atom	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom