Repositorios git - scryer-prolog.git/shortlog

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

2023-11-01	Mark	correct (\+)/1 (#2141)	commit \| commitdiff \| tree \| snapshot
2023-10-29	Mark	remove non-conforming hyperbolic and log10 evaluable...	commit \| commitdiff \| tree \| snapshot
2023-10-29	Mark	fix signed modulus bug (#2134)	commit \| commitdiff \| tree \| snapshot
2023-10-28	Mark Thom	Merge pull request #2140 from aarroyoc/rename-to-upper	commit \| commitdiff \| tree \| snapshot
2023-10-28	Adrián Arroyo...	Rename `to_upper` to `upper` and `to_lower` to `lower`	commit \| commitdiff \| tree \| snapshot
2023-10-26	Mark Thom	Merge pull request #2137 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-10-26	infogulch	CI: compile wasm separately; default 22.04; matrix	commit \| commitdiff \| tree \| snapshot
2023-10-25	Mark	qualify dif/2 call in reinforce_goal (#2135)	commit \| commitdiff \| tree \| snapshot
2023-10-24	Mark	correct char_type/2 (#2132)	commit \| commitdiff \| tree \| snapshot
2023-10-24	Mark	remove unnecessary macros inclusion in mock_wam.rs	commit \| commitdiff \| tree \| snapshot
2023-10-24	Mark	correct modulus bug (#2118, #2119)	commit \| commitdiff \| tree \| snapshot
2023-10-24	Mark	remove list remnants from stack iteration in printer...	commit \| commitdiff \| tree \| snapshot
2023-10-24	Mark	fix cycle detection in lists by looking backward analog...	commit \| commitdiff \| tree \| snapshot
2023-10-23	Mark	correct LIS backward bug in cycle_detection.rs	commit \| commitdiff \| tree \| snapshot
2023-10-23	Mark	add STOP_AT_CYCLES const parameter for CycleDetectingIter	commit \| commitdiff \| tree \| snapshot
2023-10-22	Mark	use Deutsch-Schorr-Waite to implement acyclic_term...	commit \| commitdiff \| tree \| snapshot
2023-10-18	Mark	use topo_sort to correct acyclic_term (#2124, #2125)	commit \| commitdiff \| tree \| snapshot
2023-10-16	Mark	fix cyclicity detection through variables (#2122, ...	commit \| commitdiff \| tree \| snapshot
2023-10-15	Mark	more eagerly check for cyclicity of variables in cycle...	commit \| commitdiff \| tree \| snapshot
2023-10-15	Mark	add backward looking cyclicity check for variables...	commit \| commitdiff \| tree \| snapshot
2023-10-15	Mark	correct is_cyclic again for non-variable ref cells...	commit \| commitdiff \| tree \| snapshot
2023-10-15	Mark	improve cycle detection in detect_list_cycles (#2111)	commit \| commitdiff \| tree \| snapshot
2023-10-15	Mark	simplify stackless iterator is_cyclic (#2111)	commit \| commitdiff \| tree \| snapshot
2023-10-15	Mark	correct more acyclic_term/1 issues (#2111, #2114),...	commit \| commitdiff \| tree \| snapshot
2023-10-14	Mark	correct cyclic variable check in cycle detecting stackl...	commit \| commitdiff \| tree \| snapshot
2023-10-14	Mark	fix bugs & incompleteness of cycle-detecting stackless...	commit \| commitdiff \| tree \| snapshot
2023-10-14	notoria	Reify (^)/2	commit \| commitdiff \| tree \| snapshot
2023-10-14	notoria	Trigger propagator for popcount/1	commit \| commitdiff \| tree \| snapshot
2023-10-14	notoria	Trigger propagator for sign/1	commit \| commitdiff \| tree \| snapshot
2023-10-14	notoria	Trigger propagator for (xor)/2	commit \| commitdiff \| tree \| snapshot
2023-10-14	Mark	add bounds checks for stackless iterator (#2110)	commit \| commitdiff \| tree \| snapshot
2023-10-14	Mark	detect all cycles in roughly linear time and constant...	commit \| commitdiff \| tree \| snapshot
2023-10-13	Mark	fix bugs in marker algorithm iterator	commit \| commitdiff \| tree \| snapshot
2023-10-13	Mark	correct (mod)/2 (#2103, #2107)	commit \| commitdiff \| tree \| snapshot
2023-10-13	Mark Thom	Merge pull request #2105 from triska/morphing_propagators	commit \| commitdiff \| tree \| snapshot
2023-10-12	Markus Triska	shift morphing to the more general p/2 case	commit \| commitdiff \| tree \| snapshot
2023-10-12	Markus Triska	ENHANCED: Omit unnecessary residual constraints in...	commit \| commitdiff \| tree \| snapshot
2023-10-11	Mark	fix control construct bugs, iter indentation (#947)	commit \| commitdiff \| tree \| snapshot
2023-10-11	Mark	Merge branch 'master' of ssh://github.com/mthom/scryer...	commit \| commitdiff \| tree \| snapshot
2023-10-11	Mark	follow marked variables to end in eager_stackful_iter...	commit \| commitdiff \| tree \| snapshot
2023-10-10	Mark	follow marked variables to end in eager_stackful_iter...	commit \| commitdiff \| tree \| snapshot
2023-10-10	Mark Thom	Merge pull request #2098 from triska/morphing_propagators	commit \| commitdiff \| tree \| snapshot
2023-10-10	Markus Triska	use round brackets around operators to form valid Prolo...	commit \| commitdiff \| tree \| snapshot
2023-10-10	Markus Triska	update comment to reflect the used propagators	commit \| commitdiff \| tree \| snapshot
2023-10-10	Markus Triska	remove definition and calls of do_queue/0, which has...	commit \| commitdiff \| tree \| snapshot
2023-10-10	Markus Triska	ENHANCED: Queue morphed propagators to give them a...	commit \| commitdiff \| tree \| snapshot
2023-10-10	Mark	report pre-marked values from eager stackful iterator...	commit \| commitdiff \| tree \| snapshot
2023-10-09	Mark Thom	Merge pull request #2094 from triska/unary_minus	commit \| commitdiff \| tree \| snapshot
2023-10-09	Markus Triska	Z --> Y	commit \| commitdiff \| tree \| snapshot
2023-10-09	Mark Thom	Merge pull request #2092 from triska/morphing_pexp	commit \| commitdiff \| tree \| snapshot
2023-10-09	Markus Triska	ENHANCED: use (+)/2 to express unary minus	commit \| commitdiff \| tree \| snapshot
2023-10-09	Markus Triska	attach the propagator to Y	commit \| commitdiff \| tree \| snapshot
2023-10-09	Mark Thom	Merge pull request #2091 from triska/morphing_pexp	commit \| commitdiff \| tree \| snapshot
2023-10-09	Markus Triska	ENHANCED: Omit projection of morphed (^)/2 in disentail...	commit \| commitdiff \| tree \| snapshot
2023-10-09	Mark Thom	Merge pull request #2090 from triska/morphing_propagators	commit \| commitdiff \| tree \| snapshot
2023-10-09	Markus Triska	FIXED: Queue triggered propagators to be processed...	commit \| commitdiff \| tree \| snapshot
2023-10-09	Mark	do not push stack variables to the heap in term_variabl...	commit \| commitdiff \| tree \| snapshot
2023-10-08	Mark Thom	Merge pull request #2088 from triska/morphing_propagators	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	ENHANCED: Remove no longer needed morphed propagators.	commit \| commitdiff \| tree \| snapshot
2023-10-08	Mark Thom	Merge pull request #2085 from triska/reification_same_queue	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	remove no longer needed goal projection for pdiv	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	ENHANCED: avoid pending residual constraints in disenta...	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	replace list//1 by seq//1 from library(dcgs)	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	instead of prdiv, use ptimes directly	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	FIXED: variables in reified propagators must share...	commit \| commitdiff \| tree \| snapshot
2023-10-08	Markus Triska	adapt query to Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2023-10-08	Mark	mark both components of a PStrLoc (#2082)	commit \| commitdiff \| tree \| snapshot
2023-10-06	Mark Thom	Merge pull request #2080 from triska/reified_slash	commit \| commitdiff \| tree \| snapshot
2023-10-06	Markus Triska	reorder and realign entries to form a contiguous group...	commit \| commitdiff \| tree \| snapshot
2023-10-06	Markus Triska	FIXED: reification of (/)/2 for undefined subexpressions	commit \| commitdiff \| tree \| snapshot
2023-10-06	Mark	replace eager_stackful_iter's mark stack with a second...	commit \| commitdiff \| tree \| snapshot
2023-10-04	Mark	use eager_stackful_preorder_iter in variable_set, add...	commit \| commitdiff \| tree \| snapshot
2023-10-04	Mark	rewrite ground_test, add tests for ground/1 (#2075)	commit \| commitdiff \| tree \| snapshot
2023-10-04	Mark	Revert "consider Str, PStrLoc in ElideLists of Stackful...	commit \| commitdiff \| tree \| snapshot
2023-10-04	Mark	consider Str, PStrLoc in ElideLists of StackfulHeapIter...	commit \| commitdiff \| tree \| snapshot
2023-10-04	Mark Thom	Merge pull request #2076 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-10-04	infogulch	Pin logtalk to version before scryer support was removed	commit \| commitdiff \| tree \| snapshot
2023-10-03	Mark	check for free variables in locations removed from...	commit \| commitdiff \| tree \| snapshot
2023-10-03	Mark	correct cycle detection in ground/1 (#2073)	commit \| commitdiff \| tree \| snapshot
2023-10-03	Mark Thom	Merge pull request #2074 from triska/expansion_simpler	commit \| commitdiff \| tree \| snapshot
2023-10-03	Markus Triska	Revert "FIXED: corrections to expansion_simpler/2"	commit \| commitdiff \| tree \| snapshot
2023-10-02	Mark Thom	Merge pull request #2072 from aarroyoc/fix-urldecode	commit \| commitdiff \| tree \| snapshot
2023-10-02	Mark Thom	Merge pull request #2070 from triska/expansion_simpler	commit \| commitdiff \| tree \| snapshot
2023-10-02	Adrián Arroyo...	Improved version of url_decode	commit \| commitdiff \| tree \| snapshot
2023-10-02	Markus Triska	FIXED: corrections to expansion_simpler/2	commit \| commitdiff \| tree \| snapshot
2023-10-02	Mark	add registers to inlined instruction functors	commit \| commitdiff \| tree \| snapshot
2023-10-02	Mark	consider an '$aux' a relation of the unexpanded goal...	commit \| commitdiff \| tree \| snapshot
2023-10-01	Mark	throw instantiation_error from error/2 if Error_term...	commit \| commitdiff \| tree \| snapshot
2023-10-01	Mark	get rid of inference_limit_exceeded(B) as an error...	commit \| commitdiff \| tree \| snapshot
2023-10-01	Mark Thom	Merge pull request #2066 from bakaq/dif_tests	commit \| commitdiff \| tree \| snapshot
2023-10-01	bakaq	Add tests for #2056	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	correct depth calculation for lists that are their...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	substitute names for cyclic variables permitted by...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	implement ListElisionPolicy to restore previous printer...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	correct skipping of not fully visited lists in stackful...	commit \| commitdiff \| tree \| snapshot
2023-09-30	Mark	correct max_depth marking for lists	commit \| commitdiff \| tree \| snapshot
2023-09-29	Mark	further max_depth improvements	commit \| commitdiff \| tree \| snapshot
2023-09-29	Mark	improve max_depth write option (#1876, #2053)	commit \| commitdiff \| tree \| snapshot
2023-09-28	Mark	do not deref AttrVar binding in redo_attr_var_binding...	commit \| commitdiff \| tree \| snapshot
2023-09-28	Mark	revert throwing domain errors for unexpected forms...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom