Repositorios git - scryer-prolog.git/shortlog

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

2019-04-28	Mark Thom	address issues #121 - #123	commit \| commitdiff \| tree \| snapshot
2019-04-27	Mark Thom	re: issue #120	commit \| commitdiff \| tree \| snapshot
2019-04-26	Mark Thom	printer: abbreviate lists with \|	commit \| commitdiff \| tree \| snapshot
2019-04-26	Mark Thom	use ellipses to indicate infinite terms in printer	commit \| commitdiff \| tree \| snapshot
2019-04-26	Mark Thom	re: issue #118	commit \| commitdiff \| tree \| snapshot
2019-04-25	Mark Thom	address issues #114, #115	commit \| commitdiff \| tree \| snapshot
2019-04-25	Mark Thom	delay attributed variables goal, naively correct dif/2	commit \| commitdiff \| tree \| snapshot
2019-04-24	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-24	Mark Thom	address issues #111 and #108	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	move setup_call_cleanup/3 and call_with_inference_limit...	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	various fixes	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	use binary_pow for (^)/2	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	use binary_pow for (^)/2	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	instantiate variables in numerical comparisons	commit \| commitdiff \| tree \| snapshot
2019-04-21	Mark Thom	update prolog_parser, address conformity tests #3,...	commit \| commitdiff \| tree \| snapshot
2019-04-20	Mark Thom	address issues #104, #105, #103	commit \| commitdiff \| tree \| snapshot
2019-04-19	Mark Thom	fix conformity testing #274	commit \| commitdiff \| tree \| snapshot
2019-04-18	Mark Thom	minor fixes	commit \| commitdiff \| tree \| snapshot
2019-04-15	Mark Thom	make return_from_clause macro respect verify_attributes	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	fix conformity tests #279 and #296	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	update	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	correct prolog_parser path	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	read from streams.	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	update prolog_parser, refine bracketing tests.	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	correct conformity test #234	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	re: conformity test #181	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	re: conformity test #181	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	update README.md	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	resolve conformity test #138 (issue #52)	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	fix more conformity errors	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	correct for issues #88, #89, #90, conformity test ...	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	correct prolog_parser package	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	correct bad atom_length/2, atom_chars/2 error reporting	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	add atom_length/2, atom_chars/2, atom_codes/2	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	add current_op/3	commit \| commitdiff \| tree \| snapshot
2019-04-05	Mark Thom	remove $reify_switch	commit \| commitdiff \| tree \| snapshot
2019-04-05	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-05	Mark Thom	fix conformity errors	commit \| commitdiff \| tree \| snapshot
2019-04-04	Mark Thom	move forall/2 to non_iso, correct test cases.	commit \| commitdiff \| tree \| snapshot
2019-04-04	Mark Thom	move forall/2 to non_iso, correct test cases.	commit \| commitdiff \| tree \| snapshot
2019-04-03	Mark Thom	Merge pull request #83 from pmoura/add_forall_2_predicate	commit \| commitdiff \| tree \| snapshot
2019-04-03	Mark Thom	update parser	commit \| commitdiff \| tree \| snapshot
2019-04-03	Mark Thom	update parser to correct additional conformity errors...	commit \| commitdiff \| tree \| snapshot
2019-04-03	Paulo Moura	add de facto standard forall/2 predicate as a built...	commit \| commitdiff \| tree \| snapshot
2019-04-02	Mark Thom	pass more conformity tests	commit \| commitdiff \| tree \| snapshot
2019-04-02	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-04-02	Mark Thom	re: #80, #52	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	Merge pull request #82 from KellerFuchs/readme	commit \| commitdiff \| tree \| snapshot
2019-04-01	The Fox in...	README: Use checkboxes to track item completion in...	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	fix term_variables, add (^)/2 as an actual evaluable...	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	re: #75, #52	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	add structural tests for strings as char code lists	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	add support for char codes	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	do a better job recognizing and bracketing operators	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	clean up heap_print.rs	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	correct comma printing	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	make op/3 a predicate call from the query context	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	specially handle commas	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	add op/3 to builtin predicates	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	properly demarcate ops in dbrefs	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	re: #73	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	use can_be(list, _) in all solutions predicates	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	update writer	commit \| commitdiff \| tree \| snapshot
2019-03-29	Mark Thom	Merge pull request #70 from XVilka/patch-1	commit \| commitdiff \| tree \| snapshot
2019-03-29	Anton Kochkov	Update downcast dependency	commit \| commitdiff \| tree \| snapshot
2019-03-29	Mark Thom	pass more conformity tests	commit \| commitdiff \| tree \| snapshot
2019-03-28	Mark Thom	add db refs	commit \| commitdiff \| tree \| snapshot
2019-03-28	Mark Thom	make current_predicate/1 more general, re: #66	commit \| commitdiff \| tree \| snapshot
2019-03-27	Mark Thom	index inlined and builtin clausetypes inside a BTreeMap	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	update readline.rs crate	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	bracket RHS when necessary in variable equations	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	use updated readline	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	fix toplevel heap view	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	fix toplevel heap view	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	update tests	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	do a better job of printing integral floats.	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	print attribute goals alongside variable bindings as...	commit \| commitdiff \| tree \| snapshot
2019-03-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-03-23	Mark Thom	do not print unbound vars at toplevel	commit \| commitdiff \| tree \| snapshot
2019-03-22	Mark Thom	allow toplevel answers to be passed back as queries	commit \| commitdiff \| tree \| snapshot
2019-03-22	Mark Thom	enable an option to disable readline	commit \| commitdiff \| tree \| snapshot
2019-03-20	Mark Thom	fail if attempting dynamic transaction in term and...	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	correct register threshold calculation.	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	update readline instructions in README, dependence...	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	use readline with better build support	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	update version and README	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	set rl_startup_hook only once	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	make toplevel more consistent with answers, depend...	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	add rename-dependencies to Cargo manifest	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	update readline.rs version	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	use the updated readline.rs	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	use concrete version number for readline-rs	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom