Repositorios git - scryer-prolog.git/shortlog

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

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-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-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
2021-10-07	Mark Thom	Merge pull request #1051 from aarroyoc/close-stream	commit \| commitdiff \| tree \| snapshot
2021-09-30	Adrián Arroyo...	Close Stream test feedback	commit \| commitdiff \| tree \| snapshot
2021-09-30	Adrián Arroyo...	Close Stream bug files	commit \| commitdiff \| tree \| snapshot
2021-09-30	Adrián Arroyo...	Close Stream bug files	commit \| commitdiff \| tree \| snapshot
2021-09-30	Mark Thom	Merge pull request #1049 from pmoura/add_preliminary_cu...	commit \| commitdiff \| tree \| snapshot
2021-09-29	Adrián Arroyo...	use shutdown error values to throw exceptions in close...	commit \| commitdiff \| tree \| snapshot
2021-09-28	Adrián Arroyo...	launch exception if closing a closed TCP stream #1046	commit \| commitdiff \| tree \| snapshot
2021-09-28	Mark Thom	reset attributed variables queue when backtracking...	commit \| commitdiff \| tree \| snapshot
2021-09-27	Mark Thom	reset attributed variables queue after successful verif...	commit \| commitdiff \| tree \| snapshot
2021-09-24	Paulo Moura	Add preliminary current_module/1 predicate definition...	commit \| commitdiff \| tree \| snapshot
2021-09-06	Mark Thom	Merge pull request #1045 from triska/phrase_to_file	commit \| commitdiff \| tree \| snapshot
2021-09-04	Markus Triska	use round brackets for meta_predicate declarations	commit \| commitdiff \| tree \| snapshot
2021-09-04	Markus Triska	ADDED: Rudimentary version of phrase_to_file/2 in libra...	commit \| commitdiff \| tree \| snapshot
2021-08-24	Mark Thom	Merge pull request #1033 from aarroyoc/fix-1022	commit \| commitdiff \| tree \| snapshot
2021-08-24	Mark Thom	Merge pull request #1032 from aarroyoc/fix-1009	commit \| commitdiff \| tree \| snapshot
2021-08-23	Adrián Arroyo...	Rename init_file to disable_init_file	commit \| commitdiff \| tree \| snapshot
2021-08-22	Adrián Arroyo...	use consult instead of use_module	commit \| commitdiff \| tree \| snapshot
2021-08-22	Adrián Arroyo...	Rename to disable_init_file and change description	commit \| commitdiff \| tree \| snapshot
2021-08-21	Adrián Arroyo...	PR feedback	commit \| commitdiff \| tree \| snapshot
2021-08-20	Adrián Arroyo...	Read scryerrc if goals specified but not -f specified	commit \| commitdiff \| tree \| snapshot
2021-08-20	Adrián Arroyo...	Clean the code	commit \| commitdiff \| tree \| snapshot
2021-08-20	Adrián Arroyo...	Add a -f switch to load alternative initialization...	commit \| commitdiff \| tree \| snapshot
2021-08-20	Adrián Arroyo...	Make it line	commit \| commitdiff \| tree \| snapshot
2021-08-20	Adrián Arroyo...	Fix #1009 by providing a naive num-bigint implementatio...	commit \| commitdiff \| tree \| snapshot
2021-08-15	Mark Thom	Merge pull request #1029 from triska/format	commit \| commitdiff \| tree \| snapshot
2021-08-15	Markus Triska	ENHANCED: Domain error non_empty_list for empty argumen...	commit \| commitdiff \| tree \| snapshot
2021-08-15	Mark Thom	Merge pull request #1027 from triska/format	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom