Repositorios git - scryer-prolog.git/shortlog

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

2017-12-24	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2017-12-24	Mark Thom	add beginning support for ',', ';', '->'	commit \| commitdiff \| tree \| snapshot
2017-12-22	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-12-22	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-12-22	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-12-11	Mark Thom	correct with_capacity function in Heap ADT	commit \| commitdiff \| tree \| snapshot
2017-12-11	Mark Thom	add to README	commit \| commitdiff \| tree \| snapshot
2017-12-10	Mark Thom	update README, heap ADT	commit \| commitdiff \| tree \| snapshot
2017-12-10	Mark Thom	is_call and is_execute are jump instructions.	commit \| commitdiff \| tree \| snapshot
2017-12-10	Mark Thom	bug fixes on LCO, backtracking.	commit \| commitdiff \| tree \| snapshot
2017-12-09	Mark Thom	don't truly truncate the heap.	commit \| commitdiff \| tree \| snapshot
2017-12-09	Mark Thom	don't truly truncate the heap.	commit \| commitdiff \| tree \| snapshot
2017-12-05	Mark Thom	inline comparison instructions.	commit \| commitdiff \| tree \| snapshot
2017-12-04	Mark Thom	update README, toplevel parsing for comparison operators.	commit \| commitdiff \| tree \| snapshot
2017-12-04	Mark Thom	add support for comparison operators.	commit \| commitdiff \| tree \| snapshot
2017-12-03	Mark Thom	coerce rationals to floats before coercing floats to...	commit \| commitdiff \| tree \| snapshot
2017-12-03	Mark Thom	tweak README	commit \| commitdiff \| tree \| snapshot
2017-12-03	Mark Thom	tweak README	commit \| commitdiff \| tree \| snapshot
2017-12-03	Mark Thom	correct README	commit \| commitdiff \| tree \| snapshot
2017-12-03	Mark Thom	add bitwise and modular operations.	commit \| commitdiff \| tree \| snapshot
2017-12-02	Mark Thom	extend false cases for is	commit \| commitdiff \| tree \| snapshot
2017-12-02	Mark Thom	add support for rational numbers, division.	commit \| commitdiff \| tree \| snapshot
2017-11-16	Mark Thom	,	commit \| commitdiff \| tree \| snapshot
2017-11-13	Mark Thom	remove is from inlined terms.	commit \| commitdiff \| tree \| snapshot
2017-11-13	Mark Thom	separate handling of inlined query terms.	commit \| commitdiff \| tree \| snapshot
2017-11-13	Mark Thom	add register marking for non-callable/inlined predicates.	commit \| commitdiff \| tree \| snapshot
2017-11-12	Mark Thom	simply post order iterators.	commit \| commitdiff \| tree \| snapshot
2017-11-12	Mark Thom	eliminate QueryTermRef.	commit \| commitdiff \| tree \| snapshot
2017-11-12	Mark Thom	get rid of chunked iterators for facts.	commit \| commitdiff \| tree \| snapshot
2017-11-12	Mark Thom	remove QueryTermRef from Allocator	commit \| commitdiff \| tree \| snapshot
2017-11-11	Mark Thom	reuse defunct AND stack frames.	commit \| commitdiff \| tree \| snapshot
2017-11-09	Mark Thom	remove Div for ast.rs	commit \| commitdiff \| tree \| snapshot
2017-11-07	Mark Thom	fix arithmetic bugs.	commit \| commitdiff \| tree \| snapshot
2017-11-07	Mark Thom	clean up atomic and var code.	commit \| commitdiff \| tree \| snapshot
2017-11-06	Mark Thom	pass binding info to arithmetic evaluator	commit \| commitdiff \| tree \| snapshot
2017-11-06	Mark Thom	instantiated vars in arithmetic exprs	commit \| commitdiff \| tree \| snapshot
2017-11-06	Mark Thom	correct README	commit \| commitdiff \| tree \| snapshot
2017-11-06	Mark Thom	add provisions for arithmetic support.	commit \| commitdiff \| tree \| snapshot
2017-11-04	Mark Thom	proceed is a jump instruction	commit \| commitdiff \| tree \| snapshot
2017-11-04	Mark Thom	add proceed to close out inlined atomic and var	commit \| commitdiff \| tree \| snapshot
2017-11-04	Mark Thom	record places after inline instrs	commit \| commitdiff \| tree \| snapshot
2017-11-04	Mark Thom	inline atomic and var	commit \| commitdiff \| tree \| snapshot
2017-11-04	Mark Thom	inline atomic and var.	commit \| commitdiff \| tree \| snapshot
2017-11-02	Mark Thom	fix incorrect handling of terminal cuts.	commit \| commitdiff \| tree \| snapshot
2017-09-16	Mark Thom	fix indexing bug on anonvars.	commit \| commitdiff \| tree \| snapshot
2017-09-11	Mark Thom	update parser.	commit \| commitdiff \| tree \| snapshot
2017-09-07	Mark Thom	correct README	commit \| commitdiff \| tree \| snapshot
2017-09-07	Mark Thom	finalize operator support.	commit \| commitdiff \| tree \| snapshot
2017-09-06	Mark Thom	transition to the operator precedence parser.	commit \| commitdiff \| tree \| snapshot
2017-09-05	Mark Thom	add control operators.	commit \| commitdiff \| tree \| snapshot
2017-08-18	Mark Thom	add exception error prelude.	commit \| commitdiff \| tree \| snapshot
2017-08-18	Mark Thom	add top level exception reporting, exceptions for call/N.	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	tweak README	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	tweak README	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	change ; over to SPACE	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	remove finished TODO	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	correct throw omission in README	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	bug fixes.	commit \| commitdiff \| tree \| snapshot
2017-08-15	Mark Thom	adjust for nested throws.	commit \| commitdiff \| tree \| snapshot
2017-08-14	Mark Thom	remove diagnostic message	commit \| commitdiff \| tree \| snapshot
2017-08-14	Mark Thom	add tests, update status.	commit \| commitdiff \| tree \| snapshot
2017-08-14	Mark Thom	generalize has_null_ball	commit \| commitdiff \| tree \| snapshot
2017-08-14	Mark Thom	cleanup code generation, add throw/catch, copy_term...	commit \| commitdiff \| tree \| snapshot
2017-08-05	Mark Thom	tweak codegen	commit \| commitdiff \| tree \| snapshot
2017-08-04	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-08-03	Mark Thom	add tests, remove extraneous instructions.	commit \| commitdiff \| tree \| snapshot
2017-08-03	Mark Thom	add tests.	commit \| commitdiff \| tree \| snapshot
2017-08-03	Mark Thom	remove print_code calls	commit \| commitdiff \| tree \| snapshot
2017-08-03	Mark Thom	fix faulty chunking on call/N.	commit \| commitdiff \| tree \| snapshot
2017-08-02	Mark Thom	clean up support for recursive calls, add support for...	commit \| commitdiff \| tree \| snapshot
2017-07-28	Mark Thom	fix recursive calls to call/N	commit \| commitdiff \| tree \| snapshot
2017-06-25	Mark Thom	add support for embedded calls (syntax)	commit \| commitdiff \| tree \| snapshot
2017-05-29	Mark Thom	add more tests	commit \| commitdiff \| tree \| snapshot
2017-05-26	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-05-26	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-05-26	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2017-05-26	Mark Thom	add tests, add to README.	commit \| commitdiff \| tree \| snapshot
2017-05-25	Mark Thom	evacuate arguments on overwrite.	commit \| commitdiff \| tree \| snapshot
2017-05-25	Mark Thom	add tests	commit \| commitdiff \| tree \| snapshot
2017-05-25	Mark Thom	remove diagnostic calls	commit \| commitdiff \| tree \| snapshot
2017-05-25	Mark Thom	support call/N	commit \| commitdiff \| tree \| snapshot
2017-05-17	Mark Thom	..	commit \| commitdiff \| tree \| snapshot
2017-05-17	Mark Thom	correct formatting bugs	commit \| commitdiff \| tree \| snapshot
2017-05-17	Mark Thom	refine code generation, scale back unsafe variable...	commit \| commitdiff \| tree \| snapshot
2017-05-17	Mark Thom	add (non)-deterministic REPL demarcations	commit \| commitdiff \| tree \| snapshot
2017-05-16	Mark Thom	add unwrap to var lookup in fixtures	commit \| commitdiff \| tree \| snapshot
2017-05-10	Mark Thom	remove dead code	commit \| commitdiff \| tree \| snapshot
2017-05-10	Mark Thom	code cleanup	commit \| commitdiff \| tree \| snapshot
2017-05-09	Mark Thom	add top level declarative structure	commit \| commitdiff \| tree \| snapshot
2017-05-08	Mark Thom	cleanup of run_query	commit \| commitdiff \| tree \| snapshot
2017-05-07	Mark Thom	add support for conjunctive queries.	commit \| commitdiff \| tree \| snapshot
2017-05-01	Mark Thom	refine *_void emission"	commit \| commitdiff \| tree \| snapshot
2017-05-01	Mark Thom	fix formatting	commit \| commitdiff \| tree \| snapshot
2017-05-01	Mark Thom	fix void instrs	commit \| commitdiff \| tree \| snapshot
2017-04-30	Mark Thom	tweak head check	commit \| commitdiff \| tree \| snapshot
2017-04-30	Mark Thom	transition to debray allocation	commit \| commitdiff \| tree \| snapshot
2017-04-29	Mark Thom	add fixtures	commit \| commitdiff \| tree \| snapshot
2017-04-29	Mark Thom	prep for debray allocation	commit \| commitdiff \| tree \| snapshot
2017-04-18	Mark Thom	minor tweaks.	commit \| commitdiff \| tree \| snapshot
2017-04-16	Mark Thom	more codegen tweaks.	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom