Repositorios git - scryer-prolog.git/shortlog

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

2023-12-18	Mark	clamp lower_bound_of_target_clause index (#840)	commit \| commitdiff \| tree \| snapshot
2023-12-18	Mark	don't replace undefined module predicates (#2232)	commit \| commitdiff \| tree \| snapshot
2023-12-18	Mark	fix retraction of local dynamic predicates (#2215,...	commit \| commitdiff \| tree \| snapshot
2023-12-18	Mark	fix '$get_clause_p' whose old implementation was broken...	commit \| commitdiff \| tree \| snapshot
2023-12-18	Mark	improve performance of lower_bound_of_target_clause...	commit \| commitdiff \| tree \| snapshot
2023-12-18	Mark Thom	Merge pull request #2233 from aarroyoc/fix-functor...	commit \| commitdiff \| tree \| snapshot
2023-12-18	Mark Thom	Merge pull request #2229 from aarroyoc/fix-backslash...	commit \| commitdiff \| tree \| snapshot
2023-12-17	Adrián Arroyo...	Throw ValidType::Atom error in functor	commit \| commitdiff \| tree \| snapshot
2023-12-16	Adrián Arroyo...	Fix backslash docs	commit \| commitdiff \| tree \| snapshot
2023-12-15	Mark Thom	Merge pull request #2226 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2023-12-15	Mark	Revert "improve performance of lower_bound_of_target_cl...	commit \| commitdiff \| tree \| snapshot
2023-12-15	Mark	improve performance of lower_bound_of_target_clause...	commit \| commitdiff \| tree \| snapshot
2023-12-15	dependabot...	Bump zerocopy from 0.7.25 to 0.7.31	commit \| commitdiff \| tree \| snapshot
2023-12-13	Mark	fix use of copy_term/3 for attribute goals in toplevel...	commit \| commitdiff \| tree \| snapshot
2023-12-11	Mark	fix cargo style failure	commit \| commitdiff \| tree \| snapshot
2023-12-11	Mark	dereference port address in socket_server_open (#2222)	commit \| commitdiff \| tree \| snapshot
2023-12-11	Mark	restore print_tcp_listener in printer (#2221)	commit \| commitdiff \| tree \| snapshot
2023-12-06	Mark Thom	Merge pull request #2207 from infogulch/ci-build-before...	commit \| commitdiff \| tree \| snapshot
2023-12-06	Mark Thom	Merge pull request #2211 from Skgland/file-based-cli...	commit \| commitdiff \| tree \| snapshot
2023-12-06	Skgland	fix missing .pl file for singleton test case and move...	commit \| commitdiff \| tree \| snapshot
2023-12-06	infogulch	Clean up test step by compiling in build step	commit \| commitdiff \| tree \| snapshot
2023-12-05	Mark Thom	Merge pull request #2205 from Skgland/file-based-cli...	commit \| commitdiff \| tree \| snapshot
2023-12-05	Mark Thom	Merge pull request #2203 from coasys/library-use-case	commit \| commitdiff \| tree \| snapshot
2023-12-05	Nicolas Luck	Result with one empty match should be false	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark Thom	Merge pull request #2204 from mthom/remove_not_as_non_t...	commit \| commitdiff \| tree \| snapshot
2023-12-04	Skgland	fix windows test by not disabling normalization	commit \| commitdiff \| tree \| snapshot
2023-12-04	Skgland	fix formatting	commit \| commitdiff \| tree \| snapshot
2023-12-04	Skgland	rename to match toml file	commit \| commitdiff \| tree \| snapshot
2023-12-04	Skgland	move .pl files from tests-pl next to the .toml of the...	commit \| commitdiff \| tree \| snapshot
2023-12-04	Skgland	File-oriented testing	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark	remove (\+)//1 (#1511) remove_not_as_non_terminal origin/remove_not_as_non_terminal	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark	correct cargo fmt errors	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark	emit callable type errors from call/1 and phrase/3...	commit \| commitdiff \| tree \| snapshot
2023-12-04	Nicolas Luck	cargo fmt	commit \| commitdiff \| tree \| snapshot
2023-12-04	Nicolas Luck	Don’t include unbound variables in results returned...	commit \| commitdiff \| tree \| snapshot
2023-12-04	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark	add module name and missing predicate key to module_doe...	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark Thom	Merge pull request #2201 from wkral/revert-2200-percent...	commit \| commitdiff \| tree \| snapshot
2023-12-04	William Kral	Revert "Add '%' to the list of graphic_chars (#2199)"	commit \| commitdiff \| tree \| snapshot
2023-12-04	Mark Thom	Merge pull request #2200 from wkral/percent-graphic...	commit \| commitdiff \| tree \| snapshot
2023-12-04	William Kral	Add '%' to the list of graphic_chars (#2199)	commit \| commitdiff \| tree \| snapshot
2023-12-03	Mark Thom	Merge pull request #2194 from triska/clpz_monotonic	commit \| commitdiff \| tree \| snapshot
2023-12-02	Markus Triska	support (#=)/3 and (#<)/3 also in the monotonic executi...	commit \| commitdiff \| tree \| snapshot
2023-12-02	Mark	move propagated_var_nums insertion to proper scope...	commit \| commitdiff \| tree \| snapshot
2023-12-01	Mark	propagate variable hits to parent branches in push_miss...	commit \| commitdiff \| tree \| snapshot
2023-11-29	Mark Thom	Merge pull request #2187 from triska/term_si	commit \| commitdiff \| tree \| snapshot
2023-11-29	Markus Triska	ADDED: term_si/1, true for terms	commit \| commitdiff \| tree \| snapshot
2023-11-29	Mark	fix overeager detection of (->)/2 in if position of...	commit \| commitdiff \| tree \| snapshot
2023-11-28	Mark Thom	Merge pull request #2186 from aarroyoc/cpu-now-wasm32	commit \| commitdiff \| tree \| snapshot
2023-11-28	Mark	open pl files instead of directories (#2014)	commit \| commitdiff \| tree \| snapshot
2023-11-28	Mark Thom	Merge pull request #2184 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2023-11-28	Adrián Arroyo...	Implement $cpu_now in wasm32	commit \| commitdiff \| tree \| snapshot
2023-11-28	dependabot...	Bump openssl from 0.10.57 to 0.10.60	commit \| commitdiff \| tree \| snapshot
2023-11-28	Mark	allocate cut variables properly (#2183)	commit \| commitdiff \| tree \| snapshot
2023-11-28	Mark	allocate cut variables as temporaries when in non-alloc...	commit \| commitdiff \| tree \| snapshot
2023-11-26	Mark	bind missing module atom in retract/1 (#2182)	commit \| commitdiff \| tree \| snapshot
2023-11-24	Mark Thom	Merge pull request #2169 from infogulch/flame	commit \| commitdiff \| tree \| snapshot
2023-11-24	Mark Thom	Merge branch 'master' into flame	commit \| commitdiff \| tree \| snapshot
2023-11-24	Mark	remove redundant running count increment in mark_non_ca...	commit \| commitdiff \| tree \| snapshot
2023-11-23	Mark Thom	Merge pull request #2179 from mthom/fix_stress_integrat...	commit \| commitdiff \| tree \| snapshot
2023-11-23	Mark	set b0 to b for run_query call	commit \| commitdiff \| tree \| snapshot
2023-11-22	Mark Thom	Merge pull request #2173 from aarroyoc/js-eval	commit \| commitdiff \| tree \| snapshot
2023-11-22	Adrián Arroyo...	Add js_eval/2 for wasm32	commit \| commitdiff \| tree \| snapshot
2023-11-22	Mark Thom	Merge pull request #2177 from mthom/remove_assertx	commit \| commitdiff \| tree \| snapshot
2023-11-22	Mark	remove assert(a,z)/2 (#1975)	commit \| commitdiff \| tree \| snapshot
2023-11-22	Mark	add CutPoint to select_switch_on_term_index (#2176)	commit \| commitdiff \| tree \| snapshot
2023-11-22	infogulch	Expose inference counts on Machine; publish to CI	commit \| commitdiff \| tree \| snapshot
2023-11-22	infogulch	Upgrade to latest iai for summary output	commit \| commitdiff \| tree \| snapshot
2023-11-21	Mark Thom	Merge pull request #1999 from triska/time_inferences	commit \| commitdiff \| tree \| snapshot
2023-11-21	Mark	fix copy_term/2 variable copying bug in lists (#923...	commit \| commitdiff \| tree \| snapshot
2023-11-21	infogulch	Benchmark improvements	commit \| commitdiff \| tree \| snapshot
2023-11-21	infogulch	Remove accidentally committed files	commit \| commitdiff \| tree \| snapshot
2023-11-21	Markus Triska	ENHANCED: time/1 now shows the number of inferences	commit \| commitdiff \| tree \| snapshot
2023-11-21	Mark	fix error detection in int_pow (#2161)	commit \| commitdiff \| tree \| snapshot
2023-11-20	Mark	add global_count inference counter that is always incre...	commit \| commitdiff \| tree \| snapshot
2023-11-20	Mark	fix dif:vars_remove_goal/2 (#2175), untabify forms...	commit \| commitdiff \| tree \| snapshot
2023-11-19	Mark	remove unnecessary spaces around (\|) (#2164)	commit \| commitdiff \| tree \| snapshot
2023-11-16	Mark Thom	Merge pull request #2168 from aarroyoc/update-web-2023...	commit \| commitdiff \| tree \| snapshot
2023-11-16	Mark Thom	Merge pull request #2159 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2023-11-16	dependabot...	Bump rustix from 0.38.14 to 0.38.21	commit \| commitdiff \| tree \| snapshot
2023-11-16	Mark Thom	Merge pull request #2167 from infogulch/ci-checks-permi...	commit \| commitdiff \| tree \| snapshot
2023-11-15	Adrián Arroyo...	Remove Scryer Prolog meetup banner :(	commit \| commitdiff \| tree \| snapshot
2023-11-15	Mark Thom	fix sign/1 (#2157)	commit \| commitdiff \| tree \| snapshot
2023-11-15	infogulch	Add checks permission to ci workflow	commit \| commitdiff \| tree \| snapshot
2023-11-14	Mark Thom	fix shr crash (#2158)	commit \| commitdiff \| tree \| snapshot
2023-11-14	Mark Thom	Merge pull request #2165 from infogulch/bench-csv	commit \| commitdiff \| tree \| snapshot
2023-11-14	Mark Thom	Merge pull request #2166 from triska/more_tests	commit \| commitdiff \| tree \| snapshot
2023-11-14	Markus Triska	mention more passing tests	commit \| commitdiff \| tree \| snapshot
2023-11-13	infogulch	Fix lint	commit \| commitdiff \| tree \| snapshot
2023-11-13	infogulch	Add csv parsing benchmark #1403	commit \| commitdiff \| tree \| snapshot
2023-11-13	infogulch	Simplify benchmark setup; support mutating machine	commit \| commitdiff \| tree \| snapshot
2023-11-12	Mark Thom	Merge pull request #2153 from infogulch/benchmark	commit \| commitdiff \| tree \| snapshot
2023-11-11	Joe Taber	Fix formatting issues	commit \| commitdiff \| tree \| snapshot
2023-11-11	infogulch	Add benchmarks using library interface	commit \| commitdiff \| tree \| snapshot
2023-11-11	infogulch	CI: Setup rust in new action; split style & report...	commit \| commitdiff \| tree \| snapshot
2023-11-11	Mark Thom	correct style failures	commit \| commitdiff \| tree \| snapshot
2023-11-11	Mark Thom	fix permanent variable handling over branches and cells...	commit \| commitdiff \| tree \| snapshot
2023-11-07	Nicolas Luck	Activate run_query() integration test	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom