Repositorios git - scryer-prolog.git/shortlog

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

2023-10-17	Nicolas Luck	Cleanup Cargo.toml	commit \| commitdiff \| tree \| snapshot
2023-10-17	Nicolas Luck	Fix wasm warnings	commit \| commitdiff \| tree \| snapshot
2023-10-16	Nicolas Luck	Use std::sync::RwLock instead of tokio::sync::RwLock...	commit \| commitdiff \| tree \| snapshot
2023-10-16	Nicolas Luck	Fix signalling of success/failure (by @mthom)	commit \| commitdiff \| tree \| snapshot
2023-10-16	Nicolas Luck	Revert "Remove unuse import"	commit \| commitdiff \| tree \| snapshot
2023-10-16	Nicolas Luck	Remove unuse import	commit \| commitdiff \| tree \| snapshot
2023-10-16	Nicolas Luck	Merge branch 'master' into library-use-case	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-05	Nicolas Luck	Deactivate tokio runtime respawning on interrupt	commit \| commitdiff \| tree \| snapshot
2023-10-05	Nicolas Luck	Merge branch 'master' into library-use-case	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	Nicolas Luck	Fix nested List parsing	commit \| commitdiff \| tree \| snapshot
2023-10-03	Nicolas Luck	Handle stub_b = b as false	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
2023-09-28	Mark	check for ChildCloseList in print_struct on [] (#2039)	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark	fix add_predicate_declaration bug not correctly identif...	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark	remove debug symbols from release builds (#2054)	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark Thom	Merge pull request #1998 from aarroyoc/warp-http-server	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark	fix max_depth settings for partial strings on lists...	commit \| commitdiff \| tree \| snapshot
2023-09-27	Adrián Arroyo...	Replace Hyper with Warp for HTTP server	commit \| commitdiff \| tree \| snapshot
2023-09-27	Mark Thom	Merge pull request #2048 from infogulch/master	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom