Repositorios git - scryer-prolog.git/shortlog

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

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
2018-09-11	Mark Thom	move compile_listing body to dedicated function	commit \| commitdiff \| tree \| snapshot
2018-09-10	Mark Thom	make use of read_term in the repl	commit \| commitdiff \| tree \| snapshot
2018-09-09	Mark Thom	read modifications	commit \| commitdiff \| tree \| snapshot
2018-09-08	Mark Thom	transition to MachineCodeIndices internally	commit \| commitdiff \| tree \| snapshot
2018-09-08	Mark Thom	make partial_string callable.	commit \| commitdiff \| tree \| snapshot
2018-09-06	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2018-09-06	Mark Thom	add permission error for attempts at redefining builtin...	commit \| commitdiff \| tree \| snapshot
2018-09-06	Mark Thom	be more efficient in (,)/3 clause, correct (;)/3	commit \| commitdiff \| tree \| snapshot
2018-09-06	Mark Thom	cut properly in first (,)/3 clause	commit \| commitdiff \| tree \| snapshot
2018-09-06	Mark Thom	correct comma implementation	commit \| commitdiff \| tree \| snapshot
2018-09-05	Mark Thom	add structural tests for partial strings, rename ast.rs	commit \| commitdiff \| tree \| snapshot
2018-09-05	Mark Thom	throw the correct error if the final reduce does not...	commit \| commitdiff \| tree \| snapshot
2018-09-04	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-09-04	Mark Thom	edit README, ast, remove redundant modules	commit \| commitdiff \| tree \| snapshot
2018-09-04	Mark Thom	farm parser out to a crate, remove it as a git submodule.	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	fixes to quoted	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	correct print_var_eq bad ending check	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	properly handle character controls from ASCII to UTF...	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	properly handle character controls from ASCII to UTF...	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	do not unify partial strings unless they coincide in...	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	distinguish eq from structural_eq on strings	commit \| commitdiff \| tree \| snapshot
2018-09-03	Mark Thom	finalize support for partial strings	commit \| commitdiff \| tree \| snapshot
2018-09-02	Mark Thom	add info to README, prepare for partial strings	commit \| commitdiff \| tree \| snapshot
2018-09-01	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2018-09-01	Mark Thom	add (^) as an evaluable factor, re: #39	commit \| commitdiff \| tree \| snapshot
2018-08-31	Mark Thom	correct README	commit \| commitdiff \| tree \| snapshot
2018-08-31	Mark Thom	allow continuable strings, re: #48	commit \| commitdiff \| tree \| snapshot
2018-08-31	Mark Thom	correct get_single_quoted_item, re: #48	commit \| commitdiff \| tree \| snapshot
2018-08-30	Mark Thom	add slightly more descriptive syntax errors	commit \| commitdiff \| tree \| snapshot
2018-08-30	Mark Thom	correct printing of lists when double_quotes is set...	commit \| commitdiff \| tree \| snapshot
2018-08-30	Mark Thom	read predicate reads piecemeal data	commit \| commitdiff \| tree \| snapshot
2018-08-30	Mark Thom	split error classification	commit \| commitdiff \| tree \| snapshot
2018-08-30	Mark Thom	chars are atoms, trailing whitespace is acceptable.	commit \| commitdiff \| tree \| snapshot
2018-08-29	Mark Thom	correct README	commit \| commitdiff \| tree \| snapshot
2018-08-29	Mark Thom	correct README	commit \| commitdiff \| tree \| snapshot
2018-08-29	Mark Thom	add tests for string lists, structural equality on...	commit \| commitdiff \| tree \| snapshot
2018-08-28	Mark Thom	use reference to match on SyntaxError, re: #45	commit \| commitdiff \| tree \| snapshot
2018-08-27	Mark Thom	unify matching strings with different cursors.	commit \| commitdiff \| tree \| snapshot
2018-08-27	Mark Thom	add clean errors for read, re: #45	commit \| commitdiff \| tree \| snapshot
2018-08-26	Mark Thom	modify structural_eq_test	commit \| commitdiff \| tree \| snapshot
2018-08-25	Mark Thom	equate chars with atoms consisting of chars	commit \| commitdiff \| tree \| snapshot
2018-08-23	Mark Thom	support strings as char lists in term comparisons	commit \| commitdiff \| tree \| snapshot
2018-08-23	Mark Thom	revert is_undefined back to ref match, re: #44	commit \| commitdiff \| tree \| snapshot
2018-08-22	Mark Thom	update to handle strings as lists.	commit \| commitdiff \| tree \| snapshot
2018-08-21	Mark Thom	add string table, StringList representation	commit \| commitdiff \| tree \| snapshot
2018-08-21	Mark Thom	add StringList internal datatype	commit \| commitdiff \| tree \| snapshot
2018-08-19	Mark Thom	add some prolog flags, tabled strings	commit \| commitdiff \| tree \| snapshot
2018-08-13	Mark Thom	get rid of dynamic lookup for	commit \| commitdiff \| tree \| snapshot
2018-08-13	Mark Thom	get rid of dynamic lookup for	commit \| commitdiff \| tree \| snapshot
2018-08-10	Mark Thom	print equations lexographically by variable name, re...	commit \| commitdiff \| tree \| snapshot
2018-08-09	Mark Thom	complete call_with_inference_limit/3	commit \| commitdiff \| tree \| snapshot
2018-08-08	Mark Thom	set CWILCallPolicy count field back to private	commit \| commitdiff \| tree \| snapshot
2018-08-08	Mark Thom	add call_with_inference_limit/3	commit \| commitdiff \| tree \| snapshot
2018-08-04	Mark Thom	restore setup_call_cleanup/3	commit \| commitdiff \| tree \| snapshot
2018-08-04	Mark Thom	fail on parse error invoked by read/1	commit \| commitdiff \| tree \| snapshot
2018-07-31	Mark Thom	add proceed to inlined instructions in tail position	commit \| commitdiff \| tree \| snapshot
2018-07-30	Mark Thom	realize full cheney in copier.rs	commit \| commitdiff \| tree \| snapshot
2018-07-25	Mark Thom	preliminary read support	commit \| commitdiff \| tree \| snapshot
2018-07-25	Mark Thom	preliminary read support	commit \| commitdiff \| tree \| snapshot
2018-07-17	Mark Thom	add numbered vars to writeq	commit \| commitdiff \| tree \| snapshot
2018-07-17	Mark Thom	move print_constant logic to heap_print.rs	commit \| commitdiff \| tree \| snapshot
2018-07-15	Mark Thom	add support for quoted atoms to writeq	commit \| commitdiff \| tree \| snapshot
2018-07-12	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-07-09	Mark Thom	add tests for module resolution operator, README docume...	commit \| commitdiff \| tree \| snapshot
2018-07-08	Mark Thom	finalize the module resolution operator.	commit \| commitdiff \| tree \| snapshot
2018-07-05	Mark Thom	include builtins implicitly in every module.	commit \| commitdiff \| tree \| snapshot
2018-07-02	Mark Thom	complete trimdown of listing compilation.	commit \| commitdiff \| tree \| snapshot
2018-06-25	Mark Thom	prepare module code	commit \| commitdiff \| tree \| snapshot
2018-06-25	Mark Thom	get rid of LocalMachineCodeIndex	commit \| commitdiff \| tree \| snapshot
2018-06-25	Mark Thom	get rid of LocalMachineCodeIndex	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom