Repositorios git - scryer-prolog.git/shortlog

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

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
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom