Repositorios git - scryer-prolog.git/shortlog

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

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
2018-10-11	Mark Thom	fix DCG bugs	commit \| commitdiff \| tree \| snapshot
2018-10-10	Mark Thom	remove needless self parameter from ambiguity_check	commit \| commitdiff \| tree \| snapshot
2018-10-09	Mark Thom	smooth out ambiguity check	commit \| commitdiff \| tree \| snapshot
2018-10-09	Mark Thom	add spaces between operators when there is an ambiguity	commit \| commitdiff \| tree \| snapshot
2018-10-09	Mark Thom	add spaces between operators when there is an ambiguity	commit \| commitdiff \| tree \| snapshot
2018-10-08	Mark Thom	correct phrase/2	commit \| commitdiff \| tree \| snapshot
2018-10-08	Mark Thom	add DCG test case	commit \| commitdiff \| tree \| snapshot
2018-10-08	Mark Thom	fix bug with mark_non_var	commit \| commitdiff \| tree \| snapshot
2018-10-07	Mark Thom	term_expansion bug fixes	commit \| commitdiff \| tree \| snapshot
2018-10-07	Mark Thom	add preliminary support for DCGs.	commit \| commitdiff \| tree \| snapshot
2018-10-07	Mark Thom	remove modules properly.	commit \| commitdiff \| tree \| snapshot
2018-10-06	Mark Thom	remove need for taking code_dir	commit \| commitdiff \| tree \| snapshot
2018-10-05	Mark Thom	remove unnecessary parameter in compile_listing	commit \| commitdiff \| tree \| snapshot
2018-10-05	Mark Thom	correct code dir swapping for term_expansion	commit \| commitdiff \| tree \| snapshot
2018-10-05	Mark Thom	minor modification to lco in codegen	commit \| commitdiff \| tree \| snapshot
2018-10-05	Mark Thom	remove need to clone instructions.	commit \| commitdiff \| tree \| snapshot
2018-10-05	Mark Thom	remove need for RefCell wrapping on CodeDir	commit \| commitdiff \| tree \| snapshot
2018-10-05	Mark Thom	move atom_tbl up to Machine	commit \| commitdiff \| tree \| snapshot
2018-10-04	Mark Thom	mark term_variables type errors with blame	commit \| commitdiff \| tree \| snapshot
2018-10-04	Mark Thom	divide atom tables by module	commit \| commitdiff \| tree \| snapshot
2018-10-03	Mark Thom	remove module name from DirEntry	commit \| commitdiff \| tree \| snapshot
2018-10-01	Mark Thom	Merge pull request #58 from triska/master	commit \| commitdiff \| tree \| snapshot
2018-09-30	Markus Triska	ENHANCED: Better error handling if Type is invalid.	commit \| commitdiff \| tree \| snapshot
2018-09-28	Mark Thom	Merge pull request #57 from triska/master	commit \| commitdiff \| tree \| snapshot
2018-09-28	Markus Triska	correct can_be/2 for partial lists	commit \| commitdiff \| tree \| snapshot
2018-09-28	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-09-28	Mark Thom	add error.pl, correct numbervars/3	commit \| commitdiff \| tree \| snapshot
2018-09-27	Mark Thom	duplicate_term is now copy_term	commit \| commitdiff \| tree \| snapshot
2018-09-27	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2018-09-27	Mark Thom	move term_variables to builtins	commit \| commitdiff \| tree \| snapshot
2018-09-25	Mark Thom	add tidy_pstr_trail to neck_cut	commit \| commitdiff \| tree \| snapshot
2018-09-25	Mark Thom	add term variables	commit \| commitdiff \| tree \| snapshot
2018-09-25	Mark Thom	add more tests	commit \| commitdiff \| tree \| snapshot
2018-09-25	Mark Thom	add more tests	commit \| commitdiff \| tree \| snapshot
2018-09-25	Mark Thom	enable backtracking on partial strings	commit \| commitdiff \| tree \| snapshot
2018-09-25	Mark Thom	match on partial strings through get_list	commit \| commitdiff \| tree \| snapshot
2018-09-24	Mark Thom	partial strings are still a work in progress	commit \| commitdiff \| tree \| snapshot
2018-09-22	Mark Thom	correct numbervars	commit \| commitdiff \| tree \| snapshot
2018-09-22	Mark Thom	Merge branch 'develop'	commit \| commitdiff \| tree \| snapshot
2018-09-22	Mark Thom	add term_expansion basics	commit \| commitdiff \| tree \| snapshot
2018-09-22	Mark Thom	term_expansion beginnings	commit \| commitdiff \| tree \| snapshot
2018-09-21	Mark Thom	tighten up numbervars	commit \| commitdiff \| tree \| snapshot
2018-09-19	Mark Thom	incorporate term_expansion phase in compilation	commit \| commitdiff \| tree \| snapshot
2018-09-19	Mark Thom	stop treating copier as trait object	commit \| commitdiff \| tree \| snapshot
2018-09-18	Mark Thom	correct and load numbervars	commit \| commitdiff \| tree \| snapshot
2018-09-18	Mark Thom	restore parse_term to toplevel	commit \| commitdiff \| tree \| snapshot
2018-09-18	Mark Thom	correct ordinary input	commit \| commitdiff \| tree \| snapshot
2018-09-16	Mark Thom	correct conformity error	commit \| commitdiff \| tree \| snapshot
2018-09-16	Mark Thom	correct conformity errors	commit \| commitdiff \| tree \| snapshot
2018-09-16	Mark Thom	correct new copier bug	commit \| commitdiff \| tree \| snapshot
2018-09-16	Mark Thom	correct copier.	commit \| commitdiff \| tree \| snapshot
2018-09-16	Mark Thom	fix copier	commit \| commitdiff \| tree \| snapshot
2018-09-14	Mark Thom	correct handling of .	commit \| commitdiff \| tree \| snapshot
2018-09-14	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2018-09-14	Mark Thom	streamline inputs.	commit \| commitdiff \| tree \| snapshot
2018-09-13	Mark Thom	provisional #4	commit \| commitdiff \| tree \| snapshot
2018-09-13	Mark Thom	provisional #3	commit \| commitdiff \| tree \| snapshot
2018-09-13	Mark Thom	provisional changes #2	commit \| commitdiff \| tree \| snapshot
2018-09-13	Mark Thom	provisional changes to module insertion	commit \| commitdiff \| tree \| snapshot
2018-09-11	Mark Thom	update version number for push to crates	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom