Repositorios git - scryer-prolog.git/shortlog

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

2023-07-12	Mark	Revert "Allow comparisons with stream terms"	commit \| commitdiff \| tree \| snapshot
2023-07-12	Mark	Revert "add stream alias check to atom/1 (#1855)"	commit \| commitdiff \| tree \| snapshot
2023-07-12	Mark	Revert "add stream alias processing to atom_chars/2...	commit \| commitdiff \| tree \| snapshot
2023-07-11	Mark	use indexing functions to set num_cells in allocate_and...	commit \| commitdiff \| tree \| snapshot
2023-07-10	Mark	clean commented code from disjuncts.rs	commit \| commitdiff \| tree \| snapshot
2023-07-09	Mark	remove errant debug_hook from read_and_match	commit \| commitdiff \| tree \| snapshot
2023-07-09	Markus Triska	DOC: new section on applications of Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2023-07-09	Markus Triska	correct \\ to \, addressing #1865	commit \| commitdiff \| tree \| snapshot
2023-07-09	Mark	refine EOF handling more (#1873)	commit \| commitdiff \| tree \| snapshot
2023-07-09	Mark	refine EOF handling	commit \| commitdiff \| tree \| snapshot
2023-07-09	Mark	follow EOF action after open_parsing_stream in get_char...	commit \| commitdiff \| tree \| snapshot
2023-07-08	Mark	clarify EOF error across stream types and predicates...	commit \| commitdiff \| tree \| snapshot
2023-07-08	Mark Thom	Merge pull request #1869 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-07-08	Markus Triska	print version more readably, addressing #1868	commit \| commitdiff \| tree \| snapshot
2023-07-07	Mark	treat unexpected EOF as incomplete reduction in bracket...	commit \| commitdiff \| tree \| snapshot
2023-07-07	Mark	interpret '\u{0}' as end_of_file in get_char/1	commit \| commitdiff \| tree \| snapshot
2023-07-07	Mark	add stream alias processing to atom_chars/2, atom_codes/2	commit \| commitdiff \| tree \| snapshot
2023-07-06	Mark Thom	Merge pull request #1832 from aarroyoc/http-fixes	commit \| commitdiff \| tree \| snapshot
2023-07-06	Mark	add stream alias check to atom/1 (#1855)	commit \| commitdiff \| tree \| snapshot
2023-07-06	Mark	add scc_block to MachineState to avoid SCC cleanup...	commit \| commitdiff \| tree \| snapshot
2023-07-06	Mark	correct heap_print.rs tests	commit \| commitdiff \| tree \| snapshot
2023-07-05	Mark	shrink scope of control_entry_point catch, add CutPoint...	commit \| commitdiff \| tree \| snapshot
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	Adrián Arroyo...	Multiple fixes for http libraries	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom