Repositorios git - scryer-prolog.git/shortlog

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

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
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
2023-09-27	infogulch	Tidy ci.yaml	commit \| commitdiff \| tree \| snapshot
2023-09-27	infogulch	Build windows with msvc	commit \| commitdiff \| tree \| snapshot
2023-09-27	infogulch	Add ubuntu 22.04	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	remove module_resolution_error (#2035)	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	filter our builtins from current_predicate/1 (#153)	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	check for predicate_indicator list and sequence types...	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	throw instantiation_error when appropriate from parse_w...	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	correct OutOfFiles resource error (#1375)	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	add predicate indicator sequences to loader:add_predica...	commit \| commitdiff \| tree \| snapshot
2023-09-26	Mark	throw an error instead of allowing builtin modules...	commit \| commitdiff \| tree \| snapshot
2023-09-25	Mark	Merge branch 'master' of ssh://github.com/mthom/scryer...	commit \| commitdiff \| tree \| snapshot
2023-09-25	Mark	fix off-by-1 bug in '$skip_max_list'/4 (#2037)	commit \| commitdiff \| tree \| snapshot
2023-09-25	Mark Thom	Merge pull request #2032 from bakaq/phrase_from_stream	commit \| commitdiff \| tree \| snapshot
2023-09-25	bakaq	Remove reposition option from phrase_from_file/2	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Inline string_get_n_chars_/3	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Better string_get_n_chars_/3	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Fixed bug with '$skip_max_list'/4	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Use '$skip_max_list'/4 in string_get_n_chars/4	commit \| commitdiff \| tree \| snapshot
2023-09-24	bakaq	Add phrase_from_stream/2 to library(pio)	commit \| commitdiff \| tree \| snapshot
2023-09-24	Mark Thom	Merge pull request #2040 from rujialiu/allow-cr	commit \| commitdiff \| tree \| snapshot
2023-09-24	Rujia Liu	Solves CRLF/CR issue by considering'\r' a `layout_char...	commit \| commitdiff \| tree \| snapshot
2023-09-24	Mark Thom	Merge pull request #2038 from infogulch/patch-1	commit \| commitdiff \| tree \| snapshot
2023-09-24	Joe Taber	Allow all jobs to run to completion even if one fails	commit \| commitdiff \| tree \| snapshot
2023-09-24	Mark	fix off-by-1 bug in ''/4 (#2037)	commit \| commitdiff \| tree \| snapshot
2023-09-23	Mark	don't parse bracketed non-operators as functor terms...	commit \| commitdiff \| tree \| snapshot
2023-09-23	Mark	record compaction depth after reduce_op if '\|' an opera...	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark	add (now failing) test 317 to iso_conformity_tests.pl	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark	generalize multifile/dynamic/discontiguous declarations...	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark	throw resource error if OpenOptions raises an error...	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark Thom	Merge pull request #2027 from bakaq/dif	commit \| commitdiff \| tree \| snapshot
2023-09-21	Mark Thom	Merge pull request #2026 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-09-21	bakaq	Avoid dif/1 attribute with empty list	commit \| commitdiff \| tree \| snapshot
2023-09-21	bakaq	Run dif tests on cargo test	commit \| commitdiff \| tree \| snapshot
2023-09-20	bakaq	Tests for dif/2	commit \| commitdiff \| tree \| snapshot
2023-09-20	bakaq	Improved dif/2	commit \| commitdiff \| tree \| snapshot
2023-09-20	infogulch	Simplify maybe	commit \| commitdiff \| tree \| snapshot
2023-09-20	Mark Thom	Merge pull request #2025 from aarroyoc/random-seed	commit \| commitdiff \| tree \| snapshot
2023-09-20	Adrián Arroyo...	Use a SeedableRng to generate random numbers	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom