Repositorios git - scryer-prolog.git/shortlog

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

2023-11-05	Mark	fix compare_pstr_to_string (#2148)	commit \| commitdiff \| tree \| snapshot
2023-11-04	Mark Thom	Merge pull request #2147 from infogulch/lint-format	commit \| commitdiff \| tree \| snapshot
2023-11-04	infogulch	Split style checks, test reports into separate job	commit \| commitdiff \| tree \| snapshot
2023-11-04	infogulch	Bump Cargo.lock to reflect new scryer version	commit \| commitdiff \| tree \| snapshot
2023-11-04	infogulch	Add previous commit to .git-blame-ignore-revs	commit \| commitdiff \| tree \| snapshot
2023-11-04	infogulch	Resolve lints and format	commit \| commitdiff \| tree \| snapshot
2023-11-02	Mark	update release version linked on website	commit \| commitdiff \| tree \| snapshot
2023-11-02	Mark	update release link	commit \| commitdiff \| tree \| snapshot
2023-11-02	Mark	bump version number to v0.9.3 v0.9.3	commit \| commitdiff \| tree \| snapshot
2023-11-02	Mark Thom	Merge pull request #1880 from coasys/library-use-case remove	commit \| commitdiff \| tree \| snapshot
2023-11-02	Nicolas Luck	Check for target_arch = “wasm32”	commit \| commitdiff \| tree \| snapshot
2023-11-02	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
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-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	Mark	fix cyclicity detection through variables (#2122, ...	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom