Repositorios git - scryer-prolog.git/shortlog

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

2023-04-23	Markus Triska	remove residual goal for ground BDD	commit \| commitdiff \| tree \| snapshot
2023-04-23	Mark	discard CodeIndex literals from unfolded control operat...	commit \| commitdiff \| tree \| snapshot
2023-04-23	Mark	add and document inlined_instructions/2 to/in diag...	commit \| commitdiff \| tree \| snapshot
2023-04-22	Mark Thom	Merge pull request #1796 from triska/dif_si	commit \| commitdiff \| tree \| snapshot
2023-04-22	Markus Triska	ADDED: dif_si/2	commit \| commitdiff \| tree \| snapshot
2023-04-22	Mark Thom	Merge pull request #1795 from infogulch/fix-ci-install	commit \| commitdiff \| tree \| snapshot
2023-04-22	infogulch	Use --force to install cargo2junit	commit \| commitdiff \| tree \| snapshot
2023-04-22	Mark Thom	Merge pull request #1793 from infogulch/fix-action-ref	commit \| commitdiff \| tree \| snapshot
2023-04-22	infogulch	Change ref for `publish-unit-test-result-action`	commit \| commitdiff \| tree \| snapshot
2023-04-20	Mark Thom	Merge pull request #1789 from aarroyoc/uppercase	commit \| commitdiff \| tree \| snapshot
2023-04-18	Adrián Arroyo...	library(charsio): add to_upper and to_lower	commit \| commitdiff \| tree \| snapshot
2023-04-18	Mark Thom	Merge pull request #1783 from infogulch/test	commit \| commitdiff \| tree \| snapshot
2023-04-14	infogulch	Refactor CI Workflow	commit \| commitdiff \| tree \| snapshot
2023-04-14	Mark Thom	Merge pull request #1785 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2023-04-14	Mark Thom	Merge pull request #1786 from triska/tuples_in	commit \| commitdiff \| tree \| snapshot
2023-04-13	Markus Triska	FIXED: propagation for ground tuples	commit \| commitdiff \| tree \| snapshot
2023-04-13	dependabot...	Bump h2 from 0.3.15 to 0.3.17	commit \| commitdiff \| tree \| snapshot
2023-04-12	Mark Thom	Merge pull request #1780 from triska/tuples_in	commit \| commitdiff \| tree \| snapshot
2023-04-11	Markus Triska	FIXED: enforce equality also for ground elements in...	commit \| commitdiff \| tree \| snapshot
2023-04-11	Markus Triska	do not create attributed variables for ground tuples	commit \| commitdiff \| tree \| snapshot
2023-04-11	Markus Triska	actually disable and reenable the queue	commit \| commitdiff \| tree \| snapshot
2023-04-11	Markus Triska	remove no longer needed clpz_relation attributes	commit \| commitdiff \| tree \| snapshot
2023-04-11	Markus Triska	do not leave an attribute when (re-)enabling a queue	commit \| commitdiff \| tree \| snapshot
2023-04-07	Mark Thom	Merge pull request #1776 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-04-06	infogulch	Allow the test suite to fail without failing the build	commit \| commitdiff \| tree \| snapshot
2023-04-02	infogulch	Add logtalk test suite	commit \| commitdiff \| tree \| snapshot
2023-04-02	infogulch	Test workflow cleanup; switch to macos-11	commit \| commitdiff \| tree \| snapshot
2023-04-02	Mark Thom	Merge pull request #1772 from triska/number_chars	commit \| commitdiff \| tree \| snapshot
2023-04-02	Mark Thom	Merge pull request #1774 from infogulch/master	commit \| commitdiff \| tree \| snapshot
2023-04-02	Markus Triska	FIXED: number_chars(N, "0' "), addressing #1580.	commit \| commitdiff \| tree \| snapshot
2023-04-02	infogulch	Add cache step to test workflow	commit \| commitdiff \| tree \| snapshot
2023-04-01	Mark Thom	Merge pull request #1770 from triska/doc	commit \| commitdiff \| tree \| snapshot
2023-04-01	Markus Triska	DOC: link to "Indexing dif/2"	commit \| commitdiff \| tree \| snapshot
2023-04-01	Markus Triska	DOC: explain location of scryer-prolog after compilation	commit \| commitdiff \| tree \| snapshot
2023-04-01	Markus Triska	use the release flag so that the instructions can be...	commit \| commitdiff \| tree \| snapshot
2023-04-01	Markus Triska	change "run" to "build", since "run" leads to a Scryer...	commit \| commitdiff \| tree \| snapshot
2023-03-31	Mark Thom	Merge pull request #1769 from triska/show_pending_const...	commit \| commitdiff \| tree \| snapshot
2023-03-30	Markus Triska	ENHANCED: use call_residue_vars/2 to show all pending...	commit \| commitdiff \| tree \| snapshot
2023-03-26	Mark Thom	broaden the definition of alpha_char! (#1749, #1515...	commit \| commitdiff \| tree \| snapshot
2023-03-25	Mark Thom	Merge pull request #1765 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2023-03-25	dependabot...	Bump openssl from 0.10.42 to 0.10.48	commit \| commitdiff \| tree \| snapshot
2023-03-19	Mark Thom	add '$unattributed_var' builtin (#1758)	commit \| commitdiff \| tree \| snapshot
2023-03-16	Mark Thom	Merge pull request #1759 from triska/better_queue	commit \| commitdiff \| tree \| snapshot
2023-03-15	Markus Triska	remove no longer needed queue attributes after propagation	commit \| commitdiff \| tree \| snapshot
2023-03-15	Markus Triska	show remaining queue/2 attributes as residual goals	commit \| commitdiff \| tree \| snapshot
2023-03-15	Mark Thom	Revert "correct call_residue_vars/3 using new copy_term...	commit \| commitdiff \| tree \| snapshot
2023-03-15	Mark Thom	Revert "use new call_residue_vars/2 in toplevel.pl...	commit \| commitdiff \| tree \| snapshot
2023-03-12	Mark Thom	use new call_residue_vars/2 in toplevel.pl (#847)	commit \| commitdiff \| tree \| snapshot
2023-03-12	Mark Thom	correct call_residue_vars/3 using new copy_term_3 ...	commit \| commitdiff \| tree \| snapshot
2023-03-12	Mark Thom	Merge pull request #1757 from aarroyoc/fix-docs-1756	commit \| commitdiff \| tree \| snapshot
2023-03-12	Adrián Arroyo...	Fixes #1756	commit \| commitdiff \| tree \| snapshot
2023-03-10	Mark Thom	Merge pull request #1755 from triska/doc	commit \| commitdiff \| tree \| snapshot
2023-03-08	Markus Triska	use actual toplevel answers	commit \| commitdiff \| tree \| snapshot
2023-03-08	Markus Triska	use string notation as discussed on #scryer IRC	commit \| commitdiff \| tree \| snapshot
2023-03-08	Markus Triska	items --> elements	commit \| commitdiff \| tree \| snapshot
2023-03-08	Mark Thom	Merge pull request #1754 from triska/dif	commit \| commitdiff \| tree \| snapshot
2023-03-08	Markus Triska	FIXED: Take all variables into account during goal...	commit \| commitdiff \| tree \| snapshot
2023-03-08	Markus Triska	ENHANCED: more compact definition of dif/2	commit \| commitdiff \| tree \| snapshot
2023-03-02	Mark Thom	Merge pull request #1744 from aarroyoc/ffi	commit \| commitdiff \| tree \| snapshot
2023-03-01	Adrián Arroyo...	Fill more cases	commit \| commitdiff \| tree \| snapshot
2023-02-28	Adrián Arroyo...	Merge branch 'master' into ffi	commit \| commitdiff \| tree \| snapshot
2023-02-28	Adrián Arroyo...	FFI: Documentation	commit \| commitdiff \| tree \| snapshot
2023-02-27	Mark Thom	invoke '$default_attr_list' in project_attributes.pl...	commit \| commitdiff \| tree \| snapshot
2023-02-27	Mark Thom	third argument of copy_term should be instantiated...	commit \| commitdiff \| tree \| snapshot
2023-02-26	Mark Thom	Merge pull request #1746 from triska/type_over_instanti...	commit \| commitdiff \| tree \| snapshot
2023-02-26	Markus Triska	ENHANCED: must_be/2: prefer type error over instantiati...	commit \| commitdiff \| tree \| snapshot
2023-02-26	Adrián Arroyo...	FFI: Nested structs	commit \| commitdiff \| tree \| snapshot
2023-02-26	Mark Thom	add, implement and use the Unifier trait	commit \| commitdiff \| tree \| snapshot
2023-02-25	Adrián Arroyo...	Macroization of the code	commit \| commitdiff \| tree \| snapshot
2023-02-25	Mark Thom	Merge pull request #1743 from triska/rely_on_indexing	commit \| commitdiff \| tree \| snapshot
2023-02-25	Markus Triska	rely on first instantiated argument indexing	commit \| commitdiff \| tree \| snapshot
2023-02-23	Mark Thom	Merge pull request #1741 from triska/clpz_residuals	commit \| commitdiff \| tree \| snapshot
2023-02-22	Markus Triska	DOC: update residual goals	commit \| commitdiff \| tree \| snapshot
2023-02-22	Markus Triska	in projection of residual goals, mark considered propag...	commit \| commitdiff \| tree \| snapshot
2023-02-22	Adrián Arroyo...	MVP of Foreign Function Interface	commit \| commitdiff \| tree \| snapshot
2023-02-22	Mark Thom	assign responsibility for emitting dif goal to the...	commit \| commitdiff \| tree \| snapshot
2023-02-21	Mark Thom	catch attribute_goals errors in copy_term/3, don't...	commit \| commitdiff \| tree \| snapshot
2023-02-20	Mark Thom	Merge pull request #1737 from triska/link_to_homepage	commit \| commitdiff \| tree \| snapshot
2023-02-20	Markus Triska	add link to newly available homepage	commit \| commitdiff \| tree \| snapshot
2023-02-20	Robert Jacobson	Changed the links for the delimited continuations paper...	commit \| commitdiff \| tree \| snapshot
2023-02-20	Robert Jacobson	Added links to referenced research papers in the Phase...	commit \| commitdiff \| tree \| snapshot
2023-02-20	Mark Thom	change '$delete_all_attributes' to '$delete_all_attribu...	commit \| commitdiff \| tree \| snapshot
2023-02-20	Mark Thom	add '$delete_all_attributes', use copy_term/3 as define...	commit \| commitdiff \| tree \| snapshot
2023-02-20	Mark Thom	compile '$atts' and '$project_atts' modules using...	commit \| commitdiff \| tree \| snapshot
2023-02-17	Mark Thom	keep phrase goal qualified even if qualifier is a variable	commit \| commitdiff \| tree \| snapshot
2023-02-13	Mark Thom	correct incremental compilation bugs	commit \| commitdiff \| tree \| snapshot
2023-02-13	Mark Thom	copy attributed variable attribute lists specially...	commit \| commitdiff \| tree \| snapshot
2023-02-11	Mark Thom	retire TrailedAttrVarHeapLink TrailEntry tag	commit \| commitdiff \| tree \| snapshot
2023-02-11	Mark Thom	simplify and optimize attributed variables (#1590,...	commit \| commitdiff \| tree \| snapshot
2023-02-06	Mark Thom	port '$get_from_list' to '$get_from_attr_list' in Rust	commit \| commitdiff \| tree \| snapshot
2023-02-05	Mark Thom	include wambook errata	commit \| commitdiff \| tree \| snapshot
2023-02-04	Mark Thom	correct shl stub_gen	commit \| commitdiff \| tree \| snapshot
2023-02-04	Mark Thom	Merge pull request #1734 from triska/clpz_corrections	commit \| commitdiff \| tree \| snapshot
2023-02-03	Markus Triska	DOC: teletype font for reification	commit \| commitdiff \| tree \| snapshot
2023-02-03	Mark Thom	shift by usize instead of u32 in shl and shr (#1718...	commit \| commitdiff \| tree \| snapshot
2023-02-03	Mark Thom	Merge pull request #1732 from aarroyoc/docs-minor-fixes	commit \| commitdiff \| tree \| snapshot
2023-02-02	Adrián Arroyo...	Minor fixes to docs	commit \| commitdiff \| tree \| snapshot
2023-02-02	Mark Thom	Merge pull request #1731 from triska/clpz_corrections	commit \| commitdiff \| tree \| snapshot
2023-02-02	Mark Thom	Merge pull request #1729 from aarroyoc/negative-shifts	commit \| commitdiff \| tree \| snapshot
2023-02-01	Markus Triska	correct DocLog ~/.scryerrc rendering	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom