Repositorios git - scryer-prolog.git/shortlog

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

2024-02-24	Markus Triska	DOC: Add DocLog comments for reasoning about elliptic...	commit \| commitdiff \| tree \| snapshot
2024-02-22	Mark Thom	Merge pull request #2338 from triska/hmac	commit \| commitdiff \| tree \| snapshot
2024-02-22	Markus Triska	ADDED: Hash-based message authentication code (HMAC...	commit \| commitdiff \| tree \| snapshot
2024-02-18	Mark Thom	Merge pull request #2337 from triska/master	commit \| commitdiff \| tree \| snapshot
2024-02-18	Markus Triska	link to newly available paper on analysis of dose-escal...	commit \| commitdiff \| tree \| snapshot
2024-02-12	Mark Thom	Merge pull request #2327 from triska/char_type	commit \| commitdiff \| tree \| snapshot
2024-02-11	Markus Triska	FIXED: char_type/2 for unbound first argument.	commit \| commitdiff \| tree \| snapshot
2024-02-08	Mark	fix tests broken by singleton	commit \| commitdiff \| tree \| snapshot
2024-02-08	Mark Thom	Merge pull request #2322 from triska/char_code	commit \| commitdiff \| tree \| snapshot
2024-02-07	Markus Triska	ENHANCED: Bidirectional char_type/2, addressing #2321.	commit \| commitdiff \| tree \| snapshot
2024-02-07	Mark Thom	Merge pull request #2319 from triska/clpz_t	commit \| commitdiff \| tree \| snapshot
2024-02-06	Markus Triska	ADDED: clpz_t/2, generalizing support for use with...	commit \| commitdiff \| tree \| snapshot
2024-02-04	Mark Thom	Merge pull request #2317 from aarroyoc/all-modules...	commit \| commitdiff \| tree \| snapshot
2024-02-04	Adrián Arroyo...	Add all_mdoules test and fix library(csv)	commit \| commitdiff \| tree \| snapshot
2024-02-03	Mark	fix reverted tests, ensure files are loaded before...	commit \| commitdiff \| tree \| snapshot
2024-02-03	Mark	fix broken tests	commit \| commitdiff \| tree \| snapshot
2024-02-02	Mark	treat consultation of command line modules as regular...	commit \| commitdiff \| tree \| snapshot
2024-02-02	Mark	fmt	commit \| commitdiff \| tree \| snapshot
2024-02-02	Mark	load .scryerrc before files and goals (#1775, #2313)	commit \| commitdiff \| tree \| snapshot
2024-01-26	Mark	scan registers of instructions leading to verify_attrib...	commit \| commitdiff \| tree \| snapshot
2024-01-26	Mark	add non chunk traversing cut family instructions to...	commit \| commitdiff \| tree \| snapshot
2024-01-25	Mark Thom	Merge pull request #2308 from triska/small_format_impro...	commit \| commitdiff \| tree \| snapshot
2024-01-25	Markus Triska	update answers using latest toplevel output	commit \| commitdiff \| tree \| snapshot
2024-01-25	Markus Triska	rely on recently improved argument indexing for determinism	commit \| commitdiff \| tree \| snapshot
2024-01-25	Mark	move call_residue_vars/2 from atts.pl to iso_ext.pl	commit \| commitdiff \| tree \| snapshot
2024-01-25	Mark	don't mark temp variables as safe through argument_to_v...	commit \| commitdiff \| tree \| snapshot
2024-01-23	Mark Thom	Merge pull request #2306 from triska/dcg_representation	commit \| commitdiff \| tree \| snapshot
2024-01-23	Mark Thom	Merge pull request #2305 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2024-01-23	Markus Triska	improve error context	commit \| commitdiff \| tree \| snapshot
2024-01-23	Markus Triska	no longer use (->)//2, since it is implementation defined	commit \| commitdiff \| tree \| snapshot
2024-01-23	dependabot...	Bump h2 from 0.3.22 to 0.3.24	commit \| commitdiff \| tree \| snapshot
2024-01-23	Mark Thom	Merge pull request #2303 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2024-01-22	dependabot...	Bump shlex from 1.2.0 to 1.3.0	commit \| commitdiff \| tree \| snapshot
2024-01-22	Mark Thom	Merge pull request #2302 from triska/dcg_representation	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	use newly available false//0	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	no longer use (->)//2, since it is implementation dependent	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	remove checks that are now no longer needed due to...	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	ENHANCED: Throw representation errors for DCG bodies...	commit \| commitdiff \| tree \| snapshot
2024-01-21	Markus Triska	MODIFIED: (->)/2 in DCGs is now only supported in the...	commit \| commitdiff \| tree \| snapshot
2024-01-19	Mark Thom	Merge pull request #2301 from aarroyoc/docs-copy-term-3	commit \| commitdiff \| tree \| snapshot
2024-01-19	Mark Thom	Merge pull request #2300 from aarroyoc/fix-2298	commit \| commitdiff \| tree \| snapshot
2024-01-19	Adrián Arroyo...	Move copy_term/3 to library(iso_ext)	commit \| commitdiff \| tree \| snapshot
2024-01-19	Adrián Arroyo...	Throw error in call_residue_vars/2	commit \| commitdiff \| tree \| snapshot
2024-01-17	Mark	add better no op detection in char_reader.rs (#2297)	commit \| commitdiff \| tree \| snapshot
2024-01-14	Mark	add #2293 tests, advance continuable HeapPStrIters...	commit \| commitdiff \| tree \| snapshot
2024-01-13	Mark	fix additional tests, make better use of existing code...	commit \| commitdiff \| tree \| snapshot
2024-01-13	Mark	fix additional tests (#2293)	commit \| commitdiff \| tree \| snapshot
2024-01-12	Mark	add missing CStr branch to unify_partial_string (#2293)	commit \| commitdiff \| tree \| snapshot
2024-01-11	Mark Thom	Merge pull request #2276 from triska/hophrase	commit \| commitdiff \| tree \| snapshot
2024-01-10	Mark Thom	Merge pull request #2281 from bakaq/miri	commit \| commitdiff \| tree \| snapshot
2024-01-09	bakaq	Make "cargo miri test" actually run	commit \| commitdiff \| tree \| snapshot
2024-01-09	Mark	fix cargo fmt --check	commit \| commitdiff \| tree \| snapshot
2024-01-09	Mark Thom	Merge pull request #2280 from notoria/clpz	commit \| commitdiff \| tree \| snapshot
2024-01-09	Mark	check for PStr in eager stackful preorder iterator...	commit \| commitdiff \| tree \| snapshot
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-06	Markus Triska	ADDED: Support for higher-order non-terminals phrase...	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom