Repositorios git - scryer-prolog.git/shortlog

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

2021-12-09	Nate Heydt	Fix typo in abnf_lwsp/2	commit \| commitdiff \| tree \| snapshot
2021-12-08	Mark Thom	Merge pull request #1131 from triska/cpu_time	commit \| commitdiff \| tree \| snapshot
2021-12-04	Markus Triska	walltime --> CPU time	commit \| commitdiff \| tree \| snapshot
2021-12-04	Mark Thom	Merge pull request #1129 from triska/tls_servers	commit \| commitdiff \| tree \| snapshot
2021-12-04	Mark Thom	Merge pull request #1124 from triska/test_corrections	commit \| commitdiff \| tree \| snapshot
2021-12-04	Mark Thom	Merge pull request #1127 from triska/retract_correction	commit \| commitdiff \| tree \| snapshot
2021-12-04	Mark Thom	Merge pull request #1122 from triska/better_time	commit \| commitdiff \| tree \| snapshot
2021-12-03	Markus Triska	ADDED: Support for creating TLS servers.	commit \| commitdiff \| tree \| snapshot
2021-12-01	Markus Triska	FIXED: retract/1 issues due to module qualification	commit \| commitdiff \| tree \| snapshot
2021-12-01	Markus Triska	ENHANCED: Better reporting for time/1.	commit \| commitdiff \| tree \| snapshot
2021-12-01	Markus Triska	use anonymous variable	commit \| commitdiff \| tree \| snapshot
2021-12-01	Markus Triska	several corrections to test cases	commit \| commitdiff \| tree \| snapshot
2021-11-30	Mark Thom	Merge pull request #1120 from triska/char_type_correction	commit \| commitdiff \| tree \| snapshot
2021-11-29	Markus Triska	ENHANCED: Correct type error for char_type/2.	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1116 from aarroyoc/fix-open-lis	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1119 from mthom/expand_call_goals_a...	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	expand call goals as call goals (#1114) expand_call_goals_as_call_goals origin/expand_call_goals_as_call_goals	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1117 from triska/indicate_failed_in...	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1115 from triska/get_char_type_test	commit \| commitdiff \| tree \| snapshot
2021-11-28	Markus Triska	ENHANCED: indicate failed initialization/1 goal	commit \| commitdiff \| tree \| snapshot
2021-11-28	Adrián Arroyo...	Fix use_module import errors	commit \| commitdiff \| tree \| snapshot
2021-11-28	Adrián Arroyo...	Allow all kinds of string to be processed in open/4	commit \| commitdiff \| tree \| snapshot
2021-11-28	Markus Triska	ENHANCED: Character type checks for get_char/[1,2].	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1096 from aarroyoc/number_chars_fix	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1112 from triska/underscores_in_int...	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1113 from triska/seq	commit \| commitdiff \| tree \| snapshot
2021-11-28	Mark Thom	Merge pull request #1111 from triska/fast_list_test	commit \| commitdiff \| tree \| snapshot
2021-11-27	Markus Triska	use seq//1	commit \| commitdiff \| tree \| snapshot
2021-11-27	Markus Triska	use seq//1 and ... //0 which are now available in libra...	commit \| commitdiff \| tree \| snapshot
2021-11-27	Markus Triska	use seq//1	commit \| commitdiff \| tree \| snapshot
2021-11-27	Markus Triska	use seq//1 which is now available in library(dcgs)	commit \| commitdiff \| tree \| snapshot
2021-11-27	Markus Triska	ENHANCED: Support '_' followed by layout text sequence...	commit \| commitdiff \| tree \| snapshot
2021-11-26	Markus Triska	use must_be(list, ...) earlier, since it is now faster	commit \| commitdiff \| tree \| snapshot
2021-11-26	Markus Triska	ENHANCED: use '$skip_max_list'/4 for fast list tests...	commit \| commitdiff \| tree \| snapshot
2021-11-26	Mark Thom	Merge pull request #1107 from triska/fast_chars_test	commit \| commitdiff \| tree \| snapshot
2021-11-22	Markus Triska	use newly available must_be(chars, ...) for fast string...	commit \| commitdiff \| tree \| snapshot
2021-11-22	Markus Triska	use newly available must_be(chars, ...) for fast string...	commit \| commitdiff \| tree \| snapshot
2021-11-22	Markus Triska	ADDED: must_be(chars, ...) and can_be(chars, ...) for...	commit \| commitdiff \| tree \| snapshot
2021-11-21	Mark Thom	Merge pull request #1098 from triska/format_improvements	commit \| commitdiff \| tree \| snapshot
2021-11-21	Mark Thom	Merge pull request #1099 from aarroyoc/uninstantiation_...	commit \| commitdiff \| tree \| snapshot
2021-11-21	Mark Thom	Merge pull request #1100 from aarroyoc/phrase-to-file...	commit \| commitdiff \| tree \| snapshot
2021-11-21	Mark Thom	Merge pull request #1102 from triska/meta_predicate_cor...	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	use round brackets for meta_predicate/1 declaration	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	FIXED: meta_predicate/1 declaration of cond_t/3.	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	FIXED: meta_predicate/1 declaration of (',')/3 and...	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	FIXED: meta_predicate/1 declaration for tfilter/3.	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	FIXED: meta_predicate/1 declaration for tmember_t/3.	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	FIXED: meta_predicate/1 declaration for tmember/2.	commit \| commitdiff \| tree \| snapshot
2021-11-20	Markus Triska	FIXED: meta_predicate/1 declaration for tpartition/4.	commit \| commitdiff \| tree \| snapshot
2021-11-17	Markus Triska	mention phrase_to_file/3 which is being prepared in...	commit \| commitdiff \| tree \| snapshot
2021-11-17	Markus Triska	'f' --> f	commit \| commitdiff \| tree \| snapshot
2021-11-17	Markus Triska	better layout	commit \| commitdiff \| tree \| snapshot
2021-11-17	Markus Triska	use newly available seq//1 from library(dcgs)	commit \| commitdiff \| tree \| snapshot
2021-11-17	Adrián Arroyo...	Fix mistake in phrase_to_file/2 definition	commit \| commitdiff \| tree \| snapshot
2021-11-16	Adrián Arroyo...	Add phrase_to_file/3 (phrase_to_file with Options)	commit \| commitdiff \| tree \| snapshot
2021-11-16	Adrián Arroyo...	Fix uninstantiation_error missing. Fix #1031	commit \| commitdiff \| tree \| snapshot
2021-11-16	Markus Triska	more elegant solution for parsing numeric arguments...	commit \| commitdiff \| tree \| snapshot
2021-11-16	Markus Triska	mention the format("~s", [Ls]) pattern and new library...	commit \| commitdiff \| tree \| snapshot
2021-11-14	Adrián Arroyo...	Prevents panic in some strange cases. Seen in #721	commit \| commitdiff \| tree \| snapshot
2021-11-13	Mark Thom	Merge pull request #1082 from pmoura/fix_format_predica...	commit \| commitdiff \| tree \| snapshot
2021-11-13	Mark Thom	Merge pull request #1087 from Skgland/fix_beta_check	commit \| commitdiff \| tree \| snapshot
2021-11-13	Mark Thom	Merge pull request #1078 from triska/pio_improvements	commit \| commitdiff \| tree \| snapshot
2021-11-13	Mark Thom	Merge pull request #1086 from Skgland/pass_-f_flag_in_c...	commit \| commitdiff \| tree \| snapshot
2021-11-13	Mark Thom	Merge pull request #1088 from triska/call_nth_metapredicate	commit \| commitdiff \| tree \| snapshot
2021-11-11	Skgland	remove unused fields instead, prompting more dead_code...	commit \| commitdiff \| tree \| snapshot
2021-11-11	Markus Triska	use functional notation for all meta_predicate/1 directives	commit \| commitdiff \| tree \| snapshot
2021-11-11	Markus Triska	FIXED: meta_predicate/1 directive for call_nth/2.	commit \| commitdiff \| tree \| snapshot
2021-11-11	Skgland	fix failing lint warnings in beta build	commit \| commitdiff \| tree \| snapshot
2021-11-11	Skgland	pass -f to scryer-prolog in cargo test so that we ignor...	commit \| commitdiff \| tree \| snapshot
2021-11-08	Paulo Moura	Fix the format/2-3 predicates missing the numbervars...	commit \| commitdiff \| tree \| snapshot
2021-11-08	Markus Triska	FIXED: instantiation errors for alias(Var) in open...	commit \| commitdiff \| tree \| snapshot
2021-11-08	Markus Triska	FIXED: instantiation errors for type(Var) in open/4...	commit \| commitdiff \| tree \| snapshot
2021-11-08	Markus Triska	add motivation and comments about library(pio) predicates	commit \| commitdiff \| tree \| snapshot
2021-11-08	Markus Triska	use newly available library predicate read_n_chars/3	commit \| commitdiff \| tree \| snapshot
2021-11-08	Markus Triska	mention pure output predicates in the README	commit \| commitdiff \| tree \| snapshot
2021-11-07	Markus Triska	ADDED: library(format): DCG nonterminal portray_clause_...	commit \| commitdiff \| tree \| snapshot
2021-11-07	Markus Triska	express format/3 and portray_clause/2 in terms of phras...	commit \| commitdiff \| tree \| snapshot
2021-11-07	Markus Triska	ADDED: phrase_to_stream/2, writing a list of characters...	commit \| commitdiff \| tree \| snapshot
2021-11-07	Mark Thom	Merge pull request #1077 from pmoura/fix_get_code_predi...	commit \| commitdiff \| tree \| snapshot
2021-11-07	Mark Thom	Merge pull request #1071 from triska/read_n_chars	commit \| commitdiff \| tree \| snapshot
2021-11-07	Mark Thom	Merge pull request #1070 from triska/open_stream	commit \| commitdiff \| tree \| snapshot
2021-11-07	Mark Thom	Merge pull request #1069 from triska/crypto_improvements	commit \| commitdiff \| tree \| snapshot
2021-11-06	Paulo Moura	Fix the get_code/1-2 predicates to return -1 at the...	commit \| commitdiff \| tree \| snapshot
2021-11-04	Markus Triska	import also partial_string/3 (used in #1071)	commit \| commitdiff \| tree \| snapshot
2021-11-04	Markus Triska	ADDED: read_n_chars/3, reading N characters from a...	commit \| commitdiff \| tree \| snapshot
2021-11-04	Markus Triska	move error handling to Prolog by using the new '$first_...	commit \| commitdiff \| tree \| snapshot
2021-11-04	Markus Triska	ENHANCED: open/4 to allow opening a stream by specifyin...	commit \| commitdiff \| tree \| snapshot
2021-11-03	Markus Triska	use partial_string/1 for much quicker test	commit \| commitdiff \| tree \| snapshot
2021-11-03	Markus Triska	use '$first_non_octet'/2 for much faster domain check	commit \| commitdiff \| tree \| snapshot
2021-11-03	Markus Triska	ADDED: '$first_non_octet'/2, for much more efficient...	commit \| commitdiff \| tree \| snapshot
2021-11-03	Markus Triska	ENHANCED: Much faster Base64 encoding/decoding, using...	commit \| commitdiff \| tree \| snapshot
2021-11-03	Mark Thom	Merge pull request #1065 from aarroyoc/pio-string	commit \| commitdiff \| tree \| snapshot
2021-11-03	Mark Thom	Merge pull request #1066 from aarroyoc/rust-2021	commit \| commitdiff \| tree \| snapshot
2021-11-01	Adrián Arroyo...	Rust 2021	commit \| commitdiff \| tree \| snapshot
2021-10-29	Adrián Arroyo...	Disable check of atom and leverage to open/4 the domain...	commit \| commitdiff \| tree \| snapshot
2021-10-29	Adrián Arroyo...	Disable check of atom and leverage to open/4 the domain...	commit \| commitdiff \| tree \| snapshot
2021-10-17	Mark Thom	Merge pull request #1052 from aarroyoc/shell-predicate	commit \| commitdiff \| tree \| snapshot
2021-10-15	Adrián Arroyo...	Go back and accept only list of chars	commit \| commitdiff \| tree \| snapshot
2021-10-14	Adrián Arroyo...	Accept atom or shell	commit \| commitdiff \| tree \| snapshot
2021-10-11	Adrián Arroyo...	Implement shell/1 and shell/2	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom