Repositorios git - scryer-prolog.git/shortlog

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

2023-09-21	Mark	generalize multifile/dynamic/discontiguous declarations...	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark	throw resource error if OpenOptions raises an error...	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark Thom	Merge pull request #2027 from bakaq/dif	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark Thom	Merge pull request #2026 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-09-21	bakaq	Avoid dif/1 attribute with empty list	commit \| commitdiff \| tree \| snapshot
2023-09-21	bakaq	Run dif tests on cargo test	commit \| commitdiff \| tree \| snapshot
2023-09-20	bakaq	Tests for dif/2	commit \| commitdiff \| tree \| snapshot
2023-09-20	bakaq	Improved dif/2	commit \| commitdiff \| tree \| snapshot
2023-09-20	infogulch	Simplify maybe	commit \| commitdiff \| tree \| snapshot
2023-09-20	Mark Thom	Merge pull request #2025 from aarroyoc/random-seed	commit \| commitdiff \| tree \| snapshot
2023-09-20	Adrián Arroyo...	Use a SeedableRng to generate random numbers	commit \| commitdiff \| tree \| snapshot
2023-09-15	Mark	remove unnecessary Result return type from read_term_fr...	commit \| commitdiff \| tree \| snapshot
2023-09-13	Mark Thom	Merge pull request #2018 from triska/libffi	commit \| commitdiff \| tree \| snapshot
2023-09-13	Markus Triska	use version from crates.io	commit \| commitdiff \| tree \| snapshot
2023-09-13	Mark Thom	Merge pull request #2017 from cmpute/master	commit \| commitdiff \| tree \| snapshot
2023-09-13	Jacob	Upgrade dashu and some changes	commit \| commitdiff \| tree \| snapshot
2023-09-12	Mark	update syn crates	commit \| commitdiff \| tree \| snapshot
2023-09-11	Mark	get rid of OssifiedOpDir, DBRef, simplify current_op/3	commit \| commitdiff \| tree \| snapshot
2023-09-11	Mark Thom	Merge pull request #1993 from coasys/dashu-fixes	commit \| commitdiff \| tree \| snapshot
2023-09-11	Mark Thom	Merge pull request #2013 from gruhn/fix-docker-debian...	commit \| commitdiff \| tree \| snapshot
2023-09-10	Niklas Gruhn	fix Docker image	commit \| commitdiff \| tree \| snapshot
2023-09-10	Mark Thom	Merge pull request #2010 from aarroyoc/update-website...	commit \| commitdiff \| tree \| snapshot
2023-09-10	Adrián Arroyo...	Update website to mention 0.9.2 and playground	commit \| commitdiff \| tree \| snapshot
2023-09-10	Fayeed Pawaskar	Merge branch 'master' into dashu-fixes	commit \| commitdiff \| tree \| snapshot
2023-09-10	Fayeed Pawaskar	Removed value method and use deref to get type	commit \| commitdiff \| tree \| snapshot
2023-09-09	Mark Thom	Merge pull request #2008 from triska/clpb_improvements	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	remove code that is not needed in Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	remove more attributes so that they do not appear in...	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	move compatibility predicates and meta_predicate/1...	commit \| commitdiff \| tree \| snapshot
2023-09-09	Mark Thom	Merge pull request #2006 from infogulch/wasm-ci	commit \| commitdiff \| tree \| snapshot
2023-09-09	Mark Thom	Merge pull request #2007 from triska/rust_1_70	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	shorter partition/5, relying on first instantiated...	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	add meta_predicate/1 declaration for include/3 and...	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	shorter include/3 and exclude/3, relying on improved...	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	add licensing information, addressing part of #1798	commit \| commitdiff \| tree \| snapshot
2023-09-09	Markus Triska	update required Rust version	commit \| commitdiff \| tree \| snapshot
2023-09-09	Joe Taber	Add wasm build steps	commit \| commitdiff \| tree \| snapshot
2023-09-08	Mark Thom	Merge pull request #2004 from triska/generalize_description	commit \| commitdiff \| tree \| snapshot
2023-09-08	Mark Thom	Merge pull request #2003 from triska/clpz_comment	commit \| commitdiff \| tree \| snapshot
2023-09-08	Markus Triska	this holds for all architectures (also 32-bit systems)	commit \| commitdiff \| tree \| snapshot
2023-09-08	Markus Triska	update comment	commit \| commitdiff \| tree \| snapshot
2023-09-08	Mark Thom	Merge pull request #1986 from rujialiu/wasm32-support	commit \| commitdiff \| tree \| snapshot
2023-09-08	Rujia Liu	Basic WebAssembly support with minimal Javascript API...	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark	check atom == ',' in ambiguity_check mirroring logic...	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark	remove error printing redundancy and inconsistent state...	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark Thom	Merge pull request #1980 from Skgland/atomtable	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark Thom	Merge pull request #1997 from triska/countall	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark	call_with_inference_limit/3 should fail if inference...	commit \| commitdiff \| tree \| snapshot
2023-09-05	Markus Triska	FIXED: documentation of countall/2 (#1976)	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	make F64Table concurency safe	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	remove locks from AtomTable	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	[WIP] move towards lockless AtomTable	commit \| commitdiff \| tree \| snapshot
2023-09-05	Markus Triska	FIXED: countall/2 for zero solutions (#1996)	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	fix `rust_beta_channel` feature	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	fix accidentally left in println!()	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	raise msrv for OnceLock support	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	add comment why blocking_write is not used	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	fix deadlock in `load_library_as_stream`	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	[WIP] fix deadlock in AtomTable::build_with	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	[WIP] make AtomTable concurrentcy ready	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	run cargo fmt	commit \| commitdiff \| tree \| snapshot
2023-09-04	Mark	correct inference counting over index backtracking...	commit \| commitdiff \| tree \| snapshot
2023-09-04	Fayeed Pawaskar	Implemented num_order methods on Integer & Rational...	commit \| commitdiff \| tree \| snapshot
2023-09-04	Fayeed Pawaskar	Added new unify methods	commit \| commitdiff \| tree \| snapshot
2023-09-04	Fayeed Pawaskar	Fixed warning	commit \| commitdiff \| tree \| snapshot
2023-09-04	Fayeed Pawaskar	Added value method to get the generic type from TypedAr...	commit \| commitdiff \| tree \| snapshot
2023-09-04	Fayeed Pawaskar	Added latest dashu from github	commit \| commitdiff \| tree \| snapshot
2023-09-04	Mark Thom	Merge pull request #1991 from triska/discoverable_flags	commit \| commitdiff \| tree \| snapshot
2023-09-04	Mark Thom	Merge pull request #1990 from triska/clpb_max	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	FIXED: make occurs_check and answer_write_options flags...	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	update answer	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	untabify	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	remove clpb_max/1 attribute for residual goal projection	commit \| commitdiff \| tree \| snapshot
2023-09-03	Mark Thom	Merge pull request #1988 from triska/answer_write_options	commit \| commitdiff \| tree \| snapshot
2023-09-03	Mark Thom	Merge pull request #1989 from triska/mention_binaries	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	mention precompiled binaries	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	ADDED: New Prolog flag, answer_write_options.	commit \| commitdiff \| tree \| snapshot
2023-08-29	Mark	refine is/2 compilation so errors are thrown when expec...	commit \| commitdiff \| tree \| snapshot
2023-08-29	Mark	don't compile is instruction if bound to anonymous...	commit \| commitdiff \| tree \| snapshot
2023-08-28	Mark	update Cargo.toml version numbers and bump version... v0.9.2	commit \| commitdiff \| tree \| snapshot
2023-08-27	Mark Thom	Merge pull request #1978 from aarroyoc/ci-32-bits	commit \| commitdiff \| tree \| snapshot
2023-08-27	Mark Thom	Merge pull request #1979 from triska/normalize_space	commit \| commitdiff \| tree \| snapshot
2023-08-27	Adrián Arroyo...	32 bit CI for Linux	commit \| commitdiff \| tree \| snapshot
2023-08-27	Markus Triska	replace adjacent whitespace characters with a single...	commit \| commitdiff \| tree \| snapshot
2023-08-27	Markus Triska	ENHANCED: rudimentary implementation of normalize_space	commit \| commitdiff \| tree \| snapshot
2023-08-25	Mark Thom	Merge pull request #1972 from rujialiu/32-bit-support	commit \| commitdiff \| tree \| snapshot
2023-08-24	Rujia Liu	32-bit system support, addressing all (at most) 4GB...	commit \| commitdiff \| tree \| snapshot
2023-08-22	Mark Thom	Merge pull request #1973 from triska/clpz	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	attach more propagators before starting propagation	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	remove optional (+)/1 prefix in get_atts/2 and put_atts...	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	use pneq/2	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	enforce same queue in more constraints	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	append the entire queues instead of inserting each...	commit \| commitdiff \| tree \| snapshot
2023-08-21	Markus Triska	adapt query to Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2023-08-21	Markus Triska	update answers	commit \| commitdiff \| tree \| snapshot
2023-08-21	Markus Triska	use can_be/2	commit \| commitdiff \| tree \| snapshot
2023-08-21	Mark Thom	Merge pull request #1967 from rujialiu/optional-features	commit \| commitdiff \| tree \| snapshot
2023-08-21	Rujia Liu	Allow users to disable optional features. Needed for...	commit \| commitdiff \| tree \| snapshot
2023-08-20	Mark Thom	Merge pull request #1968 from rujialiu/atom-64bit	commit \| commitdiff \| tree \| snapshot
2023-08-20	Mark Thom	Merge pull request #1970 from triska/crrl	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom