Repositorios git - scryer-prolog.git/shortlog

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

2022-10-27	Markus Triska	correct nth0/4 and nth1/4	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove nth1/3, which is now provided by library(lists)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove nth1/3, which is now provided by library(lists)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Much improved nth0/3, taken from #1529.	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: must_be/can_be(not_less_than_zero, ...)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	better implementation of list_si/1	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: chars_si/1, testing for a string	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use new domain names from library(error): octet_charact...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: octet_character and octet_chars, testing for...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	rely on the built-in DCG expansion, per discussion...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Use '$skip_max_list'/4 for greater efficiency...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Improve determinism of ... //0 and seq//1.	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	offset into complete strings with '$skip_max_list'...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	don't return ops with priority 0 when building set...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	treat functors with PI '.'/2 as lists (#1570)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	introduce expand_call_goal/3 to expand goals in control...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use a DCG to describe the path	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove entailed must_be/2 goals	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use newly available ... //0 from library(dcgs)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	add meta_predicate/1 declaration for phrase_to_file/3	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	strip modules from GRBody in phrase/3 (#1565)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fail on non-list solutions in setof/3 (#1553)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	HTTP Server 2.0	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	prefix inlined goals with module names in expand_subgoa...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	try to invoke '$call_inline' a second time in call...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: CLP(ℤ): Reduce redundant propagator invocatio...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	add meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	resolve phrase modules internally (#1541)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fail when exception caught from subgoal expansion ...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fix module resolution in dcgs, call/N (#1539)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	deduplicate index ptr inlining for 0-arity atoms (...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	trim get_structure and put_structure arities when last...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	print index_ptr offset (#1534)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	use separate predicate for findall cleanup	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	inference count call_inline, fail on undefined index	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	streamline assertz/1, asserta/1	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	inline metacalls	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	Merge pull request #1630 from epilys/fix-1625	commit \| commitdiff \| tree \| snapshot
2022-10-26	Manos Pitsidianakis	fix type_error with instantiated EOF -1 byte literal...	commit \| commitdiff \| tree \| snapshot
2022-10-26	Mark Thom	Merge pull request #1628 from epilys/fix-1626	commit \| commitdiff \| tree \| snapshot
2022-10-24	Manos Pitsidianakis	Fix xor/2 type error reporting wrong argument	commit \| commitdiff \| tree \| snapshot
2022-07-19	Mark Thom	Merge pull request #1530 from RossSmyth/FixImports	commit \| commitdiff \| tree \| snapshot
2022-07-17	Ross Smyth	Fixed imports num-rug-adapter	commit \| commitdiff \| tree \| snapshot
2022-06-22	Mark Thom	capture and propagate (=..)/2 errors in phrase/{2,3...	commit \| commitdiff \| tree \| snapshot
2022-06-18	Mark Thom	propagate inference_limit_exceeded errors through the...	commit \| commitdiff \| tree \| snapshot
2022-06-16	Mark Thom	use setup_cal_n_init_goal_info in dynamic_module_resolution	commit \| commitdiff \| tree \| snapshot
2022-06-13	Mark Thom	improve efficiency of call/N, replace '$call_with_defau...	commit \| commitdiff \| tree \| snapshot
2022-06-13	Mark Thom	simplify detecting undefined goal_ and term_expansion	commit \| commitdiff \| tree \| snapshot
2022-06-12	Mark Thom	Merge pull request #1510 from Skgland/add-gitattributes	commit \| commitdiff \| tree \| snapshot
2022-06-12	Skgland	add a .gitattributes file	commit \| commitdiff \| tree \| snapshot
2022-06-06	Mark Thom	replace call with $call in more meta-predicates	commit \| commitdiff \| tree \| snapshot
2022-06-05	Mark Thom	emit indexing instructions in single clauses of dynamic...	commit \| commitdiff \| tree \| snapshot
2022-06-04	Mark Thom	do not emit indexing instructions for single clause...	commit \| commitdiff \| tree \| snapshot
2022-06-04	Mark Thom	Merge pull request #1505 from Skgland/optional_rustfmt	commit \| commitdiff \| tree \| snapshot
2022-06-03	Skgland	adjust error message on failed formatting	commit \| commitdiff \| tree \| snapshot
2022-06-03	Skgland	make rustfmt optional	commit \| commitdiff \| tree \| snapshot
2022-06-01	Mark Thom	unmark cells in arith_eval_by_metacall (#1497)	commit \| commitdiff \| tree \| snapshot
2022-06-01	Mark Thom	don't print superfluous round brackets in curly braces...	commit \| commitdiff \| tree \| snapshot
2022-06-01	Mark Thom	fix broken quoting in writeq/1 (#1498)	commit \| commitdiff \| tree \| snapshot
2022-05-31	Mark Thom	fix off-by-one error reporting in write_term/3 (#1490)	commit \| commitdiff \| tree \| snapshot
2022-05-31	Mark Thom	don't quote most characters in strings (#1495, #301)	commit \| commitdiff \| tree \| snapshot
2022-05-23	Mark Thom	use existence_error for dropped streams (#1472)	commit \| commitdiff \| tree \| snapshot
2022-05-23	Mark Thom	Merge pull request #1485 from triska/in_character	commit \| commitdiff \| tree \| snapshot
2022-05-22	Markus Triska	use in_character	commit \| commitdiff \| tree \| snapshot
2022-05-22	Markus Triska	ADDED: must_be(in_character, ...) and can_be(in_charact...	commit \| commitdiff \| tree \| snapshot
2022-05-22	Mark Thom	fix stream position and term comparison bugs (#1472)	commit \| commitdiff \| tree \| snapshot
2022-05-22	Mark Thom	Merge pull request #1484 from aarroyoc/fix-windows...	commit \| commitdiff \| tree \| snapshot
2022-05-22	Adrián Arroyo...	MSI installer	commit \| commitdiff \| tree \| snapshot
2022-05-22	Adrián Arroyo...	Fix build on Windows 10	commit \| commitdiff \| tree \| snapshot
2022-05-22	Mark Thom	throw a representation error if max arity is exceeded...	commit \| commitdiff \| tree \| snapshot
2022-05-21	Mark Thom	Merge pull request #1482 from triska/multiple_of_five_a...	commit \| commitdiff \| tree \| snapshot
2022-05-21	Mark Thom	add max arity checks at various stages (#1459)	commit \| commitdiff \| tree \| snapshot
2022-05-21	Markus Triska	ENHANCED: "f" on toplevel to report answers up to the...	commit \| commitdiff \| tree \| snapshot
2022-05-17	Mark Thom	check asserta/2, assertz/2, abolish/2 for uninstantiate...	commit \| commitdiff \| tree \| snapshot
2022-05-16	Mark Thom	detect character type errors in atom_{chars\|codes}...	commit \| commitdiff \| tree \| snapshot
2022-05-15	Mark Thom	Merge pull request #1478 from triska/sgml_improvements	commit \| commitdiff \| tree \| snapshot
2022-05-15	Mark Thom	Merge pull request #1477 from triska/document_tab_compl...	commit \| commitdiff \| tree \| snapshot
2022-05-15	Markus Triska	indent enumerations	commit \| commitdiff \| tree \| snapshot
2022-05-15	Markus Triska	clarify the representation	commit \| commitdiff \| tree \| snapshot
2022-05-15	Markus Triska	strengthen and improve type checks	commit \| commitdiff \| tree \| snapshot
2022-05-15	Markus Triska	clarify comment	commit \| commitdiff \| tree \| snapshot
2022-05-15	Markus Triska	use phrase_from_file/2 directly on the file name	commit \| commitdiff \| tree \| snapshot
2022-05-15	Markus Triska	document atom and predicate completion with TAB	commit \| commitdiff \| tree \| snapshot
2022-05-15	Mark Thom	Merge pull request #1474 from triska/correct_can_be_chars	commit \| commitdiff \| tree \| snapshot
2022-05-14	Mark Thom	consider deallocate a head instruction (#1473)	commit \| commitdiff \| tree \| snapshot
2022-05-14	Markus Triska	prioritize type errors over instantiation errors	commit \| commitdiff \| tree \| snapshot
2022-05-14	Markus Triska	FIXED: can_be(chars, [a,X]), i.e., if variables occur...	commit \| commitdiff \| tree \| snapshot
2022-05-14	Mark Thom	remove non-determinism in number_chars/2 and numbercode...	commit \| commitdiff \| tree \| snapshot
2022-05-12	Mark Thom	use must_be(chars) in number_chars/2 (#1470)	commit \| commitdiff \| tree \| snapshot
2022-05-12	Mark Thom	Merge pull request #1467 from euanlacy/master	commit \| commitdiff \| tree \| snapshot
2022-05-11	Euan Lacy	wip: add more atoms to completion list	commit \| commitdiff \| tree \| snapshot
2022-05-10	Euan Lacy	fix: remove unnecessary string & vec allocations	commit \| commitdiff \| tree \| snapshot
2022-05-10	Euan Lacy	wip: basic completion of predicates	commit \| commitdiff \| tree \| snapshot
2022-05-08	Mark Thom	unify partial string tail later in create_partial_strin...	commit \| commitdiff \| tree \| snapshot
2022-05-06	Mark Thom	fix culprit in stream_position permission_error (#1463)	commit \| commitdiff \| tree \| snapshot
2022-05-06	Mark Thom	correct cycle detection in unify_* (#1455)	commit \| commitdiff \| tree \| snapshot
2022-05-05	Mark Thom	Merge pull request #1461 from triska/clpz_sign	commit \| commitdiff \| tree \| snapshot
2022-05-05	Markus Triska	ADDED: sign/1	commit \| commitdiff \| tree \| snapshot
2022-05-05	Markus Triska	remove comment that seems no longer valid	commit \| commitdiff \| tree \| snapshot
2022-05-05	Mark Thom	fix rnd_i fixnum casting bug (#1456, #1458)	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom