Repositorios git - scryer-prolog.git/shortlog

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

2022-01-07	Adrián Arroyo...	Merge remote-tracking branch 'upstream/rebis-dev' into...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	add version dependency information to README	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	update README.md	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	add parser tests	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	flatten the instruction dispatch loop	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	relocate most instruction routines from MachineState...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	remove LocalCodePtr::IndexingBuf	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	module-qualify incomplete goals in expand_goal/3	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	dereference first argument of (is)/2	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	generate heap_loc cells to refer to 0-arity atoms in...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix unify_float	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	dereference variables when looking for string terminators	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	properly iterate over read terms in MachineState::read_term	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	get test suite working	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix printing of CStr's	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	remove skeletons from replaced modules	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	use heap_loc to refer to 0-arity atom instead of str_loc	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	defer installation of inference counter for call_with_i...	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix bugs revealed by src/tests/builtins.pl	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	start to retune testing infrastructure	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix off by one bug in system_calls	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix bug in error_form	commit \| commitdiff \| tree \| snapshot
2022-01-07	Mark Thom	fix various partial string bugs (copying using them...	commit \| commitdiff \| tree \| snapshot
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-31	Adrián Arroyo...	Add ugraphs library	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom