Repositorios git - scryer-prolog.git/shortlog

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

2018-08-23	Mark Thom	support strings as char lists in term comparisons	commit \| commitdiff \| tree \| snapshot
2018-08-23	Mark Thom	revert is_undefined back to ref match, re: #44	commit \| commitdiff \| tree \| snapshot
2018-08-22	Mark Thom	update to handle strings as lists.	commit \| commitdiff \| tree \| snapshot
2018-08-21	Mark Thom	add string table, StringList representation	commit \| commitdiff \| tree \| snapshot
2018-08-21	Mark Thom	add StringList internal datatype	commit \| commitdiff \| tree \| snapshot
2018-08-19	Mark Thom	add some prolog flags, tabled strings	commit \| commitdiff \| tree \| snapshot
2018-08-13	Mark Thom	get rid of dynamic lookup for	commit \| commitdiff \| tree \| snapshot
2018-08-13	Mark Thom	get rid of dynamic lookup for	commit \| commitdiff \| tree \| snapshot
2018-08-10	Mark Thom	print equations lexographically by variable name, re...	commit \| commitdiff \| tree \| snapshot
2018-08-09	Mark Thom	complete call_with_inference_limit/3	commit \| commitdiff \| tree \| snapshot
2018-08-08	Mark Thom	set CWILCallPolicy count field back to private	commit \| commitdiff \| tree \| snapshot
2018-08-08	Mark Thom	add call_with_inference_limit/3	commit \| commitdiff \| tree \| snapshot
2018-08-04	Mark Thom	restore setup_call_cleanup/3	commit \| commitdiff \| tree \| snapshot
2018-08-04	Mark Thom	fail on parse error invoked by read/1	commit \| commitdiff \| tree \| snapshot
2018-07-31	Mark Thom	add proceed to inlined instructions in tail position	commit \| commitdiff \| tree \| snapshot
2018-07-30	Mark Thom	realize full cheney in copier.rs	commit \| commitdiff \| tree \| snapshot
2018-07-25	Mark Thom	preliminary read support	commit \| commitdiff \| tree \| snapshot
2018-07-25	Mark Thom	preliminary read support	commit \| commitdiff \| tree \| snapshot
2018-07-17	Mark Thom	add numbered vars to writeq	commit \| commitdiff \| tree \| snapshot
2018-07-17	Mark Thom	move print_constant logic to heap_print.rs	commit \| commitdiff \| tree \| snapshot
2018-07-15	Mark Thom	add support for quoted atoms to writeq	commit \| commitdiff \| tree \| snapshot
2018-07-12	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2018-07-09	Mark Thom	add tests for module resolution operator, README docume...	commit \| commitdiff \| tree \| snapshot
2018-07-08	Mark Thom	finalize the module resolution operator.	commit \| commitdiff \| tree \| snapshot
2018-07-05	Mark Thom	include builtins implicitly in every module.	commit \| commitdiff \| tree \| snapshot
2018-07-02	Mark Thom	complete trimdown of listing compilation.	commit \| commitdiff \| tree \| snapshot
2018-06-25	Mark Thom	prepare module code	commit \| commitdiff \| tree \| snapshot
2018-06-25	Mark Thom	get rid of LocalMachineCodeIndex	commit \| commitdiff \| tree \| snapshot
2018-06-25	Mark Thom	get rid of LocalMachineCodeIndex	commit \| commitdiff \| tree \| snapshot
2018-06-19	Mark Thom	prepare for changes to relocation scheme	commit \| commitdiff \| tree \| snapshot
2018-06-17	Mark Thom	prepare for updating the code_dir with each new predicate	commit \| commitdiff \| tree \| snapshot
2018-05-29	Mark Thom	reorder print_constant comments for unsupported escape...	commit \| commitdiff \| tree \| snapshot
2018-05-29	Mark Thom	print chars somewhat appropriately.	commit \| commitdiff \| tree \| snapshot
2018-05-29	Mark Thom	hacky workaround	commit \| commitdiff \| tree \| snapshot
2018-05-21	Mark Thom	get rid of spurious warning, add type error for skip_ma...	commit \| commitdiff \| tree \| snapshot
2018-05-20	Mark Thom	fix offsetting of heap in existence errors	commit \| commitdiff \| tree \| snapshot
2018-05-20	Mark Thom	add instantiation error to skip_max_list	commit \| commitdiff \| tree \| snapshot
2018-05-17	Mark Thom	correct for use in earlier releases of rust.	commit \| commitdiff \| tree \| snapshot
2018-05-17	Mark Thom	print certain atoms in single quotes.	commit \| commitdiff \| tree \| snapshot
2018-05-17	Mark Thom	use lexer macros.	commit \| commitdiff \| tree \| snapshot
2018-05-16	Mark Thom	remove no longer present items from predicate list	commit \| commitdiff \| tree \| snapshot
2018-05-16	Mark Thom	Merge branch 'develop'	commit \| commitdiff \| tree \| snapshot
2018-05-16	Mark Thom	major refactor	commit \| commitdiff \| tree \| snapshot
2018-05-15	Mark Thom	move SGC and call inference instructions over to System...	commit \| commitdiff \| tree \| snapshot
2018-05-14	Mark Thom	remove IsClause	commit \| commitdiff \| tree \| snapshot
2018-05-13	Mark Thom	add (=..)/2, arg/3	commit \| commitdiff \| tree \| snapshot
2018-05-13	Mark Thom	switch to machine implemented arg	commit \| commitdiff \| tree \| snapshot
2018-05-13	Mark Thom	parse the list functor	commit \| commitdiff \| tree \| snapshot
2018-05-13	Mark Thom	parse negative numbers properly, handle length errors...	commit \| commitdiff \| tree \| snapshot
2018-05-12	Mark Thom	correct faulty bind (two tests now fail: conjunctive_qu...	commit \| commitdiff \| tree \| snapshot
2018-05-12	Mark Thom	add arg	commit \| commitdiff \| tree \| snapshot
2018-05-12	Mark Thom	add support for callable if-then and disjunct	commit \| commitdiff \| tree \| snapshot
2018-05-11	Mark Thom	throw exception when call-ing a system instruction.	commit \| commitdiff \| tree \| snapshot
2018-05-11	Mark Thom	port remaining builtins to SystemClauseType	commit \| commitdiff \| tree \| snapshot
2018-05-11	Mark Thom	make system calls exempt from call policy.	commit \| commitdiff \| tree \| snapshot
2018-05-11	Mark Thom	add more tests that pass.	commit \| commitdiff \| tree \| snapshot
2018-05-10	Mark Thom	add catch/throw support, make exceptions and arithmetic...	commit \| commitdiff \| tree \| snapshot
2018-05-10	Mark Thom	eliminate need for embedded, handwritten WAM code.	commit \| commitdiff \| tree \| snapshot
2018-05-09	Mark Thom	shift to builtins	commit \| commitdiff \| tree \| snapshot
2018-05-08	Mark Thom	add system call preliminaries	commit \| commitdiff \| tree \| snapshot
2018-05-08	Mark Thom	system calls preliminary	commit \| commitdiff \| tree \| snapshot
2018-05-08	Mark Thom	add system call preliminaries	commit \| commitdiff \| tree \| snapshot
2018-05-07	Mark Thom	record cyclic terms in printer	commit \| commitdiff \| tree \| snapshot
2018-05-07	Mark Thom	streamline variable search in heap_print.rs	commit \| commitdiff \| tree \| snapshot
2018-05-05	Mark Thom	simplify detection of cycles in printer	commit \| commitdiff \| tree \| snapshot
2018-05-05	Mark Thom	properly handle cyclic terms in the printer.	commit \| commitdiff \| tree \| snapshot
2018-05-05	Mark Thom	add support for printing cyclic terms.	commit \| commitdiff \| tree \| snapshot
2018-05-05	Mark Thom	add access to HeapVarDict to the printer.	commit \| commitdiff \| tree \| snapshot
2018-05-05	Mark Thom	set up heap_var Cow in heap_print.rs	commit \| commitdiff \| tree \| snapshot
2018-05-05	Mark Thom	abbreviate names in heap_iter.rs	commit \| commitdiff \| tree \| snapshot
2018-05-04	Mark Thom	correct the copier's mishandling of cyclic lists	commit \| commitdiff \| tree \| snapshot
2018-05-04	Mark Thom	fix errors emitted by sort and keysort, add tests,...	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	correct sort/keysort refusing []	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	correct keysort type error (re: #34)	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	remove unnecessary store/deref in keysort error checking	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	fix keysort error detection bugs	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	add proper error messages for keysort and sort, (re...	commit \| commitdiff \| tree \| snapshot
2018-05-03	Mark Thom	add error handling appartus	commit \| commitdiff \| tree \| snapshot
2018-05-02	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty...	commit \| commitdiff \| tree \| snapshot
2018-05-02	Mark Thom	move existence_error function in machine_st_impl.rs	commit \| commitdiff \| tree \| snapshot
2018-05-01	Mark Thom	clean up detect_cycles	commit \| commitdiff \| tree \| snapshot
2018-05-01	Mark Thom	handle non-list cases in '', add '' as a built-in ...	commit \| commitdiff \| tree \| snapshot
2018-04-30	Mark Thom	add '', type checking for incomplete lists in sort...	commit \| commitdiff \| tree \| snapshot
2018-04-26	Mark Thom	Merge branch 'master' of http://github.com/mthom/rusty...	commit \| commitdiff \| tree \| snapshot
2018-04-26	Mark Thom	skip_max_list preliminaries	commit \| commitdiff \| tree \| snapshot
2018-04-25	Mark Thom	properly support module imports from within modules.	commit \| commitdiff \| tree \| snapshot
2018-04-25	Mark Thom	add other declarations properly	commit \| commitdiff \| tree \| snapshot
2018-04-23	Mark Thom	protect imported predicates from being overwritten...	commit \| commitdiff \| tree \| snapshot
2018-04-20	Mark Thom	change modules when updating code index (re: issue...	commit \| commitdiff \| tree \| snapshot
2018-04-19	Mark Thom	metacall always hashes in user (re: issue #27)	commit \| commitdiff \| tree \| snapshot
2018-04-19	Mark Thom	make module code entries immutable (re: issue #27)	commit \| commitdiff \| tree \| snapshot
2018-04-18	Mark Thom	correct-ish definition of reverse.	commit \| commitdiff \| tree \| snapshot
2018-04-18	Mark Thom	correct-ish definition of reverse.	commit \| commitdiff \| tree \| snapshot
2018-04-17	Mark Thom	add predicate existence errors for failed metacalls.	commit \| commitdiff \| tree \| snapshot
2018-04-17	Mark Thom	print characters correctly	commit \| commitdiff \| tree \| snapshot
2018-04-17	Mark Thom	add functional notation for operators.	commit \| commitdiff \| tree \| snapshot
2018-04-14	Mark Thom	update to lexer error handling.	commit \| commitdiff \| tree \| snapshot
2018-04-14	Mark Thom	fix lexer bugs.	commit \| commitdiff \| tree \| snapshot
2018-04-14	Mark Thom	update/extension to lexer, bug fixes to module importing	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom