Repositorios git - scryer-prolog.git/shortlog

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

2023-01-21	Adrián Arroyo...	Compatible Doclog docs for library(charsio)	commit \| commitdiff \| tree \| snapshot
2023-01-21	Mark Thom	Merge pull request #1687 from gruhn/master	commit \| commitdiff \| tree \| snapshot
2023-01-21	Mark Thom	Merge pull request #1688 from aarroyoc/djot-migration	commit \| commitdiff \| tree \| snapshot
2023-01-19	Adrián Arroyo...	Fix assoc.pl file	commit \| commitdiff \| tree \| snapshot
2023-01-19	Adrián Arroyo...	Migrate from Markdown to Djot	commit \| commitdiff \| tree \| snapshot
2023-01-18	Niklas Gruhn	Use lastest 1.xx Rust version in Docker build	commit \| commitdiff \| tree \| snapshot
2023-01-14	Mark Thom	restore free list usage on structures in facts without...	commit \| commitdiff \| tree \| snapshot
2023-01-13	Mark Thom	Merge pull request #1677 from aarroyoc/docs-dif	commit \| commitdiff \| tree \| snapshot
2023-01-13	Mark Thom	tighten deallocate truncation of stack (#1686)	commit \| commitdiff \| tree \| snapshot
2023-01-11	Mark Thom	Merge pull request #1685 from triska/reify_sign	commit \| commitdiff \| tree \| snapshot
2023-01-11	Markus Triska	use (#)/1	commit \| commitdiff \| tree \| snapshot
2023-01-11	Markus Triska	ADDED: sign/1 is now reifiable.	commit \| commitdiff \| tree \| snapshot
2023-01-11	Mark Thom	remove add_term_to_free_list from AddToList (#1684)	commit \| commitdiff \| tree \| snapshot
2023-01-10	Mark Thom	Merge pull request #1682 from triska/reify_slash	commit \| commitdiff \| tree \| snapshot
2023-01-10	Markus Triska	rely on newly available operator notation for (#)/1	commit \| commitdiff \| tree \| snapshot
2023-01-10	Markus Triska	replace several more instances of ?/1 by (#)/1	commit \| commitdiff \| tree \| snapshot
2023-01-10	Markus Triska	use (#)/1 already internally for describing constraint...	commit \| commitdiff \| tree \| snapshot
2023-01-10	Markus Triska	FIXED: reification of (xor)/2.	commit \| commitdiff \| tree \| snapshot
2023-01-10	Markus Triska	FIXED: correctly reify (/)/2.	commit \| commitdiff \| tree \| snapshot
2023-01-08	Mark Thom	use free lists to allow register re-use (#1612)	commit \| commitdiff \| tree \| snapshot
2022-12-24	Mark Thom	use '$enqueue_attr_var' when adding attributes only	commit \| commitdiff \| tree \| snapshot
2022-12-22	Adrián Arroyo...	Compatible Doclog docs for library(dif)	commit \| commitdiff \| tree \| snapshot
2022-12-18	Mark Thom	Merge pull request #1658 from aarroyoc/copy_file	commit \| commitdiff \| tree \| snapshot
2022-12-18	Mark Thom	Merge pull request #1672 from triska/deref_register	commit \| commitdiff \| tree \| snapshot
2022-12-18	Markus Triska	dereference more registers, analogous to d660e4244ff48b...	commit \| commitdiff \| tree \| snapshot
2022-12-17	Mark Thom	Merge pull request #1671 from aarroyoc/docs-iso-ext	commit \| commitdiff \| tree \| snapshot
2022-12-17	Mark Thom	Merge pull request #1669 from aarroyoc/docs-http-open	commit \| commitdiff \| tree \| snapshot
2022-12-17	Adrián Arroyo...	Compatible Doclog docs for library(iso_ext)	commit \| commitdiff \| tree \| snapshot
2022-12-17	Adrián Arroyo...	Compatible Doclog docs for library(http/http_open).	commit \| commitdiff \| tree \| snapshot
2022-12-17	Mark Thom	use proper dynamic arities in JmpByCall and JmpByExecut...	commit \| commitdiff \| tree \| snapshot
2022-12-17	Mark Thom	track attr_var_init lengths on the stack (#1667)	commit \| commitdiff \| tree \| snapshot
2022-12-16	Mark Thom	update README to point to local wambook (#1668)	commit \| commitdiff \| tree \| snapshot
2022-12-16	Mark Thom	detect cyclic bindings in attr_vars_of_term (#1666)	commit \| commitdiff \| tree \| snapshot
2022-12-16	Mark Thom	Merge pull request #1662 from mthom/interpreting_disj	commit \| commitdiff \| tree \| snapshot
2022-12-13	Mark Thom	use append/3 rather than set_difference/3 to gather...	commit \| commitdiff \| tree \| snapshot
2022-12-11	Mark Thom	Merge pull request #1661 from aarroyoc/lcm2	commit \| commitdiff \| tree \| snapshot
2022-12-11	Mark Thom	fix mishandled if-then-else interpretation (#1659) interpreting_disj origin/interpreting_disj	commit \| commitdiff \| tree \| snapshot
2022-12-11	Adrián Arroyo...	Add predicate lcm/2 to library(arithmetic)	commit \| commitdiff \| tree \| snapshot
2022-12-10	Adrián Arroyo...	Rename copy_file/2 to file_copy/2	commit \| commitdiff \| tree \| snapshot
2022-12-10	Adrián Arroyo...	Add predicate copy_file/2 in library(files)	commit \| commitdiff \| tree \| snapshot
2022-12-10	Mark Thom	Merge pull request #1657 from aarroyoc/docs-files	commit \| commitdiff \| tree \| snapshot
2022-12-10	Mark Thom	Merge pull request #1656 from aarroyoc/docs-ordsets	commit \| commitdiff \| tree \| snapshot
2022-12-10	Mark Thom	Merge pull request #1655 from triska/deref_register	commit \| commitdiff \| tree \| snapshot
2022-12-08	Adrián Arroyo...	Compatible Doclog docs for library(files)	commit \| commitdiff \| tree \| snapshot
2022-12-08	Adrián Arroyo...	Compatible Doclog docs for library(ordsets)	commit \| commitdiff \| tree \| snapshot
2022-12-07	Markus Triska	more uses of newly available deref_register(n)	commit \| commitdiff \| tree \| snapshot
2022-12-07	Mark Thom	Merge pull request #1653 from triska/deref_register	commit \| commitdiff \| tree \| snapshot
2022-12-06	Markus Triska	introduce and use deref_register(n)	commit \| commitdiff \| tree \| snapshot
2022-12-06	Mark Thom	Merge pull request #1652 from aarroyoc/docs-lists	commit \| commitdiff \| tree \| snapshot
2022-12-06	Mark Thom	Merge pull request #1651 from aarroyoc/docs-sockets	commit \| commitdiff \| tree \| snapshot
2022-12-06	Adrián Arroyo...	Compatible Doclog docs for library(lists)	commit \| commitdiff \| tree \| snapshot
2022-12-06	Adrián Arroyo...	Compatible Doclog docs for library(sockets)	commit \| commitdiff \| tree \| snapshot
2022-12-06	Mark Thom	dereference encoding register in crypto_data_decrypt...	commit \| commitdiff \| tree \| snapshot
2022-12-06	Mark Thom	avoid pushing stack variables to the heap in get_contin...	commit \| commitdiff \| tree \| snapshot
2022-12-05	Mark Thom	Merge pull request #1649 from aarroyoc/docs-ugraphs	commit \| commitdiff \| tree \| snapshot
2022-12-05	Mark Thom	Merge pull request #1648 from aarroyoc/docs-random	commit \| commitdiff \| tree \| snapshot
2022-12-05	Mark Thom	Merge pull request #1647 from aarroyoc/docs-uuid	commit \| commitdiff \| tree \| snapshot
2022-12-05	Mark Thom	Merge pull request #1646 from aarroyoc/docs-assoc	commit \| commitdiff \| tree \| snapshot
2022-12-04	Adrián Arroyo...	Compatible Doclog docs for library(ugraphs)	commit \| commitdiff \| tree \| snapshot
2022-12-02	Adrián Arroyo...	Compatible Doclog docs for library(random)	commit \| commitdiff \| tree \| snapshot
2022-12-02	Adrián Arroyo...	Compatible Doclog docs for library(uuid)	commit \| commitdiff \| tree \| snapshot
2022-12-02	Adrián Arroyo...	Compatible Doclog docs for library(assoc)	commit \| commitdiff \| tree \| snapshot
2022-11-19	Mark Thom	return -1 from get_code to indicate end of file (#1622)	commit \| commitdiff \| tree \| snapshot
2022-11-16	Mark Thom	Merge pull request #1640 from gruhn/master	commit \| commitdiff \| tree \| snapshot
2022-11-15	Niklas Gruhn	Adjust Github Action: Docker Publish	commit \| commitdiff \| tree \| snapshot
2022-11-15	Mark Thom	update Dockerfile to use rustc 1.61	commit \| commitdiff \| tree \| snapshot
2022-11-15	Mark Thom	mention #scryer in README	commit \| commitdiff \| tree \| snapshot
2022-11-15	Mark Thom	README rustc version bump	commit \| commitdiff \| tree \| snapshot
2022-11-15	Mark Thom	use existing bindings in compile_is (#1545)	commit \| commitdiff \| tree \| snapshot
2022-11-15	Mark Thom	begin to mark registers as safe from built-in predicate...	commit \| commitdiff \| tree \| snapshot
2022-11-15	Mark Thom	revise UnsafeVarMarker (#1545)	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	Merge pull request #1635 from mthom/rebis-dev v0.9.1	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	bump version to 0.9.1	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	remove num-rug-adapter	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	move asserta/2, assertz/2 to iso_ext	commit \| commitdiff \| tree \| snapshot
2022-11-08	Mark Thom	introduce InlineTermStream to avoid arena allocations...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	Merge pull request #1630 from epilys/fix-1625	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	FIXED: CLP(ℤ): Correctly remove all attributes during...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	build partial strings using PStrLoc in write_term_to_he...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	export asserta/2 (#1623)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	cache ball terms before unifying in handle_ball/3 ...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	Some minor fixes. Thanks to @triska for them!	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fix crash in read_term (#1616)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Skgland	adjust rust-version declaration	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	Set default Shell	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	Add Windows MSYS2	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: library(crypto): Faster conversion to bytes...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use newly available u8s_to_string	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove redundant error handling, since this case is...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	introduce and use u8s_to_string	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use (slightly) better variable names	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use newly available must_be(chars, ...) for better...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Eliminate the OpenSSL dependency of library...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	properly match strings concluding with characters in...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	correct nth0/4 and nth1/4	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove nth1/3, which is now provided by library(lists)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove nth1/3, which is now provided by library(lists)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Much improved nth0/3, taken from #1529.	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: must_be/can_be(not_less_than_zero, ...)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	better implementation of list_si/1	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom