Repositorios git - scryer-prolog.git/shortlog

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

2018-05-04	Mark Thom	correct the copier's mishandling of cyclic lists	commit \| commitdiff \| tree \| snapshot
2018-05-04	Mark Thom	fix errors emitted by sort and keysort, add tests,...	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	correct sort/keysort refusing []	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	correct keysort type error (re: #34)	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	remove unnecessary store/deref in keysort error checking	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	fix keysort error detection bugs	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	add proper error messages for keysort and sort, (re...	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	add error handling appartus	commit \| commitdiff \| tree \| snapshot
2018-05-02	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty...	commit \| commitdiff \| tree \| snapshot
2018-05-02	Mark Thom	move existence_error function in machine_st_impl.rs	commit \| commitdiff \| tree \| snapshot
2018-05-01	Mark Thom	clean up detect_cycles	commit \| commitdiff \| tree \| snapshot
2018-05-01	Mark Thom	handle non-list cases in '', add '' as a built-in ...	commit \| commitdiff \| tree \| snapshot
2018-04-30	Mark Thom	add '', type checking for incomplete lists in sort...	commit \| commitdiff \| tree \| snapshot
2018-04-26	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty...	commit \| commitdiff \| tree \| snapshot
2018-04-26	Mark Thom	skip_max_list preliminaries	commit \| commitdiff \| tree \| snapshot
2018-04-25	Mark Thom	properly support module imports from within modules.	commit \| commitdiff \| tree \| snapshot
2018-04-25	Mark Thom	add other declarations properly	commit \| commitdiff \| tree \| snapshot
2018-04-23	Mark Thom	protect imported predicates from being overwritten...	commit \| commitdiff \| tree \| snapshot
2018-04-20	Mark Thom	change modules when updating code index (re: issue...	commit \| commitdiff \| tree \| snapshot
2018-04-19	Mark Thom	metacall always hashes in user (re: issue #27)	commit \| commitdiff \| tree \| snapshot
2018-04-19	Mark Thom	make module code entries immutable (re: issue #27)	commit \| commitdiff \| tree \| snapshot
2018-04-18	Mark Thom	correct-ish definition of reverse.	commit \| commitdiff \| tree \| snapshot
2018-04-18	Mark Thom	correct-ish definition of reverse.	commit \| commitdiff \| tree \| snapshot
2018-04-17	Mark Thom	add predicate existence errors for failed metacalls.	commit \| commitdiff \| tree \| snapshot
2018-04-17	Mark Thom	print characters correctly	commit \| commitdiff \| tree \| snapshot
2018-04-17	Mark Thom	add functional notation for operators.	commit \| commitdiff \| tree \| snapshot
2018-04-14	Mark Thom	update to lexer error handling.	commit \| commitdiff \| tree \| snapshot
2018-04-14	Mark Thom	fix lexer bugs.	commit \| commitdiff \| tree \| snapshot
2018-04-14	Mark Thom	update/extension to lexer, bug fixes to module importing	commit \| commitdiff \| tree \| snapshot
2018-04-10	Mark Thom	throw exception when predicate not found	commit \| commitdiff \| tree \| snapshot
2018-04-08	Mark Thom	throw exceptions when calling non-existent predicates...	commit \| commitdiff \| tree \| snapshot
2018-04-08	Mark Thom	correct mishandled blocking of cuts	commit \| commitdiff \| tree \| snapshot
2018-04-08	Mark Thom	properly handle cuts in conditionals	commit \| commitdiff \| tree \| snapshot
2018-04-07	Mark Thom	fix cut expansions, clean up code.	commit \| commitdiff \| tree \| snapshot
2018-04-07	Mark Thom	fix cut expansions.	commit \| commitdiff \| tree \| snapshot
2018-04-07	Mark Thom	incomplete cut corrections.	commit \| commitdiff \| tree \| snapshot
2018-04-05	Mark Thom	rename fabricate_predicate to fabricate_disjunct	commit \| commitdiff \| tree \| snapshot
2018-04-05	Mark Thom	add the notion of unbound variables to register allocators.	commit \| commitdiff \| tree \| snapshot
2018-04-04	Mark Thom	inline (,)/2 properly	commit \| commitdiff \| tree \| snapshot
2018-04-02	Mark Thom	limit hash lookups to metacall	commit \| commitdiff \| tree \| snapshot
2018-03-29	Mark Thom	add cyclic_term	commit \| commitdiff \| tree \| snapshot
2018-03-29	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-03-29	Mark Thom	add call support for acyclic_term	commit \| commitdiff \| tree \| snapshot
2018-03-29	Mark Thom	add acyclic term	commit \| commitdiff \| tree \| snapshot
2018-03-27	Mark Thom	remove flatten	commit \| commitdiff \| tree \| snapshot
2018-03-27	Mark Thom	add repeat	commit \| commitdiff \| tree \| snapshot
2018-03-27	Mark Thom	add flatten.	commit \| commitdiff \| tree \| snapshot
2018-03-27	Mark Thom	clean up call clause stuff.	commit \| commitdiff \| tree \| snapshot
2018-03-27	Mark Thom	clean up call clause stuff.	commit \| commitdiff \| tree \| snapshot
2018-03-24	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-03-22	Mark Thom	eliminating double counting for call_with_inference_limit.	commit \| commitdiff \| tree \| snapshot
2018-03-20	Mark Thom	remove extraneous code.	commit \| commitdiff \| tree \| snapshot
2018-03-19	Mark Thom	remove redundant code from arith_eval_by_metacall	commit \| commitdiff \| tree \| snapshot
2018-03-18	Mark Thom	correct delayed evaluation for negation, rational decls	commit \| commitdiff \| tree \| snapshot
2018-03-17	Mark Thom	remove extraneous comments.	commit \| commitdiff \| tree \| snapshot
2018-03-17	Mark Thom	refactor BuiltInInstruction	commit \| commitdiff \| tree \| snapshot
2018-03-17	Mark Thom	remove DynamicIs	commit \| commitdiff \| tree \| snapshot
2018-03-17	Mark Thom	refactor ControlInstruction	commit \| commitdiff \| tree \| snapshot
2018-03-16	Mark Thom	minor tweak to printer code	commit \| commitdiff \| tree \| snapshot
2018-03-12	Mark Thom	correct sort, keysort	commit \| commitdiff \| tree \| snapshot
2018-03-11	Mark Thom	add sort, keysort.	commit \| commitdiff \| tree \| snapshot
2018-03-10	Mark Thom	add atom predicate.	commit \| commitdiff \| tree \| snapshot
2018-03-10	Mark Thom	add is_list	commit \| commitdiff \| tree \| snapshot
2018-03-10	Mark Thom	remove b0 slot from AND stack frames.	commit \| commitdiff \| tree \| snapshot
2018-03-09	Mark Thom	further debray fix.	commit \| commitdiff \| tree \| snapshot
2018-03-09	Mark Thom	reformat io.rs	commit \| commitdiff \| tree \| snapshot
2018-03-08	Mark Thom	further allocation fixes.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Mark Thom	further allocation fixes.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Mark Thom	add queues, fix debray allocator bug.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Mark Thom	fix README	commit \| commitdiff \| tree \| snapshot
2018-03-08	Mark Thom	add error messages on failed batch entry	commit \| commitdiff \| tree \| snapshot
2018-03-06	Mark Thom	cleanup README	commit \| commitdiff \| tree \| snapshot
2018-03-06	Mark Thom	add qualified imports	commit \| commitdiff \| tree \| snapshot
2018-03-05	Mark Thom	fix README	commit \| commitdiff \| tree \| snapshot
2018-03-05	Mark Thom	correct module bugs	commit \| commitdiff \| tree \| snapshot
2018-03-05	Mark Thom	correct module bugs	commit \| commitdiff \| tree \| snapshot
2018-03-04	Mark Thom	remove module decls from toplevel when they are redeclared.	commit \| commitdiff \| tree \| snapshot
2018-03-03	Mark Thom	update README with build instructions	commit \| commitdiff \| tree \| snapshot
2018-03-03	Mark Thom	simplify heap_iter.rs	commit \| commitdiff \| tree \| snapshot
2018-03-03	Mark Thom	add provisional module support.	commit \| commitdiff \| tree \| snapshot
2018-02-28	Mark Thom	add ; key.	commit \| commitdiff \| tree \| snapshot
2018-02-27	Mark Thom	.	commit \| commitdiff \| tree \| snapshot
2018-02-27	Mark Thom	clean up compile_seq.	commit \| commitdiff \| tree \| snapshot
2018-02-26	Mark Thom	fix exception handling when thrown by throw_exception...	commit \| commitdiff \| tree \| snapshot
2018-02-26	Mark Thom	add fixes, further test cases.	commit \| commitdiff \| tree \| snapshot
2018-02-25	Mark Thom	updated blurbs	commit \| commitdiff \| tree \| snapshot
2018-02-25	Mark Thom	major refactor.	commit \| commitdiff \| tree \| snapshot
2018-02-24	Mark Thom	switch internal counts to use BigUint.	commit \| commitdiff \| tree \| snapshot
2018-02-23	Mark Thom	add more tests.	commit \| commitdiff \| tree \| snapshot
2018-02-23	Mark Thom	fix bugs in call_with_inference_limit	commit \| commitdiff \| tree \| snapshot
2018-02-23	Mark Thom	add more tests	commit \| commitdiff \| tree \| snapshot
2018-02-23	Mark Thom	add more tests	commit \| commitdiff \| tree \| snapshot
2018-02-22	Mark Thom	add compare predicate.	commit \| commitdiff \| tree \| snapshot
2018-02-22	Mark Thom	fix bugs in call_with_inference_limit	commit \| commitdiff \| tree \| snapshot
2018-02-20	Mark Thom	add call_with_inference_limit	commit \| commitdiff \| tree \| snapshot
2018-02-17	Mark Thom	set compound to succeed on non-empty lists.	commit \| commitdiff \| tree \| snapshot
2018-02-17	Mark Thom	fix compile_seq, variable printing on standalone inlines.	commit \| commitdiff \| tree \| snapshot
2018-02-16	Mark Thom	clear unintended whitespace	commit \| commitdiff \| tree \| snapshot
2018-02-16	Mark Thom	add structural equality and inequality predicates.	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom