Repositorios git - scryer-prolog.git/shortlog

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

2017-03-11	Mark Thom	transition to prolog	commit \| commitdiff \| tree \| snapshot
2017-03-05	Mark Thom	fix README l3_final origin/l3_final	commit \| commitdiff \| tree \| snapshot
2017-03-05	Mark Thom	fix to README	commit \| commitdiff \| tree \| snapshot
2017-03-05	Mark Thom	fix to README	commit \| commitdiff \| tree \| snapshot
2017-03-05	Mark Thom	transition to l3	commit \| commitdiff \| tree \| snapshot
2017-02-28	Mark Thom	minor tweak	commit \| commitdiff \| tree \| snapshot
2017-02-28	Mark Thom	minor tweaks.	commit \| commitdiff \| tree \| snapshot
2017-02-27	Mark Thom	remove todo	commit \| commitdiff \| tree \| snapshot
2017-02-27	Mark Thom	codegen tweak.	commit \| commitdiff \| tree \| snapshot
2017-02-26	Mark Thom	bug fixes, tests	commit \| commitdiff \| tree \| snapshot
2017-02-25	Mark Thom	codegen bug fix.	commit \| commitdiff \| tree \| snapshot
2017-02-25	Mark Thom	bug fix	commit \| commitdiff \| tree \| snapshot
2017-02-25	Mark Thom	typo fix	commit \| commitdiff \| tree \| snapshot
2017-02-25	Mark Thom	new readme examples	commit \| commitdiff \| tree \| snapshot
2017-02-25	Mark Thom	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2017-02-25	Mark Thom	fix codegen bug (marking terms in rules too eagerly)	commit \| commitdiff \| tree \| snapshot
2017-02-24	Mark Thom	add heapview, move registers to HeapCellRef	commit \| commitdiff \| tree \| snapshot
2017-02-22	Mark Thom	removed unnecessary lookup function	commit \| commitdiff \| tree \| snapshot
2017-02-22	Mark Thom	arity bug fix	commit \| commitdiff \| tree \| snapshot
2017-02-21	Mark Thom	transition to l2	commit \| commitdiff \| tree \| snapshot
2017-02-03	Mark Thom	add dumb comments l1_final origin/l1_final	commit \| commitdiff \| tree \| snapshot
2017-02-02	Mark Thom	slight polishing up, bug fixes	commit \| commitdiff \| tree \| snapshot
2017-02-02	Mark Thom	bug fixes	commit \| commitdiff \| tree \| snapshot
2017-01-29	Mark Thom	use CompiledFact in machine.rs	commit \| commitdiff \| tree \| snapshot
2017-01-28	Mark Thom	codegen bug fix.	commit \| commitdiff \| tree \| snapshot
2017-01-28	Mark Thom	transition to l1	commit \| commitdiff \| tree \| snapshot
2017-01-28	Mark Thom	fix unification bugs. l0_final origin/l0_final	commit \| commitdiff \| tree \| snapshot
2017-01-22	Mark Thom	remove unnecessary Sized trait on CompilationTarget	commit \| commitdiff \| tree \| snapshot
2017-01-22	Mark Thom	streamline code generation with iterators and traits	commit \| commitdiff \| tree \| snapshot
2016-12-26	Mark Thom	cosmetic changes.	commit \| commitdiff \| tree \| snapshot
2016-12-18	Mark Thom	remove unnecessary lifetime.	commit \| commitdiff \| tree \| snapshot
2016-12-02	Mark Thom	use references when executing instructions, not moves.	commit \| commitdiff \| tree \| snapshot
2016-10-31	Mark Thom	fixes to binding.	commit \| commitdiff \| tree \| snapshot
2016-10-31	Mark Thom	remove Term impl	commit \| commitdiff \| tree \| snapshot
2016-10-30	Mark Thom	codegen fix	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	codegen fixes	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	update	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	add linebreaks	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	add linebreaks	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	add linebreaks	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	add linebreaks	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	add linebreaks	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	add linebreaks	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	Initial commit.	commit \| commitdiff \| tree \| snapshot
2016-10-29	Mark Thom	Initial commit	commit \| commitdiff \| tree \| snapshot

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom