Repositorios git - scryer-prolog.git/shortlog

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

2023-09-05	Markus Triska	ENHANCED: time/1 now shows the number of inferences	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark Thom	Merge pull request #1980 from Skgland/atomtable	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark Thom	Merge pull request #1997 from triska/countall	commit \| commitdiff \| tree \| snapshot
2023-09-05	Mark	call_with_inference_limit/3 should fail if inference...	commit \| commitdiff \| tree \| snapshot
2023-09-05	Markus Triska	FIXED: documentation of countall/2 (#1976)	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	make F64Table concurency safe	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	remove locks from AtomTable	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	[WIP] move towards lockless AtomTable	commit \| commitdiff \| tree \| snapshot
2023-09-05	Markus Triska	FIXED: countall/2 for zero solutions (#1996)	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	fix `rust_beta_channel` feature	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	fix accidentally left in println!()	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	raise msrv for OnceLock support	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	add comment why blocking_write is not used	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	fix deadlock in `load_library_as_stream`	commit \| commitdiff \| tree \| snapshot
2023-09-05	Bennet Bleßmann	[WIP] fix deadlock in AtomTable::build_with	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	[WIP] make AtomTable concurrentcy ready	commit \| commitdiff \| tree \| snapshot
2023-09-05	Skgland	run cargo fmt	commit \| commitdiff \| tree \| snapshot
2023-09-04	Mark	correct inference counting over index backtracking...	commit \| commitdiff \| tree \| snapshot
2023-09-04	Mark Thom	Merge pull request #1991 from triska/discoverable_flags	commit \| commitdiff \| tree \| snapshot
2023-09-04	Mark Thom	Merge pull request #1990 from triska/clpb_max	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	FIXED: make occurs_check and answer_write_options flags...	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	update answer	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	untabify	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	remove clpb_max/1 attribute for residual goal projection	commit \| commitdiff \| tree \| snapshot
2023-09-03	Mark Thom	Merge pull request #1988 from triska/answer_write_options	commit \| commitdiff \| tree \| snapshot
2023-09-03	Mark Thom	Merge pull request #1989 from triska/mention_binaries	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	mention precompiled binaries	commit \| commitdiff \| tree \| snapshot
2023-09-03	Markus Triska	ADDED: New Prolog flag, answer_write_options.	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	Rujia Liu	32-bit system support, addressing all (at most) 4GB...	commit \| commitdiff \| tree \| snapshot
2023-08-22	Mark Thom	Merge pull request #1973 from triska/clpz	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-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	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-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-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	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