Repositorios git - scryer-prolog.git/shortlog

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

2023-10-01	bakaq	Add tests for #2056	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	correct depth calculation for lists that are their...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	substitute names for cyclic variables permitted by...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	implement ListElisionPolicy to restore previous printer...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	correct skipping of not fully visited lists in stackful...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	correct max_depth marking for lists	commit \| commitdiff \| tree \| snapshot
2023-09-29	Mark	further max_depth improvements	commit \| commitdiff \| tree \| snapshot
2023-09-29	Mark	improve max_depth write option (#1876, #2053)	commit \| commitdiff \| tree \| snapshot
2023-09-28	Mark	do not deref AttrVar binding in redo_attr_var_binding...	commit \| commitdiff \| tree \| snapshot
2023-09-28	Mark	revert throwing domain errors for unexpected forms...	commit \| commitdiff \| tree \| snapshot
2023-09-28	Mark	check for ChildCloseList in print_struct on [] (#2039)	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark	fix add_predicate_declaration bug not correctly identif...	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark	remove debug symbols from release builds (#2054)	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark Thom	Merge pull request #1998 from aarroyoc/warp-http-server	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark	fix max_depth settings for partial strings on lists...	commit \| commitdiff \| tree \| snapshot
2023-09-27	Adrián Arroyo...	Replace Hyper with Warp for HTTP server	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark Thom	Merge pull request #2048 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-09-27	infogulch	Tidy ci.yaml	commit \| commitdiff \| tree \| snapshot
2023-09-27	infogulch	Build windows with msvc	commit \| commitdiff \| tree \| snapshot
2023-09-27	infogulch	Add ubuntu 22.04	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	remove module_resolution_error (#2035)	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	filter our builtins from current_predicate/1 (#153)	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	check for predicate_indicator list and sequence types...	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	throw instantiation_error when appropriate from parse_w...	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	correct OutOfFiles resource error (#1375)	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	add predicate indicator sequences to loader:add_predica...	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	throw an error instead of allowing builtin modules...	commit \| commitdiff \| tree \| snapshot
2023-09-25	Mark	Merge branch 'master' of ssh://github.com/mthom/scryer...	commit \| commitdiff \| tree \| snapshot
2023-09-25	Mark	fix off-by-1 bug in '$skip_max_list'/4 (#2037)	commit \| commitdiff \| tree \| snapshot
2023-09-25	Mark Thom	Merge pull request #2032 from bakaq/phrase_from_stream	commit \| commitdiff \| tree \| snapshot
2023-09-25	bakaq	Remove reposition option from phrase_from_file/2	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Inline string_get_n_chars_/3	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Better string_get_n_chars_/3	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Fixed bug with '$skip_max_list'/4	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Use '$skip_max_list'/4 in string_get_n_chars/4	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Add phrase_from_stream/2 to library(pio)	commit \| commitdiff \| tree \| snapshot
2023-09-24	Mark Thom	Merge pull request #2040 from rujialiu/allow-cr	commit \| commitdiff \| tree \| snapshot
2023-09-24	Rujia Liu	Solves CRLF/CR issue by considering'\r' a `layout_char...	commit \| commitdiff \| tree \| snapshot
2023-09-24	Mark Thom	Merge pull request #2038 from infogulch/patch-1	commit \| commitdiff \| tree \| snapshot
2023-09-24	Joe Taber	Allow all jobs to run to completion even if one fails	commit \| commitdiff \| tree \| snapshot
2023-09-24	Mark	fix off-by-1 bug in ''/4 (#2037)	commit \| commitdiff \| tree \| snapshot
2023-09-23	Mark	don't parse bracketed non-operators as functor terms...	commit \| commitdiff \| tree \| snapshot
2023-09-23	Mark	record compaction depth after reduce_op if '\|' an opera...	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark	add (now failing) test 317 to iso_conformity_tests.pl	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom