Repositorios git - scryer-prolog.git/shortlog

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

2024-01-02	Skgland	remove unnecessary `true`	commit \| commitdiff \| tree \| snapshot
2024-01-02	Skgland	cover trailing `--` and `os:argv([])` in os_argv test	commit \| commitdiff \| tree \| snapshot
2024-01-02	Skgland	fix os:argv/1	commit \| commitdiff \| tree \| snapshot
2024-01-02	Skgland	add failing test for os:argv issue	commit \| commitdiff \| tree \| snapshot
2024-01-02	Mark	fix cargo fmt --check	commit \| commitdiff \| tree \| snapshot
2024-01-02	Mark	mark anonymous variables in compile_is_call (#2257)	commit \| commitdiff \| tree \| snapshot
2024-01-02	Mark Thom	Merge pull request #2263 from aarroyoc/docs-toplevel	commit \| commitdiff \| tree \| snapshot
2024-01-02	Mark Thom	Merge pull request #2262 from triska/faster_global_card...	commit \| commitdiff \| tree \| snapshot
2024-01-02	Adrián Arroyo...	Move argv/1 to library(os)	commit \| commitdiff \| tree \| snapshot
2024-01-01	Markus Triska	ENHANCED: Suspend propagation during filtering in globa...	commit \| commitdiff \| tree \| snapshot
2024-01-01	Mark Thom	Merge pull request #2259 from bakaq/comment_warnings	commit \| commitdiff \| tree \| snapshot
2024-01-01	Mark Thom	Merge pull request #2258 from triska/faster_scalar_product	commit \| commitdiff \| tree \| snapshot
2023-12-30	bakaq	Emit warnings as Prolog comments	commit \| commitdiff \| tree \| snapshot
2023-12-30	Markus Triska	ENHANCED: Suspend propagation during filtering in scala...	commit \| commitdiff \| tree \| snapshot
2023-12-29	Mark Thom	Merge pull request #2252 from aarroyoc/bump-versions	commit \| commitdiff \| tree \| snapshot
2023-12-29	Mark Thom	Merge pull request #2254 from bakaq/issue_1404	commit \| commitdiff \| tree \| snapshot
2023-12-29	Mark	check that Target is an atom in scoped_clause_to_evacua...	commit \| commitdiff \| tree \| snapshot
2023-12-28	Adrián Arroyo...	Update ring and bump versions in Cargo.lock	commit \| commitdiff \| tree \| snapshot
2023-12-28	bakaq	Parse as much of a list as possible as a partial string...	commit \| commitdiff \| tree \| snapshot
2023-12-28	Mark Thom	Merge pull request #2251 from triska/crrl_ed25519	commit \| commitdiff \| tree \| snapshot
2023-12-27	Markus Triska	improve structure, naming and explanation of PKCS#8v2...	commit \| commitdiff \| tree \| snapshot
2023-12-26	Mark	throw errors from char_reader.rs and get_n_chars when...	commit \| commitdiff \| tree \| snapshot
2023-12-26	Mark Thom	Merge pull request #2245 from triska/crrl_ed25519	commit \| commitdiff \| tree \| snapshot
2023-12-26	Markus Triska	ENHANCED: Use crrl for Ed25519 signing and signature...	commit \| commitdiff \| tree \| snapshot
2023-12-22	Mark Thom	Merge pull request #2243 from bakaq/issue_2241	commit \| commitdiff \| tree \| snapshot
2023-12-22	Mark Thom	Merge pull request #2242 from triska/starting	commit \| commitdiff \| tree \| snapshot
2023-12-22	bakaq	Fix anonymous attributed variables not showing in tople...	commit \| commitdiff \| tree \| snapshot
2023-12-22	Markus Triska	explain starting Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2023-12-21	Mark	fix off-by-one error caused logtalk test to crash	commit \| commitdiff \| tree \| snapshot
2023-12-21	Mark	fix cargo fmt --check	commit \| commitdiff \| tree \| snapshot
2023-12-21	Mark	restore [o\|i]ip zeroing to trust and fix '$get_clause_p...	commit \| commitdiff \| tree \| snapshot
2023-12-20	Mark Thom	Merge pull request #2218 from bakaq/when	commit \| commitdiff \| tree \| snapshot
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-11	bakaq	Tests for when/2 and solved bug	commit \| commitdiff \| tree \| snapshot
2023-12-10	bakaq	Add when/2 and when_si/2	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom