Repositorios git - scryer-prolog.git/shortlog

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

2019-02-23	Mark Thom	add findall/4, bagof/3, setof/3	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	properly report deterministically successful queries	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	use acyclic iteration when projecting onto query vars	commit \| commitdiff \| tree \| snapshot
2019-02-22	Mark Thom	add findall/3	commit \| commitdiff \| tree \| snapshot
2019-02-21	Mark Thom	change project_attributes to use attribute vars queue	commit \| commitdiff \| tree \| snapshot
2019-02-20	Mark Thom	remove clone from unwind_trail in copier.rs	commit \| commitdiff \| tree \| snapshot
2019-02-20	Mark Thom	refactor parts of machine_state_impl.rs that consume...	commit \| commitdiff \| tree \| snapshot
2019-02-20	Mark Thom	refactor copier.rs	commit \| commitdiff \| tree \| snapshot
2019-02-19	Mark Thom	add call_residue_vars/2	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	sort attribute goals before deduplicating them linearly	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	do not count calls to $reify_switch as inferences	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	ensure stdin is not being locked more than once	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	fix term expansion bug	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	add library(reif)	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	cleanup accessors, various other things	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	polish freeze.pl and dif.pl	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	correct attribute_goals/2 bug, add freeze/2, update...	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	correct attribute_goals/2 bug, add freeze/2, update...	commit \| commitdiff \| tree \| snapshot
2019-02-15	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-02-15	Mark Thom	correct project_attributes, correct compare_term_test...	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	fix needless check in dif/2 implementation	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	fix bug in dif/2 implementation	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	remove extraneous [ from dif.pl	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	fix attribute_goals/2 display bugs, cycle detection bug	commit \| commitdiff \| tree \| snapshot
2019-02-13	Mark Thom	prepare to add project_attributes/2 and attribute_goals/2	commit \| commitdiff \| tree \| snapshot
2019-02-13	Mark Thom	call verify_attributes/3 once per module	commit \| commitdiff \| tree \| snapshot
2019-02-12	Mark Thom	fix attributed variables dealing with NeckCut on return	commit \| commitdiff \| tree \| snapshot
2019-02-12	Mark Thom	bracket verify_attributes/3 interrupts with allocation...	commit \| commitdiff \| tree \| snapshot
2019-02-10	Mark Thom	correct and update README	commit \| commitdiff \| tree \| snapshot
2019-02-10	Mark Thom	correct and update README	commit \| commitdiff \| tree \| snapshot
2019-02-10	Mark Thom	cut when finished verify_attributes/3 calls	commit \| commitdiff \| tree \| snapshot
2019-02-09	Mark Thom	correct error catching in call_verify_attributes/4	commit \| commitdiff \| tree \| snapshot
2019-02-09	Mark Thom	call goals in one batch after rebinding variables,...	commit \| commitdiff \| tree \| snapshot
2019-02-09	Mark Thom	correct bugs in verify_attributes handling	commit \| commitdiff \| tree \| snapshot
2019-02-08	Mark Thom	add preliminary support for verify_attributes/3	commit \| commitdiff \| tree \| snapshot
2019-02-07	Mark Thom	add verify_attributes driver code	commit \| commitdiff \| tree \| snapshot
2019-02-07	Mark Thom	flatten CompiledQuery and CompiledFact in Code, remove...	commit \| commitdiff \| tree \| snapshot
2019-02-06	Mark Thom	correct misspelled AttrVar in copier.rs	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	properly copy already-copied attributed variables as...	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	add support for copying attributed variables in copy_term	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	add support for copying attributed variables in copy_term	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	add support for copying attributed variables in copy_term	commit \| commitdiff \| tree \| snapshot
2019-02-04	Mark Thom	use bind to write constants to variables	commit \| commitdiff \| tree \| snapshot
2019-02-03	Mark Thom	copy attribute list in get_atts	commit \| commitdiff \| tree \| snapshot
2019-02-03	Mark Thom	introduce a better binding scheme for attributed variables	commit \| commitdiff \| tree \| snapshot
2019-02-03	Mark Thom	fix bug in DeleteAttribute	commit \| commitdiff \| tree \| snapshot
2019-02-02	Mark Thom	record perm vars only while resident stack frame is...	commit \| commitdiff \| tree \| snapshot
2019-02-02	Mark Thom	add Addr::AttVar to address ordering	commit \| commitdiff \| tree \| snapshot
2019-02-02	Mark Thom	expand goals in queries and queues	commit \| commitdiff \| tree \| snapshot
2019-01-31	Mark Thom	fix Cargo.toml	commit \| commitdiff \| tree \| snapshot
2019-01-31	Mark Thom	add atts.pl, various fixes	commit \| commitdiff \| tree \| snapshot
2019-01-27	Mark Thom	add AttrVar variant to Addr	commit \| commitdiff \| tree \| snapshot
2019-01-27	Mark Thom	add TrailRef type for trail	commit \| commitdiff \| tree \| snapshot
2019-01-26	Mark Thom	flatten bracketed commas in dcgs	commit \| commitdiff \| tree \| snapshot
2019-01-25	Mark Thom	fix unsafe variable handling	commit \| commitdiff \| tree \| snapshot
2019-01-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-01-23	Mark Thom	fix printer	commit \| commitdiff \| tree \| snapshot
2019-01-23	Mark Thom	prepare for improved (?) ambiguity checks	commit \| commitdiff \| tree \| snapshot
2019-01-21	Mark Thom	prepare to add bracketing conditions to heap_print	commit \| commitdiff \| tree \| snapshot
2019-01-20	Mark Thom	add op info to structures and atoms	commit \| commitdiff \| tree \| snapshot
2019-01-20	Mark Thom	clone in situ compiled terms	commit \| commitdiff \| tree \| snapshot
2019-01-17	Mark Thom	fix setup_hook	commit \| commitdiff \| tree \| snapshot
2019-01-17	Mark Thom	delete trailing whitespace in compile.rs	commit \| commitdiff \| tree \| snapshot
2019-01-17	Mark Thom	drop_expansions whenever a compilation error occurs	commit \| commitdiff \| tree \| snapshot
2019-01-16	Mark Thom	clear out expansions from code_repo if code entry fails	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	add dynamic module resolution calls	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	add module-level goal_expansion and term_expansion	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	add read support for user:term_expansion and user:goal_...	commit \| commitdiff \| tree \| snapshot
2019-01-04	Mark Thom	do not add expansions behind module boundaries until...	commit \| commitdiff \| tree \| snapshot
2018-12-28	Mark Thom	correct write_canonical/2 bug	commit \| commitdiff \| tree \| snapshot
2018-12-23	Mark Thom	fix unification on string lists.	commit \| commitdiff \| tree \| snapshot
2018-12-20	Mark Thom	fix ambiguity_check	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	make insert_from_end work correctly	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	correct space formatting in heap_print	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	eliminate ambiguity check on structs with non-zero...	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	convert append to push_char when applicable	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	remove lifetime on ReverseHeapVarDict	commit \| commitdiff \| tree \| snapshot
2018-12-15	Mark Thom	correct non-termination of expand_goal and expand_term	commit \| commitdiff \| tree \| snapshot
2018-12-15	Mark Thom	correct non-termination of expand_goal and expand_term	commit \| commitdiff \| tree \| snapshot
2018-12-14	Mark Thom	fix expand_goal and expand_term	commit \| commitdiff \| tree \| snapshot
2018-12-12	Mark Thom	add expand_goal, make user:term_expansion and user...	commit \| commitdiff \| tree \| snapshot
2018-12-11	Mark Thom	remove Option wrapper from cached_query	commit \| commitdiff \| tree \| snapshot
2018-12-09	Mark Thom	add support for user:goal_expansion	commit \| commitdiff \| tree \| snapshot
2018-12-02	Mark Thom	remove needless result type in try_expand_term	commit \| commitdiff \| tree \| snapshot
2018-11-19	Mark Thom	offset variable indexing for semi-context notations	commit \| commitdiff \| tree \| snapshot
2018-11-16	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2018-11-16	Mark Thom	fix faulty tidy_trail	commit \| commitdiff \| tree \| snapshot
2018-10-28	Mark Thom	update dcgs to handle ; and ->	commit \| commitdiff \| tree \| snapshot
2018-10-25	Mark Thom	fix tests	commit \| commitdiff \| tree \| snapshot
2018-10-25	Mark Thom	use proper range notation	commit \| commitdiff \| tree \| snapshot
2018-10-24	Mark Thom	stop write_canonical from printing numbervars.	commit \| commitdiff \| tree \| snapshot
2018-10-24	Mark Thom	add write variants	commit \| commitdiff \| tree \| snapshot
2018-10-21	Mark Thom	make lists parse properly when used as dcg rules	commit \| commitdiff \| tree \| snapshot
2018-10-18	Mark Thom	fix conformity errors	commit \| commitdiff \| tree \| snapshot
2018-10-16	Mark Thom	fix semicontext notation	commit \| commitdiff \| tree \| snapshot
2018-10-16	Mark Thom	correctly handle anonymous variables when reading	commit \| commitdiff \| tree \| snapshot
2018-10-16	Mark Thom	correctly handle anonymous variables when reading	commit \| commitdiff \| tree \| snapshot
2018-10-16	Mark Thom	add expand_term/2	commit \| commitdiff \| tree \| snapshot
2018-10-16	Mark Thom	add expand_term/2	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom