Repositorios git - scryer-prolog.git/shortlog

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

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
2021-08-14	Markus Triska	ENHANCED: format_string domain error for invalid radix...	commit \| commitdiff \| tree \| snapshot
2021-08-14	Mark Thom	Merge pull request #1026 from triska/format	commit \| commitdiff \| tree \| snapshot
2021-08-14	Markus Triska	ENHANCED: If N is omitted in ~Nr or ~NR, it defaults...	commit \| commitdiff \| tree \| snapshot
2021-08-01	Mark Thom	run user-level and module-level initialization goals...	commit \| commitdiff \| tree \| snapshot
2021-07-08	Mark Thom	Merge pull request #1001 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-07-03	Markus Triska	ADDED: ... //0, describing an arbitrary number of elements	commit \| commitdiff \| tree \| snapshot
2021-06-22	Mark Thom	Merge pull request #996 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-06-21	Markus Triska	address #995: wrong results for popcount/1	commit \| commitdiff \| tree \| snapshot
2021-06-19	Mark Thom	Merge pull request #993 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-06-19	Mark Thom	Merge pull request #986 from Regan-Koopmans/981	commit \| commitdiff \| tree \| snapshot
2021-06-18	Regan-Koopmans	981 Prefer must_be/2	commit \| commitdiff \| tree \| snapshot
2021-06-17	Markus Triska	ADDED: popcount(+Integer)	commit \| commitdiff \| tree \| snapshot
2021-06-17	Regan-Koopmans	981 Reimplement as library system call	commit \| commitdiff \| tree \| snapshot
2021-06-04	Mark Thom	Merge pull request #983 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-06-03	Markus Triska	check for correct domain of integers in reifiable expre...	commit \| commitdiff \| tree \| snapshot
2021-06-03	Mark Thom	Merge pull request #978 from Skgland/master	commit \| commitdiff \| tree \| snapshot
2021-06-03	Mark Thom	Merge pull request #982 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-06-03	Markus Triska	ENHANCED: Goal expansion for reified constraints.	commit \| commitdiff \| tree \| snapshot
2021-06-02	Skgland	ignore setup_call_cleanup tests as their output is...	commit \| commitdiff \| tree \| snapshot
2021-06-02	Skgland	fix tests	commit \| commitdiff \| tree \| snapshot
2021-06-02	Skgland	fix beta build	commit \| commitdiff \| tree \| snapshot
2021-05-19	Mark Thom	Merge pull request #972 from pmoura/add_pid_predicate	commit \| commitdiff \| tree \| snapshot
2021-05-19	Mark Thom	leave the expansion of incomplete goals in meta-predica...	commit \| commitdiff \| tree \| snapshot
2021-05-18	Paulo Moura	Add pid/1 predicate to the os library	commit \| commitdiff \| tree \| snapshot
2021-05-18	Mark Thom	Merge pull request #971 from pmoura/add_rename_file_pre...	commit \| commitdiff \| tree \| snapshot
2021-05-18	Paulo Moura	Add rename_file/2 predicate to the files library	commit \| commitdiff \| tree \| snapshot
2021-05-18	Mark Thom	Merge pull request #968 from pmoura/add_make_directory_...	commit \| commitdiff \| tree \| snapshot
2021-05-18	Mark Thom	Merge pull request #969 from pmoura/add_delete_director...	commit \| commitdiff \| tree \| snapshot
2021-05-18	Paulo Moura	Add delete_directory/1 predicate to the files library	commit \| commitdiff \| tree \| snapshot
2021-05-17	Paulo Moura	Add make_directory_path/1 predicate to the files library	commit \| commitdiff \| tree \| snapshot
2021-05-17	Mark Thom	Merge pull request #965 from pmoura/fix_current_predica...	commit \| commitdiff \| tree \| snapshot
2021-05-16	Paulo Moura	Fix current_predicate/1 predicate error checking	commit \| commitdiff \| tree \| snapshot
2021-05-14	Mark Thom	Merge pull request #956 from pmoura/fix_subsumes_term_p...	commit \| commitdiff \| tree \| snapshot
2021-05-14	Mark Thom	Merge pull request #960 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-05-14	Mark Thom	Merge pull request #958 from pmoura/fixes_for_retract_p...	commit \| commitdiff \| tree \| snapshot
2021-05-14	Mark Thom	Merge pull request #957 from pmoura/fix_at_end_of_strea...	commit \| commitdiff \| tree \| snapshot
2021-05-14	Mark Thom	Merge pull request #955 from pmoura/fix_abolish_predica...	commit \| commitdiff \| tree \| snapshot
2021-05-14	Mark Thom	Merge pull request #954 from pmoura/fix_set_stream_posi...	commit \| commitdiff \| tree \| snapshot
2021-05-13	Markus Triska	FIXED: correct propagation of tuples_in/2 (#929)	commit \| commitdiff \| tree \| snapshot
2021-05-12	Paulo Moura	Fix retract_clause/2 internal predicate to correctly...	commit \| commitdiff \| tree \| snapshot
2021-05-12	Paulo Moura	Fix retractall/1 predicate to retract both facts and...	commit \| commitdiff \| tree \| snapshot
2021-05-12	Paulo Moura	Fix at_end_of_stream/1 predicate missing check for...	commit \| commitdiff \| tree \| snapshot
2021-05-12	Paulo Moura	Fix subsumes_term/2 predicate to use unify_with_occurs_...	commit \| commitdiff \| tree \| snapshot
2021-05-12	Paulo Moura	Fix abolish/1 predicate throw of instantiation_error	commit \| commitdiff \| tree \| snapshot
2021-05-12	Paulo Moura	Fix set_stream_position/2 predicate missing argument...	commit \| commitdiff \| tree \| snapshot
2021-05-12	Mark Thom	Merge pull request #952 from panasenco/dockerfile	commit \| commitdiff \| tree \| snapshot
2021-05-12	panasenco	Made rust version in Dockerfile static, this seems...	commit \| commitdiff \| tree \| snapshot
2021-05-12	Mark Thom	Merge pull request #951 from pmoura/add_max_arity_prolo...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom