Repositorios git - scryer-prolog.git/shortlog

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

2023-08-30	Nicolas Luck	Add back needed dep. hyper-util and upgrade hyper to rc4	commit \| commitdiff \| tree \| snapshot
2023-08-30	Nicolas Luck	Merge branch 'master' into library-use-case	commit \| commitdiff \| tree \| snapshot
2023-08-30	Nicolas Luck	WIP: Pure Rust impl. of run_query	commit \| commitdiff \| tree \| snapshot
2023-08-29	Mark	refine is/2 compilation so errors are thrown when expec...	commit \| commitdiff \| tree \| snapshot
2023-08-29	Mark	don't compile is instruction if bound to anonymous...	commit \| commitdiff \| tree \| snapshot
2023-08-28	Mark	update Cargo.toml version numbers and bump version... v0.9.2	commit \| commitdiff \| tree \| snapshot
2023-08-27	Mark Thom	Merge pull request #1978 from aarroyoc/ci-32-bits	commit \| commitdiff \| tree \| snapshot
2023-08-27	Mark Thom	Merge pull request #1979 from triska/normalize_space	commit \| commitdiff \| tree \| snapshot
2023-08-27	Adrián Arroyo...	32 bit CI for Linux	commit \| commitdiff \| tree \| snapshot
2023-08-27	Markus Triska	replace adjacent whitespace characters with a single...	commit \| commitdiff \| tree \| snapshot
2023-08-27	Markus Triska	ENHANCED: rudimentary implementation of normalize_space	commit \| commitdiff \| tree \| snapshot
2023-08-25	Mark Thom	Merge pull request #1972 from rujialiu/32-bit-support	commit \| commitdiff \| tree \| snapshot
2023-08-24	Nicolas Luck	Remove debug println!s	commit \| commitdiff \| tree \| snapshot
2023-08-24	Nicolas Luck	Cargo feature "multi_thread" for thread-local ATOM_TABL...	commit \| commitdiff \| tree \| snapshot
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-24	Rujia Liu	32-bit system support, addressing all (at most) 4GB...	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	Mark Thom	Merge pull request #1973 from triska/clpz	commit \| commitdiff \| tree \| snapshot
2023-08-22	Nicolas Luck	Fix list result parsing	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	attach more propagators before starting propagation	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	remove optional (+)/1 prefix in get_atts/2 and put_atts...	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	use pneq/2	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	enforce same queue in more constraints	commit \| commitdiff \| tree \| snapshot
2023-08-22	Markus Triska	append the entire queues instead of inserting each...	commit \| commitdiff \| tree \| snapshot
2023-08-21	Markus Triska	adapt query to Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2023-08-21	Markus Triska	update answers	commit \| commitdiff \| tree \| snapshot
2023-08-21	Markus Triska	use can_be/2	commit \| commitdiff \| tree \| snapshot
2023-08-21	Mark Thom	Merge pull request #1967 from rujialiu/optional-features	commit \| commitdiff \| tree \| snapshot
2023-08-21	Rujia Liu	Allow users to disable optional features. Needed for...	commit \| commitdiff \| tree \| snapshot
2023-08-20	Mark Thom	Merge pull request #1968 from rujialiu/atom-64bit	commit \| commitdiff \| tree \| snapshot
2023-08-20	Mark Thom	Merge pull request #1970 from triska/crrl	commit \| commitdiff \| tree \| snapshot
2023-08-20	Markus Triska	ENHANCED: more extensive type checking in curve25519_sc...	commit \| commitdiff \| tree \| snapshot
2023-08-20	Markus Triska	switch to using crrl for scalar multiplication on Curve...	commit \| commitdiff \| tree \| snapshot
2023-08-20	Rujia Liu	Make Atom 64-bit regardless of architecture	commit \| commitdiff \| tree \| snapshot
2023-08-17	Mark Thom	Merge pull request #1964 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-08-17	Markus Triska	use newly available double_quotes/1 write option in...	commit \| commitdiff \| tree \| snapshot
2023-08-14	Mark Thom	Merge pull request #1963 from triska/master	commit \| commitdiff \| tree \| snapshot
2023-08-14	Markus Triska	ENHANCED: domain error in zcompare/3 (#1723)	commit \| commitdiff \| tree \| snapshot
2023-08-12	Mark Thom	Merge pull request #1961 from triska/succ	commit \| commitdiff \| tree \| snapshot
2023-08-11	Markus Triska	reorder tests, per https://github.com/mthom/scryer...	commit \| commitdiff \| tree \| snapshot
2023-08-11	Markus Triska	ADDED: succ/2, part of the Prologue for Prolog	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom