Repositorios git - scryer-prolog.git/shortlog

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

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
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom