Repositorios git - scryer-prolog.git/shortlog

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

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
2018-02-15	Mark Thom	add (\=)/2.	commit \| commitdiff \| tree \| snapshot
2018-02-14	Mark Thom	add term comparison operators.	commit \| commitdiff \| tree \| snapshot
2018-02-14	Mark Thom	add term comparison operators.	commit \| commitdiff \| tree \| snapshot
2018-02-14	Mark Thom	add term comparison operators.	commit \| commitdiff \| tree \| snapshot
2018-02-13	Mark Thom	move several builtins to control.	commit \| commitdiff \| tree \| snapshot
2018-02-11	Mark Thom	fix allocator bug.	commit \| commitdiff \| tree \| snapshot
2018-02-11	Mark Thom	correct allocation bugs.	commit \| commitdiff \| tree \| snapshot
2018-02-11	Mark Thom	add eq, neq predicates.	commit \| commitdiff \| tree \| snapshot
2018-02-09	Mark Thom	correct acyclic iteration.	commit \| commitdiff \| tree \| snapshot
2018-02-09	Mark Thom	fix crashes caused by inlined optimization.	commit \| commitdiff \| tree \| snapshot
2018-02-09	Mark Thom	add ground/1.	commit \| commitdiff \| tree \| snapshot
2018-02-09	Mark Thom	minor cleanup.	commit \| commitdiff \| tree \| snapshot
2018-02-08	Mark Thom	finalize transition to CutPolicy trait object.	commit \| commitdiff \| tree \| snapshot
2018-02-07	Mark Thom	defer cut actions to cut policy trait objects.	commit \| commitdiff \| tree \| snapshot
2018-02-06	Mark Thom	fix bug in `is/2` code generation.	commit \| commitdiff \| tree \| snapshot
2018-02-06	Mark Thom	add more type predicates.	commit \| commitdiff \| tree \| snapshot
2018-02-05	Mark Thom	cosmetic touchups;	commit \| commitdiff \| tree \| snapshot
2018-02-04	Mark Thom	parse negation properly.	commit \| commitdiff \| tree \| snapshot
2018-02-04	Mark Thom	parse negation.	commit \| commitdiff \| tree \| snapshot
2018-02-03	Mark Thom	fix arg_ bug.	commit \| commitdiff \| tree \| snapshot
2018-02-03	Mark Thom	reverse builtin instructions	commit \| commitdiff \| tree \| snapshot
2018-02-02	Mark Thom	fix setup_call_cleanup bug	commit \| commitdiff \| tree \| snapshot
2018-02-02	Mark Thom	add support for setup_call_cleanup	commit \| commitdiff \| tree \| snapshot
2018-02-01	Mark Thom	clean up codegen.rs	commit \| commitdiff \| tree \| snapshot
2018-01-30	Mark Thom	add library routines for lists.	commit \| commitdiff \| tree \| snapshot
2018-01-30	Mark Thom	add batch processing.	commit \| commitdiff \| tree \| snapshot
2018-01-30	Mark Thom	prepare for batch processing	commit \| commitdiff \| tree \| snapshot
2018-01-30	Mark Thom	prepare for batch processing.	commit \| commitdiff \| tree \| snapshot
2018-01-29	Mark Thom	prepare for batch processing.	commit \| commitdiff \| tree \| snapshot
2018-01-29	Mark Thom	prepare for batch processing	commit \| commitdiff \| tree \| snapshot
2018-01-29	Mark Thom	prepare for batch processing.	commit \| commitdiff \| tree \| snapshot
2018-01-29	Mark Thom	prepare for batch processing.	commit \| commitdiff \| tree \| snapshot
2018-01-29	Mark Thom	add item to README	commit \| commitdiff \| tree \| snapshot
2018-01-28	Mark Thom	fix bug in printer over lists.	commit \| commitdiff \| tree \| snapshot
2018-01-27	Mark Thom	tighten =.. code	commit \| commitdiff \| tree \| snapshot
2018-01-27	Mark Thom	add length, =.., more tests of builtins.	commit \| commitdiff \| tree \| snapshot
2018-01-27	Mark Thom	correct marker bug, edit README.	commit \| commitdiff \| tree \| snapshot
2018-01-27	Mark Thom	disjunctions do operate correctly (so far), write more...	commit \| commitdiff \| tree \| snapshot
2018-01-27	Mark Thom	cleanup notes and sloppy formatting.	commit \| commitdiff \| tree \| snapshot
2018-01-27	Mark Thom	write tests to detect disjunction bugs	commit \| commitdiff \| tree \| snapshot
2018-01-26	Mark Thom	add more tests for builtins.	commit \| commitdiff \| tree \| snapshot
2018-01-26	Mark Thom	add tests for builtins	commit \| commitdiff \| tree \| snapshot
2018-01-25	Mark Thom	remove indirection in jmp instructions	commit \| commitdiff \| tree \| snapshot
2018-01-25	Mark Thom	add tests for conditionals	commit \| commitdiff \| tree \| snapshot
2018-01-24	Mark Thom	inline and expand conditionals whenever possible	commit \| commitdiff \| tree \| snapshot
2018-01-20	Mark Thom	update tests to properly reflect answer order.	commit \| commitdiff \| tree \| snapshot
2018-01-20	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-01-20	Mark Thom	add tests for callable is, comparisons.	commit \| commitdiff \| tree \| snapshot
2018-01-20	Mark Thom	add call support for numeric comparisons.	commit \| commitdiff \| tree \| snapshot
2018-01-19	Mark Thom	add callable `is/2`	commit \| commitdiff \| tree \| snapshot
2018-01-19	Mark Thom	clean up arithmetic.rs	commit \| commitdiff \| tree \| snapshot
2018-01-18	Mark Thom	move instruction increment	commit \| commitdiff \| tree \| snapshot
2018-01-18	Mark Thom	abstract out iterator for arithmetic terms.	commit \| commitdiff \| tree \| snapshot
2018-01-18	Mark Thom	change arithmetic evaluation iterator to new target...	commit \| commitdiff \| tree \| snapshot
2018-01-17	Mark Thom	add an atom table.	commit \| commitdiff \| tree \| snapshot
2018-01-17	Mark Thom	expand remaining tests.	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom