Repositorios git - scryer-prolog.git/shortlog

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

2023-01-28	Markus Triska	use DocLog syntax for section anchors and links within...	commit \| commitdiff \| tree \| snapshot
2023-01-28	Markus Triska	small documentation adjustments	commit \| commitdiff \| tree \| snapshot
2023-01-28	Markus Triska	FIXED: use lsb/2 and msb/2 from library(arithmetic)	commit \| commitdiff \| tree \| snapshot
2023-01-27	Mark Thom	Merge pull request #1717 from triska/format_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Markus Triska	correct table layout for entries that themselves contain \|	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1674 from aarroyoc/docs-builtins	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1705 from triska/format_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1706 from triska/si_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1707 from triska/reif_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1708 from triska/freeze_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1709 from triska/pio_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1710 from triska/tabling_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1711 from triska/pairs_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1712 from triska/lambda_doc	commit \| commitdiff \| tree \| snapshot
2023-01-26	Mark Thom	Merge pull request #1713 from triska/simplex_doc	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: convert library(simplex) documentation to DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: convert code samples in library(lambda) to DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: initial documentation for library(pairs) in DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	add link to Desouter et al., "Tabling as a Library...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: initial documentation for library(tabling) in...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: convert library(pio) documentation to DocLog format	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: add documentation for library(freeze) in DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: add link to "Indexing dif/2" in DocLog format	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: convert library(si) documentation to DocLog format	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: convert library(format) documentation to DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-25	Mark Thom	Merge pull request #1704 from triska/time_doc	commit \| commitdiff \| tree \| snapshot
2023-01-25	Markus Triska	DOC: correctly format the table using DocLog syntax	commit \| commitdiff \| tree \| snapshot
2023-01-25	Mark Thom	Merge pull request #1703 from aarroyoc/docs-arithmetic	commit \| commitdiff \| tree \| snapshot
2023-01-25	Adrián Arroyo...	Apply feedback on builtins	commit \| commitdiff \| tree \| snapshot
2023-01-25	Adrián Arroyo...	Compatible Doclog docs for library(arithmetic) and...	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1701 from triska/diag_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1702 from triska/debug_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: add DocLog documentation for library(debug)	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: add DocLog documentation for library(diag)	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1689 from triska/clpb_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1697 from triska/crypto_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1696 from triska/clpz_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1698 from triska/time_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1694 from aarroyoc/docs-dcgs	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1699 from triska/sgml_doc	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: convert library(sgml) documentation to DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	strengthen reified division for divisor == 1	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: add CLP(B) documentation in DocLog format	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: convert library(time) documentation to DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: convert library(crypto) documentation to DocLog...	commit \| commitdiff \| tree \| snapshot
2023-01-24	Markus Triska	DOC: improve CLP(ℤ) DocLog documentation	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1695 from aarroyoc/website	commit \| commitdiff \| tree \| snapshot
2023-01-24	Mark Thom	Merge pull request #1676 from aarroyoc/docs-http-server	commit \| commitdiff \| tree \| snapshot
2023-01-23	Adrián Arroyo...	Website page	commit \| commitdiff \| tree \| snapshot
2023-01-23	Adrián Arroyo...	Compatible Doclog docs for library(dcgs)	commit \| commitdiff \| tree \| snapshot
2023-01-23	Mark Thom	Merge branch 'retract_improvements'	commit \| commitdiff \| tree \| snapshot
2023-01-23	Mark Thom	improve retract/1 and related predicates (#1598)	commit \| commitdiff \| tree \| snapshot
2023-01-23	Mark Thom	Merge pull request #1693 from aarroyoc/docs-xpath	commit \| commitdiff \| tree \| snapshot
2023-01-23	Mark Thom	Merge pull request #1691 from aarroyoc/docs-os-3	commit \| commitdiff \| tree \| snapshot
2023-01-23	Mark Thom	Merge pull request #1690 from aarroyoc/docs-charsio	commit \| commitdiff \| tree \| snapshot
2023-01-23	Mark Thom	Merge pull request #1692 from aarroyoc/docs-between	commit \| commitdiff \| tree \| snapshot
2023-01-22	Adrián Arroyo...	Compatible Doclog docs for library(xpath).	commit \| commitdiff \| tree \| snapshot
2023-01-22	Adrián Arroyo...	Compatible Doclog docs for library(between).	commit \| commitdiff \| tree \| snapshot
2023-01-22	Adrián Arroyo...	Compatible Doclog docs for library(os)	commit \| commitdiff \| tree \| snapshot
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-22	Adrián Arroyo...	Compatible Doclog docs for library(http/http_server)	commit \| commitdiff \| tree \| snapshot
2022-12-21	Adrián Arroyo...	More feedback applied	commit \| commitdiff \| tree \| snapshot
2022-12-21	Adrián Arroyo...	Apply some feedback	commit \| commitdiff \| tree \| snapshot
2022-12-21	Adrián Arroyo...	Merge branch 'master' into docs-builtins	commit \| commitdiff \| tree \| snapshot
2022-12-21	Adrián Arroyo...	Compatible Doclog docs for builtins	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom