Repositorios git - scryer-prolog.git/shortlog

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

2021-06-21	Markus Triska	address #995: wrong results for popcount/1	commit \| commitdiff \| tree \| snapshot
2021-06-17	Markus Triska	ADDED: popcount(+Integer)	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
2021-05-09	Paulo Moura	Fix open/3-4 predicates error term when the stream...	commit \| commitdiff \| tree \| snapshot
2021-05-09	Paulo Moura	Fix throw/1 control construct to throw an instantiation...	commit \| commitdiff \| tree \| snapshot
2021-05-09	panasenco	Switched from using @LukeMathWalker's image to using...	commit \| commitdiff \| tree \| snapshot
2021-05-08	Mark Thom	Merge pull request #928 from panasenco/permutation	commit \| commitdiff \| tree \| snapshot
2021-05-08	Mark Thom	Merge pull request #933 from pmoura/add_epsilon_arithme...	commit \| commitdiff \| tree \| snapshot
2021-05-08	panasenco	Moved MIT header to top of lists.pl	commit \| commitdiff \| tree \| snapshot
2021-05-08	Paulo Moura	Add epsilon/0 arithmetic constant	commit \| commitdiff \| tree \| snapshot
2021-05-08	Mark Thom	Merge pull request #932 from pmoura/fix_abolish_bug_wit...	commit \| commitdiff \| tree \| snapshot
2021-05-08	Paulo Moura	Fix abolish/1 to succeed on non-existing predicates...	commit \| commitdiff \| tree \| snapshot
2021-05-07	panasenco	Ported permutation/2 from SWI library(lists)	commit \| commitdiff \| tree \| snapshot
2021-05-05	Mark Thom	add missing default RevJmpBy arm to thread_choice_instr...	commit \| commitdiff \| tree \| snapshot
2021-05-05	Mark Thom	set self.dynamic_mode to FirstOrNext::Next independentl...	commit \| commitdiff \| tree \| snapshot
2021-05-04	Mark Thom	correct assertz/1 bugs (#922)	commit \| commitdiff \| tree \| snapshot
2021-05-03	Mark Thom	fix incremental compilation and multifile bugs	commit \| commitdiff \| tree \| snapshot
2021-05-02	Mark Thom	import builtins to dynamically generated modules unless...	commit \| commitdiff \| tree \| snapshot
2021-05-01	Mark Thom	add read/2 and nl/1 (#896)	commit \| commitdiff \| tree \| snapshot
2021-05-01	Mark Thom	add user_error stream (#917)	commit \| commitdiff \| tree \| snapshot
2021-05-01	Mark Thom	fail on undefined multifile/discontiguous/dynamic predi...	commit \| commitdiff \| tree \| snapshot
2021-05-01	Mark Thom	support full paths in load_context_path/2 (#916)	commit \| commitdiff \| tree \| snapshot
2021-05-01	Mark Thom	fail when retracting undefined dynamic predicates ...	commit \| commitdiff \| tree \| snapshot
2021-04-29	Mark Thom	Merge pull request #920 from panasenco/serialize	commit \| commitdiff \| tree \| snapshot
2021-04-29	panasenco	Oops, we want to keep digits as characters in library...	commit \| commitdiff \| tree \| snapshot
2021-04-29	panasenco	Restructuring and improving documentation.	commit \| commitdiff \| tree \| snapshot
2021-04-28	panasenco	Replaced object() with pairs() in library(json), and...	commit \| commitdiff \| tree \| snapshot
2021-04-28	panasenco	Added ABNF grammar to library(charsio) as well as octet...	commit \| commitdiff \| tree \| snapshot
2021-04-27	panasenco	Alphabetized character logic in macros.rs and system_ca...	commit \| commitdiff \| tree \| snapshot
2021-04-27	Mark Thom	fix use of local skeletons to reload predicates (#919)	commit \| commitdiff \| tree \| snapshot
2021-04-26	Mark Thom	Merge pull request #913 from panasenco/json	commit \| commitdiff \| tree \| snapshot
2021-04-25	panasenco	Replaced raw_chars//1 in library(pio) with seq//1 in...	commit \| commitdiff \| tree \| snapshot
2021-04-25	panasenco	Added \raw_chars//1 to library(pio). Began using setup_c...	commit \| commitdiff \| tree \| snapshot
2021-04-23	panasenco	Another thorough rewrite of library(json) to better...	commit \| commitdiff \| tree \| snapshot
2021-04-22	Mark Thom	Merge pull request #912 from panasenco/json	commit \| commitdiff \| tree \| snapshot
2021-04-22	panasenco	Rewrote many parts of library(json) to leave no choicep...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Now preserving distinction between ints and floats	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Seem to be generating JSON correctly and at a good...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Removed CLP(Z) from library(json), achieving a 100x...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Fixed forward slash special case issue, added a bunch...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Fixed defaulty representations of json_members//1 and...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Changed formatting to match Markus Triska's as much...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Complete reordering and partial rewrite to match the...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Added objects and type distinction based on the princip...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Parsing and generating JSON numbers works perfectly...	commit \| commitdiff \| tree \| snapshot
2021-04-21	panasenco	Began working on json library (fresh start after thinki...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom