Repositorios git - scryer-prolog.git/shortlog

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

2022-01-13	Mark Thom	Merge pull request #1208 from triska/mention-rebis-dev	commit \| commitdiff \| tree \| snapshot
2022-01-13	Markus Triska	add links to the rebis-dev branch and its announcement	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	Merge pull request #1156 from mthom/proper_var_list_ord...	commit \| commitdiff \| tree \| snapshot
2021-12-23	Mark Thom	create read_term/3 variable lists in order of variable... proper_var_list_order_issue_1121 origin/proper_var_list_order_issue_1121	commit \| commitdiff \| tree \| snapshot
2021-12-14	Mark Thom	Merge pull request #1132 from triska/tls_library	commit \| commitdiff \| tree \| snapshot
2021-12-14	Mark Thom	Merge pull request #1141 from triska/layout_text_sequence	commit \| commitdiff \| tree \| snapshot
2021-12-14	Mark Thom	Merge pull request #1142 from triska/s	commit \| commitdiff \| tree \| snapshot
2021-12-14	Mark Thom	Merge pull request #1143 from heydtn/patch-1	commit \| commitdiff \| tree \| snapshot
2021-12-14	Mark Thom	Merge pull request #1147 from triska/pio_improvements	commit \| commitdiff \| tree \| snapshot
2021-12-12	Markus Triska	ENHANCED: Use newly available fast chars test from...	commit \| commitdiff \| tree \| snapshot
2021-12-09	Nate Heydt	Fix typo in abnf_lwsp/2	commit \| commitdiff \| tree \| snapshot
2021-12-08	Markus Triska	report time with "s" instead of "seconds", in analogy...	commit \| commitdiff \| tree \| snapshot
2021-12-08	Markus Triska	ENHANCED: support full layout text sequence (also comme...	commit \| commitdiff \| tree \| snapshot
2021-12-08	Markus Triska	remove redundant test: '\n' is a layout char.	commit \| commitdiff \| tree \| snapshot
2021-12-08	Mark Thom	Merge pull request #1131 from triska/cpu_time	commit \| commitdiff \| tree \| snapshot
2021-12-05	Markus Triska	use newly available predicates from library(tls) for...	commit \| commitdiff \| tree \| snapshot
2021-12-05	Markus Triska	ADDED: library(tls), providing all predicates for TLS...	commit \| commitdiff \| tree \| snapshot
2021-12-05	Markus Triska	implement tls_client_negotiate/3 for explicit negotiation	commit \| commitdiff \| tree \| snapshot
2021-12-05	Markus Triska	MODIFIED: Remove TLS-related predicates from library...	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom