Repositorios git - scryer-prolog.git/shortlog

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

2022-01-07	Mark Thom	detect attributed variables by properly detecting them...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	upgrade rustyline	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	don't allow [] as a stream alias, restore domain error...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	keep cursor position after writing to byte stream	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix stream errors	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	break from loop upon successful peek in peek_char/1...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	break from loop in get_code upon successful character...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	throw instantiation error if Arity is a variable in...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	use strip module in retract/1, a meta-predicate	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	restore old thread_goals to fix top-level solutions...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix HeapPStrIter bug not recognizing nil focus if PStrL...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix number not recognizing floats	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	detect module resolved cut in interpreted (,)	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix arg/3 bug	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	add bounds check for attributed variables slice	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	tag DCG constructs with module names for proper resolution	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	break from get_char loop after successful char unification	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	unmark cell bits in occurs check	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	support comparison and unification of cyclic partial...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	greatly reduce the number of goal expansions done in...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	use new heap term representation	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom