Repositorios git - scryer-prolog.git/shortlog

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

2023-08-24	Nicolas Luck	Revert "Enable multiple Machines per process by having...	commit \| commitdiff \| tree \| snapshot
2023-08-24	Nicolas Luck	Fix parsing of floats	commit \| commitdiff \| tree \| snapshot
2023-08-23	Nicolas Luck	Enable multiple Machines per process by having ATOM_TAB...	commit \| commitdiff \| tree \| snapshot
2023-08-22	Nicolas Luck	Fix list result parsing	commit \| commitdiff \| tree \| snapshot
2023-08-08	Fayeed Pawaskar	Fixed libffi dep	commit \| commitdiff \| tree \| snapshot
2023-08-08	Fayeed Pawaskar	Updated hyper to 1.0.0-rc.4	commit \| commitdiff \| tree \| snapshot
2023-08-07	Nicolas Luck	Ignore stress test because it fails on windows	commit \| commitdiff \| tree \| snapshot
2023-08-07	Nicolas Luck	Remove unused toplevel predicate	commit \| commitdiff \| tree \| snapshot
2023-08-07	Nicolas Luck	Use new `double_quotes` write-option	commit \| commitdiff \| tree \| snapshot
2023-08-07	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
2023-08-06	Mark	shed CodeIndex for control predicates in disjuncts...	commit \| commitdiff \| tree \| snapshot
2023-08-05	Mark	retract discontiguous non-multifile predicates between...	commit \| commitdiff \| tree \| snapshot
2023-08-04	Mark Thom	Merge pull request #1950 from triska/chars_si	commit \| commitdiff \| tree \| snapshot
2023-08-04	Markus Triska	ENHANCED: more efficient chars_si/1, using specialized...	commit \| commitdiff \| tree \| snapshot
2023-08-04	Mark Thom	Merge pull request #1948 from triska/chars_si	commit \| commitdiff \| tree \| snapshot
2023-08-03	Markus Triska	add character_si/1 and use it to correct chars_si/1	commit \| commitdiff \| tree \| snapshot
2023-08-03	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
2023-08-03	Nicolas Luck	Integration stress test showing Machine blocking on...	commit \| commitdiff \| tree \| snapshot
2023-08-03	Nicolas Luck	Remove some unused code from lib_toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-08-03	Joshua Parkin	dont spawn a runtime in machine; inherit from outside...	commit \| commitdiff \| tree \| snapshot
2023-08-03	Mark	allocate negator results in arena (#1898)	commit \| commitdiff \| tree \| snapshot
2023-08-02	Mark Thom	Merge pull request #1943 from triska/dead_skeleton	commit \| commitdiff \| tree \| snapshot
2023-08-02	Markus Triska	FIXED: do not attach constraint if the propagator is...	commit \| commitdiff \| tree \| snapshot
2023-08-02	Nicolas Luck	Deactivate some debugging outputs	commit \| commitdiff \| tree \| snapshot
2023-08-02	Nicolas Luck	Switch back to run_input_once and use duplicated write_...	commit \| commitdiff \| tree \| snapshot
2023-08-02	Nicolas Luck	Fix build	commit \| commitdiff \| tree \| snapshot
2023-07-31	Mark Thom	Merge pull request #1938 from triska/remove_auxiliary_c...	commit \| commitdiff \| tree \| snapshot
2023-07-31	Mark Thom	Merge pull request #1939 from triska/oncology_trial_design	commit \| commitdiff \| tree \| snapshot
2023-07-31	Markus Triska	better wording, applying the feedback from @dcnorris...	commit \| commitdiff \| tree \| snapshot
2023-07-31	Markus Triska	ENHANCED: forget auxiliary constraints set up by the...	commit \| commitdiff \| tree \| snapshot
2023-07-29	Mark Thom	Merge pull request #1929 from Skgland/master	commit \| commitdiff \| tree \| snapshot
2023-07-29	Bennet Bleßmann	fix spelling	commit \| commitdiff \| tree \| snapshot
2023-07-29	Bennet Bleßmann	handle atom table resize	commit \| commitdiff \| tree \| snapshot
2023-07-27	Bennet Bleßmann	detect and prevent² concurrent AtomTable use	commit \| commitdiff \| tree \| snapshot
2023-07-27	Mark Thom	Merge pull request #1927 from triska/ascii_punctuation	commit \| commitdiff \| tree \| snapshot
2023-07-27	Markus Triska	FIXED: correct handling of ascii_punctuation in char_ty...	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	Try triska's toplevel and add some debugging println!s.	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	HashSet -> BTreeSet: Make parsing or results and thus...	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	Add special case when parsing	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	Add consult that works with streams / strings in librar...	commit \| commitdiff \| tree \| snapshot
2023-07-26	Mark	simplify and correct prefix-bracket spacing in heap_pri...	commit \| commitdiff \| tree \| snapshot
2023-07-25	Mark	overwrite code indices of dynamic_undefined predicates...	commit \| commitdiff \| tree \| snapshot
2023-07-25	Mark Thom	Merge pull request #1907 from coasys/dashu	commit \| commitdiff \| tree \| snapshot
2023-07-25	Mark	track the parent operator of the current operator in...	commit \| commitdiff \| tree \| snapshot
2023-07-24	Mark	Merge branch 'dashu' of https://github.com/coasys/scrye... coasys-dashu origin/coasys-dashu	commit \| commitdiff \| tree \| snapshot
2023-07-24	Fayeed Pawaskar	updated cargo to use git	commit \| commitdiff \| tree \| snapshot
2023-07-24	Fayeed Pawaskar	Fixed warnings	commit \| commitdiff \| tree \| snapshot
2023-07-24	Fayeed Pawaskar	Fixed stackoverflow error	commit \| commitdiff \| tree \| snapshot
2023-07-24	Fayeed Pawaskar	remove rug completely	commit \| commitdiff \| tree \| snapshot
2023-07-24	Fayeed Pawaskar	fix all the move errors	commit \| commitdiff \| tree \| snapshot
2023-07-23	Mark	pop both pending redirections in format_bar_separator_o...	commit \| commitdiff \| tree \| snapshot
2023-07-23	Mark	fix list abbreviation (#1901)	commit \| commitdiff \| tree \| snapshot
2023-07-23	Mark	remove EMIT_NEWLINE (#1900)	commit \| commitdiff \| tree \| snapshot
2023-07-23	Mark	use ExitCode when halting so Drop is called, close...	commit \| commitdiff \| tree \| snapshot
2023-07-22	Mark Thom	Merge pull request #1050 from pmoura/add_float_integer_...	commit \| commitdiff \| tree \| snapshot
2023-07-22	Mark	additional write fixes, use rustyline 12.0.0 (#1876...	commit \| commitdiff \| tree \| snapshot
2023-07-22	Mark	correct max_depth option (#1876)	commit \| commitdiff \| tree \| snapshot
2023-07-22	Mark Thom	Merge pull request #1899 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-07-22	Markus Triska	remove another !/0 which is now no longer necessary...	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Dedupe machine results	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Add missing list_last_item to lib_toplevel.pl and incre...	commit \| commitdiff \| tree \| snapshot
2023-07-21	Mark	Merge branch 'add_float_integer_part_and_float_fraction... pmoura-add_float_integer_part_and_float_fractional_part_standard_functions origin/pmoura-add_float_integer_part_and_float_fractional_part_standard_functions	commit \| commitdiff \| tree \| snapshot
2023-07-21	Mark	correct max_depth option (#1876)	commit \| commitdiff \| tree \| snapshot
2023-07-21	Mark	remove now unnecessary cut in lists.pl	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Explicitly dereference pointer to avoid calling neg...	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Fix result parsing for complex string results	commit \| commitdiff \| tree \| snapshot
2023-07-21	Fayeed Pawaskar	Fixed missing functionality in dashu with their methods...	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	Add missing write_goal/3 to lib_toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	type QueryResult = Result<QueryResolution, String>	commit \| commitdiff \| tree \| snapshot
2023-07-20	Mark	improve goal expansion and (',') interpretation error...	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	Error handling	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	Don't panic when parsing results fails	commit \| commitdiff \| tree \| snapshot
2023-07-20	Mark	add log10, hyperbolic tan and inverse hyperbolic tan...	commit \| commitdiff \| tree \| snapshot
2023-07-20	Mark	add EMIT_NEWLINE to add newlines to readline input...	commit \| commitdiff \| tree \| snapshot
2023-07-19	Mark	check for unexpected EOF in get_to_eof (#1897)	commit \| commitdiff \| tree \| snapshot
2023-07-18	Mark	dereference TermWriteResult variables sooner in read_te...	commit \| commitdiff \| tree \| snapshot
2023-07-18	Mark	remove failing append choicepoint in atom_concat/3...	commit \| commitdiff \| tree \| snapshot
2023-07-18	Mark Thom	Merge pull request #1885 from mthom/setof_bagof_fixes	commit \| commitdiff \| tree \| snapshot
2023-07-18	Mark	call write_read_term_options if read_term_from_chars...	commit \| commitdiff \| tree \| snapshot
2023-07-18	Mark	catch errors thrown from tabling Worker (#1526, #1888)	commit \| commitdiff \| tree \| snapshot
2023-07-17	Mark	remove read/{1,2} as a builtin, write read options...	commit \| commitdiff \| tree \| snapshot
2023-07-17	Mark	add specialized EOF handling for user input (#1892)	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	Add back newline at end of toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	Add back all needed predicates to lib_toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	Use lib constructor in lib tests	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	fmt machine/parsed_results.rs	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	WIP: refactor to generalize Machine::run_top_level()	commit \| commitdiff \| tree \| snapshot
2023-07-17	Mark	Merge branch 'read_term_eof_changes'	commit \| commitdiff \| tree \| snapshot
2023-07-17	Mark	omit anonymous variables from read_term variable_names...	commit \| commitdiff \| tree \| snapshot
2023-07-17	Mark	do a better job handling EOF in read_term (#1887)	commit \| commitdiff \| tree \| snapshot
2023-07-17	Mark	print strings in tails of lists (#1890)	commit \| commitdiff \| tree \| snapshot
2023-07-17	Fayeed Pawaskar	wip dashu move	commit \| commitdiff \| tree \| snapshot
2023-07-16	Mark Thom	Merge pull request #1891 from triska/initialization_goals	commit \| commitdiff \| tree \| snapshot
2023-07-16	Markus Triska	ENHANCED: use newly available read_term_from_chars...	commit \| commitdiff \| tree \| snapshot
2023-07-16	Mark	re-factor options handling of read_term into read_term_...	commit \| commitdiff \| tree \| snapshot
2023-07-16	Mark	generalize simple goal detection to fix call/N test...	commit \| commitdiff \| tree \| snapshot
2023-07-15	Mark	add read_term_from_chars/3 (#637)	commit \| commitdiff \| tree \| snapshot
2023-07-15	Mark	use double_quotes in write_error (#1886)	commit \| commitdiff \| tree \| snapshot
2023-07-15	Mark	add is_inbuilt check to err_on_builtin_overwrite (...	commit \| commitdiff \| tree \| snapshot
2023-07-15	Mark	eliminate call_with_inference_limit/3 leaks (#1300)	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom