Repositorios git - scryer-prolog.git/shortlog

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

2024-01-08	notoria	Special case for `(^)/2`	commit \| commitdiff \| tree \| snapshot
2024-01-08	Mark Thom	Merge pull request #2278 from notoria/clpz	commit \| commitdiff \| tree \| snapshot
2024-01-08	Mark Thom	Merge pull request #2277 from triska/master	commit \| commitdiff \| tree \| snapshot
2024-01-07	notoria	Fix bound computation in `(^)/2`	commit \| commitdiff \| tree \| snapshot
2024-01-07	notoria	Remove `min/2` and `max/2` when possible	commit \| commitdiff \| tree \| snapshot
2024-01-07	notoria	Fix `min/2` and `max/2`	commit \| commitdiff \| tree \| snapshot
2024-01-07	Markus Triska	Correct arithmetic inequalities accidentally broken...	commit \| commitdiff \| tree \| snapshot
2024-01-06	Mark Thom	Merge pull request #2264 from Skgland/fix-os-argv-1	commit \| commitdiff \| tree \| snapshot
2024-01-05	Mark Thom	Merge pull request #2275 from triska/master	commit \| commitdiff \| tree \| snapshot
2024-01-05	Markus Triska	Prevent assertion of clauses for (-->)/2 when DCGs...	commit \| commitdiff \| tree \| snapshot
2024-01-04	Mark	fix cargo --fmt check error	commit \| commitdiff \| tree \| snapshot
2024-01-04	Mark	add missing permission error in compile_assert (#2271)	commit \| commitdiff \| tree \| snapshot
2024-01-04	Mark	fix acceptance of invalid syntax, update iso_conformity...	commit \| commitdiff \| tree \| snapshot
2024-01-04	Skgland	simplify os:argv/1 fix	commit \| commitdiff \| tree \| snapshot
2024-01-04	Skgland	use once to limit solutions instead of cut	commit \| commitdiff \| tree \| snapshot
2024-01-04	Skgland	add another test case for os:argv/1	commit \| commitdiff \| tree \| snapshot
2024-01-03	Mark Thom	Merge pull request #2269 from aarroyoc/fix-2267	commit \| commitdiff \| tree \| snapshot
2024-01-03	Mark Thom	Merge pull request #2268 from aarroyoc/docs-toplevel	commit \| commitdiff \| tree \| snapshot
2024-01-03	Adrián Arroyo...	Use reqwest async and use futures::executor	commit \| commitdiff \| tree \| snapshot
2024-01-03	Adrián Arroyo...	Small fixes in documentation and toplevel.pl	commit \| commitdiff \| tree \| snapshot
2024-01-02	Skgland	fix `os:argv(V)` not completing	commit \| commitdiff \| tree \| snapshot
2024-01-02	Skgland	fix os:argv	commit \| commitdiff \| tree \| snapshot
2024-01-02	Skgland	cover both args ending in `--` and args not ending...	commit \| commitdiff \| tree \| snapshot
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	expand module names in transitive goals (#2255)	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom