Repositorios git - scryer-prolog.git/shortlog

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

2023-06-27	Mark	fix builtin_predicate (#1819)	commit \| commitdiff \| tree \| snapshot
2023-06-27	Mark	remove tabling attributes in each module's attribute_go...	commit \| commitdiff \| tree \| snapshot
2023-06-26	Mark	properly account for partial string offsets in '$skip_m...	commit \| commitdiff \| tree \| snapshot
2023-06-24	Mark	mark chunk boundary at beginning of disjunct in disjunc...	commit \| commitdiff \| tree \| snapshot
2023-06-24	Mark	fix string incompleteness (#1828)	commit \| commitdiff \| tree \| snapshot
2023-06-24	Mark Thom	Merge pull request #1842 from infogulch/release-on-tag	commit \| commitdiff \| tree \| snapshot
2023-06-24	infogulch	Bump msrv to 1.65 due to bumping rug to 1.19	commit \| commitdiff \| tree \| snapshot
2023-06-24	infogulch	Fix tags trigger	commit \| commitdiff \| tree \| snapshot
2023-06-24	Mark	fix branch subsumption bug (#1840, #1841)	commit \| commitdiff \| tree \| snapshot
2023-06-24	Mark Thom	Merge pull request #1838 from triska/get_line_to_chars	commit \| commitdiff \| tree \| snapshot
2023-06-24	Mark	update README	commit \| commitdiff \| tree \| snapshot
2023-06-24	Markus Triska	another case of "read" --> "get", for an only internall...	commit \| commitdiff \| tree \| snapshot
2023-06-24	Markus Triska	MODIFIED: read_line_to_chars/3 is now called get_line_t...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	correct code_walker.rs in light of compilation improvements	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	Merge branch 'compiling_disj'	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	correct reversions after rebase	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	polish perm free list management	commit \| commitdiff \| tree \| snapshot
2023-06-23	infogulch	Add steps to publish binaries when releases are tagged	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	free local cut variables after cut	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	mark is/2 allocated permanent variables as safe, add...	commit \| commitdiff \| tree \| snapshot
2023-06-23	dependabot...	Bump openssl from 0.10.48 to 0.10.55	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	improve call/N implementation (#1829)	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	set_local_value does not make values safe (#1812)	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	read set_value args from temp regs of put_unsafe_value...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	FIXED: correct dereferencing in atom_codes/2 and number...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Adrián Arroyo...	Rename INDEX.md to INDEX.dj and add banner about Scryer...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	read from machine stack in stackful pre-order iterator...	commit \| commitdiff \| tree \| snapshot
2023-06-23	notoria	Compute correctly the domain of the remainder	commit \| commitdiff \| tree \| snapshot
2023-06-23	notoria	Don't add variable	commit \| commitdiff \| tree \| snapshot
2023-06-23	notoria	Remove and move comments	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	optionally read from machine stack in stackful pre...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	affirm integers as rational/1 (#1810)	commit \| commitdiff \| tree \| snapshot
2023-06-23	Adrián Arroyo...	Update select crate to 0.6.0 and remove warning	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	FIXED: correctly reset counter in reset_gensym/2 (...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	shorten gensym/2	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	extend logic to all control and whitespace characters	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	use same logic to print Chars and Atoms (#1804)	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	rely on first instantiated argument indexing in the...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	ENHANCED: allow Roman numerals in strings	commit \| commitdiff \| tree \| snapshot
2023-06-23	Markus Triska	FIXED: consistent read/write of further control charact...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	make tests compatible	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	backtrack on emission of unsafe register instructions...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark	implement new disjunction compilation	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	remove BuildIf, BuildNot, BuildThen TermIterState variants	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	correct chunk type labeling	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	remove GetLevelAndUnify and replace it with GetCutPoint	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	add QueryTerm::ChunkTypeBoundary	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	delete ChunkedTerm, chunked iteration	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	new TermIterState variants	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	variable classification al a carte	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	add more variable probing, chunk type labeling	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	adapt code generation	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	add classifications and occurrence counting	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	milestone marker for surgery	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	begin adapting the techniques of "Compiling Large Disju...	commit \| commitdiff \| tree \| snapshot
2023-06-23	Mark Thom	Merge pull request #1834 from infogulch/ci-publish...	commit \| commitdiff \| tree \| snapshot
2023-06-23	infogulch	Add steps to publish binaries when releases are tagged	commit \| commitdiff \| tree \| snapshot
2023-06-22	Mark Thom	Merge pull request #1833 from mthom/dependabot/cargo...	commit \| commitdiff \| tree \| snapshot
2023-06-21	dependabot...	Bump openssl from 0.10.48 to 0.10.55	commit \| commitdiff \| tree \| snapshot
2023-06-10	Mark	improve call/N implementation (#1829)	commit \| commitdiff \| tree \| snapshot
2023-06-06	Mark	set_local_value does not make values safe (#1812)	commit \| commitdiff \| tree \| snapshot
2023-05-30	Mark	read set_value args from temp regs of put_unsafe_value...	commit \| commitdiff \| tree \| snapshot
2023-05-29	Mark Thom	Merge pull request #1822 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-05-29	Markus Triska	FIXED: correct dereferencing in atom_codes/2 and number...	commit \| commitdiff \| tree \| snapshot
2023-05-28	Mark Thom	Merge pull request #1820 from aarroyoc/banner-meetup	commit \| commitdiff \| tree \| snapshot
2023-05-28	Adrián Arroyo...	Rename INDEX.md to INDEX.dj and add banner about Scryer...	commit \| commitdiff \| tree \| snapshot
2023-05-28	Mark	read from machine stack in stackful pre-order iterator...	commit \| commitdiff \| tree \| snapshot
2023-05-27	Mark Thom	Merge pull request #1816 from notoria/clpz	commit \| commitdiff \| tree \| snapshot
2023-05-27	notoria	Compute correctly the domain of the remainder	commit \| commitdiff \| tree \| snapshot
2023-05-27	notoria	Don't add variable	commit \| commitdiff \| tree \| snapshot
2023-05-27	notoria	Remove and move comments	commit \| commitdiff \| tree \| snapshot
2023-05-26	Mark	optionally read from machine stack in stackful pre...	commit \| commitdiff \| tree \| snapshot
2023-05-24	Mark	affirm integers as rational/1 (#1810)	commit \| commitdiff \| tree \| snapshot
2023-05-18	Mark Thom	Merge pull request #1809 from aarroyoc/update-select	commit \| commitdiff \| tree \| snapshot
2023-05-17	Adrián Arroyo...	Update select crate to 0.6.0 and remove warning	commit \| commitdiff \| tree \| snapshot
2023-05-16	Mark Thom	Merge pull request #1808 from triska/gensym	commit \| commitdiff \| tree \| snapshot
2023-05-16	Markus Triska	FIXED: correctly reset counter in reset_gensym/2 (...	commit \| commitdiff \| tree \| snapshot
2023-05-16	Markus Triska	shorten gensym/2	commit \| commitdiff \| tree \| snapshot
2023-05-15	Mark Thom	Merge pull request #1805 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-05-14	Markus Triska	extend logic to all control and whitespace characters	commit \| commitdiff \| tree \| snapshot
2023-05-10	Mark	use same logic to print Chars and Atoms (#1804)	commit \| commitdiff \| tree \| snapshot
2023-05-05	Mark Thom	Merge pull request #1801 from triska/foldl	commit \| commitdiff \| tree \| snapshot
2023-05-05	Mark Thom	Merge pull request #1799 from triska/roman_numerals	commit \| commitdiff \| tree \| snapshot
2023-05-05	Mark Thom	Merge pull request #1800 from triska/nbsp	commit \| commitdiff \| tree \| snapshot
2023-05-03	Markus Triska	rely on first instantiated argument indexing in the...	commit \| commitdiff \| tree \| snapshot
2023-05-03	Markus Triska	FIXED: consistent read/write of further control charact...	commit \| commitdiff \| tree \| snapshot
2023-05-03	Markus Triska	ENHANCED: allow Roman numerals in strings	commit \| commitdiff \| tree \| snapshot
2023-04-25	Mark	fix current_predicate/1 (#1761)	commit \| commitdiff \| tree \| snapshot
2023-04-23	Mark Thom	Merge pull request #1794 from aarroyoc/uppercase-2	commit \| commitdiff \| tree \| snapshot
2023-04-23	Adrián Arroyo...	Fix to_upper/to_lower when string is instantiated	commit \| commitdiff \| tree \| snapshot
2023-04-23	Mark Thom	Merge pull request #1797 from triska/clpb_residuals	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom