Repositorios git - scryer-prolog.git/shortlog

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

2021-11-01	Adrián Arroyo...	Rust 2021	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
2021-05-11	Paulo Moura	Add max_arity Prolog flag	commit \| commitdiff \| tree \| snapshot
2021-05-11	Mark Thom	Merge pull request #948 from pmoura/fix_bounded_and_int...	commit \| commitdiff \| tree \| snapshot
2021-05-11	Paulo Moura	Fix querying bounded and integer_rounding_function...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #946 from pmoura/fix_char_code_predi...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Paulo Moura	Fix char_code/2 predicate wrong error term when the...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #934 from panasenco/dockerfile	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #938 from pmoura/fix_bitwise_shift_f...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #937 from pmoura/fix_open_predicate_...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #936 from pmoura/fix_throw_1_control...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #939 from pmoura/fix_missing_argumen...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #940 from pmoura/fix_power_infix_ope...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #944 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #945 from pmoura/fix_char_code_error...	commit \| commitdiff \| tree \| snapshot
2021-05-10	Mark Thom	Merge pull request #942 from pmoura/fix_op_3_predicate_...	commit \| commitdiff \| tree \| snapshot
2021-05-09	Paulo Moura	Fix char_code/2 predicate failure instead of exception...	commit \| commitdiff \| tree \| snapshot
2021-05-09	Markus Triska	FIXED: module qualification for between/3 in goal expan...	commit \| commitdiff \| tree \| snapshot
2021-05-09	Paulo Moura	Fix op/3 predicate operator_priority domain error	commit \| commitdiff \| tree \| snapshot
2021-05-09	Paulo Moura	Fix (**)/2 operator type	commit \| commitdiff \| tree \| snapshot
2021-05-09	Paulo Moura	Fix missing argument in current_op/3 predicate exceptio...	commit \| commitdiff \| tree \| snapshot
2021-05-09	Paulo Moura	Fix bitwise shift functions type error in the second...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom