Repositorios git - scryer-prolog.git/shortlog

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

2023-07-05	Mark Thom	Merge pull request #1864 from triska/double_quotes	commit \| commitdiff \| tree \| snapshot
2023-07-05	Markus Triska	make double_quotes write option not dependent on double...	commit \| commitdiff \| tree \| snapshot
2023-07-05	Mark Thom	Merge pull request #1862 from mthom/iso_conformity_tests	commit \| commitdiff \| tree \| snapshot
2023-07-04	Mark	add missing self.pos to peek_char slices (#1726)	commit \| commitdiff \| tree \| snapshot
2023-07-04	Mark	revise iso_conformity_tests.pl in response to new ambig... iso_conformity_tests origin/iso_conformity_tests	commit \| commitdiff \| tree \| snapshot
2023-07-04	Mark	throw lexer errors from devour_whitespace (#1778)	commit \| commitdiff \| tree \| snapshot
2023-07-04	Mark Thom	Merge pull request #1861 from aarroyoc/fix-1855	commit \| commitdiff \| tree \| snapshot
2023-07-04	Mark	widen CharReader buffer (#1859)	commit \| commitdiff \| tree \| snapshot
2023-07-04	Adrián Arroyo...	Allow comparisons with stream terms	commit \| commitdiff \| tree \| snapshot
2023-07-03	Mark Thom	Merge pull request #1857 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-07-03	Markus Triska	advertise newly achieved strong syntactic conformance...	commit \| commitdiff \| tree \| snapshot
2023-07-03	Mark Thom	Merge pull request #1850 from mthom/iso-conformity...	commit \| commitdiff \| tree \| snapshot
2023-07-03	Mark	update tests iso-conformity-tests origin/iso-conformity-tests	commit \| commitdiff \| tree \| snapshot
2023-07-03	Mark	correct tests #171 and #300	commit \| commitdiff \| tree \| snapshot
2023-07-03	Mark	add double_quotes write option for printing to strings...	commit \| commitdiff \| tree \| snapshot
2023-07-03	Mark	correct ISO conformity test #185	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	add iso-conformity-tests.pl to test suite	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	correct initialization_goals misnomer in iso-conformity...	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	make setup of test_166_167 pass	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	check ambiguity of "'" against tail if atom token is...	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	always print a space between prefix operator and its...	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	correct tests 259 and 304 of tests-pl/iso-conformity...	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	introduce tests-pl/iso-conformity-tests.pl	commit \| commitdiff \| tree \| snapshot
2023-07-02	Mark	removing residual debugging comments from format.pl	commit \| commitdiff \| tree \| snapshot
2023-06-30	Mark	use lexer to detect remaining layout in parse_number_fr...	commit \| commitdiff \| tree \| snapshot
2023-06-30	Mark Thom	Merge pull request #1854 from triska/needs_bracketing	commit \| commitdiff \| tree \| snapshot
2023-06-30	Markus Triska	remove now unneeded check	commit \| commitdiff \| tree \| snapshot
2023-06-30	Mark	check that F in needs_bracketing/2 is an atom	commit \| commitdiff \| tree \| snapshot
2023-06-30	Mark	do not enclose '(' as atom in brackets (#1487)	commit \| commitdiff \| tree \| snapshot
2023-06-30	Mark Thom	Merge pull request #1852 from triska/needs_bracketing	commit \| commitdiff \| tree \| snapshot
2023-06-30	Markus Triska	remove unneeded case: only operator definitions should...	commit \| commitdiff \| tree \| snapshot
2023-06-30	Markus Triska	remove subsumed case: F == Value means Arity =:= 0...	commit \| commitdiff \| tree \| snapshot
2023-06-30	Markus Triska	shorten needs_bracketing/2	commit \| commitdiff \| tree \| snapshot
2023-06-30	Markus Triska	constrain bracketing to operators with pertaining arity	commit \| commitdiff \| tree \| snapshot
2023-06-30	Mark Thom	Merge pull request #1851 from triska/operator_bracketing	commit \| commitdiff \| tree \| snapshot
2023-06-30	Markus Triska	bracket all operators that are direct operands of ...	commit \| commitdiff \| tree \| snapshot
2023-06-29	Mark	fix ReadlineStream peek_char using CharReader	commit \| commitdiff \| tree \| snapshot
2023-06-29	Mark	read the cell written to by mark_var when needed in...	commit \| commitdiff \| tree \| snapshot
2023-06-29	Mark	introduce CutPoint heap tag so that they can be offset...	commit \| commitdiff \| tree \| snapshot
2023-06-29	Mark Thom	Merge pull request #1849 from triska/showterm	commit \| commitdiff \| tree \| snapshot
2023-06-29	Markus Triska	remove unneeded single quotes	commit \| commitdiff \| tree \| snapshot
2023-06-28	Mark	correct and generalize current_predicate/1	commit \| commitdiff \| tree \| snapshot
2023-06-27	Mark	unify stack variables to streams in unify_constant...	commit \| commitdiff \| tree \| snapshot
2023-06-27	Mark	better detect syntax errors in lexer.rs (#1771)	commit \| commitdiff \| tree \| snapshot
2023-06-27	Mark Thom	Merge pull request #1844 from triska/copy_term_nat	commit \| commitdiff \| tree \| snapshot
2023-06-27	Markus Triska	use copy_term_nat/2	commit \| commitdiff \| tree \| snapshot
2023-06-27	Mark	enable unification of streams to alias atoms (#1823)	commit \| commitdiff \| tree \| snapshot
2023-06-27	Mark	support module resolution in current_predicate/1 (...	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom