Repositorios git - scryer-prolog.git/shortlog

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

2018-01-16	Mark Thom	add tests on lists	commit \| commitdiff \| tree \| snapshot
2018-01-16	Mark Thom	add cut tests	commit \| commitdiff \| tree \| snapshot
2018-01-16	Mark Thom	start adding output checks to test	commit \| commitdiff \| tree \| snapshot
2018-01-16	Mark Thom	correct formatting on heap_print	commit \| commitdiff \| tree \| snapshot
2018-01-16	Mark Thom	abstract Outputter of heap_print	commit \| commitdiff \| tree \| snapshot
2018-01-15	Mark Thom	remove preliminary file	commit \| commitdiff \| tree \| snapshot
2018-01-15	Mark Thom	fix duplicate_term bug	commit \| commitdiff \| tree \| snapshot
2018-01-15	Mark Thom	add display predicate	commit \| commitdiff \| tree \| snapshot
2018-01-15	Mark Thom	mark structures with their fixity	commit \| commitdiff \| tree \| snapshot
2018-01-15	Mark Thom	print ops properly.	commit \| commitdiff \| tree \| snapshot
2018-01-14	Mark Thom	remove commented out print_term	commit \| commitdiff \| tree \| snapshot
2018-01-14	Mark Thom	remove commented out print_term	commit \| commitdiff \| tree \| snapshot
2018-01-14	Mark Thom	refactor heapview	commit \| commitdiff \| tree \| snapshot
2018-01-13	Mark Thom	update token type	commit \| commitdiff \| tree \| snapshot
2018-01-12	Mark Thom	move MachineState to a submodule	commit \| commitdiff \| tree \| snapshot
2018-01-12	Mark Thom	another big refactor	commit \| commitdiff \| tree \| snapshot
2018-01-12	Mark Thom	delete needless use	commit \| commitdiff \| tree \| snapshot
2018-01-11	Mark Thom	document arg, functor, conditionals	commit \| commitdiff \| tree \| snapshot
2018-01-10	Mark Thom	transition to reference counted constants	commit \| commitdiff \| tree \| snapshot
2018-01-10	Mark Thom	claw back version number	commit \| commitdiff \| tree \| snapshot
2018-01-09	Mark Thom	add provisional functor and arg support, and give ...	commit \| commitdiff \| tree \| snapshot
2017-12-25	Mark Thom	trim down set_cp	commit \| commitdiff \| tree \| snapshot
2017-12-25	Mark Thom	correct ',', backtrack bugs	commit \| commitdiff \| tree \| snapshot
2017-12-25	Mark Thom	correction to -> offset	commit \| commitdiff \| tree \| snapshot
2017-12-25	Mark Thom	remove print_code diagnostic	commit \| commitdiff \| tree \| snapshot
2017-12-25	Mark Thom	remove Terminal, correct , bugs	commit \| commitdiff \| tree \| snapshot
2017-12-24	Mark Thom	indexing bug fixes, corrections to ,	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom