Repositorios git - scryer-prolog.git/shortlog

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

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
2017-04-10	Mark Thom	adjust register allocation around cut	commit \| commitdiff \| tree \| snapshot
2017-04-10	Mark Thom	optimized up to chapter 6	commit \| commitdiff \| tree \| snapshot
2017-04-09	Mark Thom	tidying up	commit \| commitdiff \| tree \| snapshot
2017-03-30	Mark Thom	remove spurious Into instance	commit \| commitdiff \| tree \| snapshot
2017-03-30	Mark Thom	optimized up to section 5.11	commit \| commitdiff \| tree \| snapshot
2017-03-26	Mark Thom	slight tweaks.	commit \| commitdiff \| tree \| snapshot
2017-03-25	Mark Thom	correct register overallocation	commit \| commitdiff \| tree \| snapshot
2017-03-25	Mark Thom	remove print debug	commit \| commitdiff \| tree \| snapshot
2017-03-25	Mark Thom	optimized up to section 5.10	commit \| commitdiff \| tree \| snapshot
2017-03-23	Mark Thom	optimizations up to section 5.8	commit \| commitdiff \| tree \| snapshot
2017-03-23	Mark Thom	optimizations up to section 5.7.	commit \| commitdiff \| tree \| snapshot
2017-03-23	Mark Thom	optimizations	commit \| commitdiff \| tree \| snapshot
2017-03-11	Mark Thom	fix README	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom