Repositorios git - scryer-prolog.git/shortlog

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

2020-02-16	Mark Thom	use raw_block.rs for the heap backend	commit \| commitdiff \| tree \| snapshot
2020-02-14	Mark Thom	change raw_vec to raw_block to avoid clashes with libal...	commit \| commitdiff \| tree \| snapshot
2020-02-13	Mark Thom	allow the frontier of the RawVec to be offset by a...	commit \| commitdiff \| tree \| snapshot
2020-02-13	Mark Thom	move bump allocation logic to its own module	commit \| commitdiff \| tree \| snapshot
2020-02-13	Mark Thom	remove partial strings, but represent strings as lists...	commit \| commitdiff \| tree \| snapshot
2020-02-06	Mark Thom	correct improper use of multifile directive in tabling...	commit \| commitdiff \| tree \| snapshot
2020-02-05	Mark Thom	print extended characters recently added to alpha char set	commit \| commitdiff \| tree \| snapshot
2020-02-05	Mark Thom	prolog_parser version bump	commit \| commitdiff \| tree \| snapshot
2020-02-05	Mark Thom	recommit Cargo.lock	commit \| commitdiff \| tree \| snapshot
2020-02-05	Mark Thom	version bump, README.md tweak	commit \| commitdiff \| tree \| snapshot
2020-02-03	Mark Thom	enable cross-query memoization in the tabling library	commit \| commitdiff \| tree \| snapshot
2020-02-03	Mark Thom	remove tabling/SLG resolution from nice-to-have list	commit \| commitdiff \| tree \| snapshot
2020-02-03	Mark Thom	add tabling library, update README, make Cargo.toml...	commit \| commitdiff \| tree \| snapshot
2020-02-03	Mark Thom	add multifile and module scoped predicates	commit \| commitdiff \| tree \| snapshot
2020-01-27	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2020-01-27	Mark Thom	add preliminary multifile declaration support	commit \| commitdiff \| tree \| snapshot
2020-01-23	Mark Thom	use atom_concat in gensym.pl	commit \| commitdiff \| tree \| snapshot
2020-01-21	Mark Thom	don't hold on to popped or frames	commit \| commitdiff \| tree \| snapshot
2020-01-20	Mark Thom	correct bug in bb_b_put, correct stack truncation bug...	commit \| commitdiff \| tree \| snapshot
2020-01-14	Mark Thom	add prefixes to gensym keys	commit \| commitdiff \| tree \| snapshot
2020-01-14	Mark Thom	add simple gensym library	commit \| commitdiff \| tree \| snapshot
2020-01-14	Mark Thom	add listing sources to modules	commit \| commitdiff \| tree \| snapshot
2020-01-03	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-12-23	Mark Thom	implement less defaulty interface in cont.pl	commit \| commitdiff \| tree \| snapshot
2019-12-23	Mark Thom	remove l* languages	commit \| commitdiff \| tree \| snapshot
2019-12-21	Mark Thom	push of preliminary delimited continuations library...	commit \| commitdiff \| tree \| snapshot
2019-12-20	Mark Thom	merge with master	commit \| commitdiff \| tree \| snapshot
2019-12-20	Mark Thom	preliminary cont work	commit \| commitdiff \| tree \| snapshot
2019-12-13	Mark Thom	use Addr::StackCell(0,0) to indicate non-live local...	commit \| commitdiff \| tree \| snapshot
2019-12-12	Mark Thom	expand goals inside (\+)/1	commit \| commitdiff \| tree \| snapshot
2019-12-11	Mark Thom	change goal and term expansions, change call/N to use...	commit \| commitdiff \| tree \| snapshot
2019-12-08	Mark Thom	correct odd accidental change to clpb.pl	commit \| commitdiff \| tree \| snapshot
2019-12-08	Mark Thom	remove zeroing out from Stack::truncate	commit \| commitdiff \| tree \| snapshot
2019-12-08	Mark Thom	revert arithmetic code	commit \| commitdiff \| tree \| snapshot
2019-12-08	Mark Thom	update tests	commit \| commitdiff \| tree \| snapshot
2019-12-08	Mark Thom	reconcile latest changes against stack changes	commit \| commitdiff \| tree \| snapshot
2019-12-07	Mark Thom	add backtracking of attributed variable data	commit \| commitdiff \| tree \| snapshot
2019-12-06	Mark Thom	resolve panic caused by lingering attribute goals ...	commit \| commitdiff \| tree \| snapshot
2019-12-06	Mark Thom	print equations between variables (#228, #252)	commit \| commitdiff \| tree \| snapshot
2019-12-05	Mark Thom	binding attributed variables more eagerly after each...	commit \| commitdiff \| tree \| snapshot
2019-12-04	Mark Thom	pop AND stack frames after unwinding the trail (#250)	commit \| commitdiff \| tree \| snapshot
2019-12-04	Mark Thom	correct attributed variables bugs	commit \| commitdiff \| tree \| snapshot
2019-12-04	Mark Thom	fix copy_term/3 infinite looping on cyclic terms	commit \| commitdiff \| tree \| snapshot
2019-12-03	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-12-02	Mark Thom	Merge branch 'master' of https://github.com/mthom/scrye...	commit \| commitdiff \| tree \| snapshot
2019-12-02	Mark Thom	correct copying of cyclic lists in copier.rs	commit \| commitdiff \| tree \| snapshot
2019-12-02	Mark Thom	correct misprinting of attributed variables done by...	commit \| commitdiff \| tree \| snapshot
2019-12-02	Mark Thom	add predicates to lists.pl	commit \| commitdiff \| tree \| snapshot
2019-12-01	Mark Thom	fix list copying	commit \| commitdiff \| tree \| snapshot
2019-12-01	Mark Thom	delete freeze attribute in freeze::attribute_goals//1	commit \| commitdiff \| tree \| snapshot
2019-12-01	Mark Thom	properly copy attributed variables (#247)"	commit \| commitdiff \| tree \| snapshot
2019-12-01	Mark Thom	clear ball before setting it (#246)	commit \| commitdiff \| tree \| snapshot
2019-11-30	Mark Thom	add sumlist/2 to lists.pl	commit \| commitdiff \| tree \| snapshot
2019-11-30	Mark Thom	add sumlist/2 to lists.pl	commit \| commitdiff \| tree \| snapshot
2019-11-30	Mark Thom	compress the definition of freeze:attribute_goals//1	commit \| commitdiff \| tree \| snapshot
2019-11-30	Mark Thom	pop AND frames when safe to do so, suspend resizing...	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	backtrack attributed variable bindings after failure...	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	create a list of module-prefixed goals in copy_term/3	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	clone attribute goals from copy_term/3, fetch attribute...	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	add copy_term/3 (#232)	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	reset attributed variable state between toplevel querie...	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	merge latest commit	commit \| commitdiff \| tree \| snapshot
2019-11-29	Mark Thom	unsafe stack transition	commit \| commitdiff \| tree \| snapshot
2019-11-28	Mark Thom	preserve heap contents in between goal expansions ...	commit \| commitdiff \| tree \| snapshot
2019-11-27	Mark Thom	terms containing attributed variables are not ground...	commit \| commitdiff \| tree \| snapshot
2019-11-27	Mark Thom	use in situ code directory from metacall if conventiona...	commit \| commitdiff \| tree \| snapshot
2019-11-27	Mark Thom	add (:)/{3..12} to enable metacalls on module-prefixed...	commit \| commitdiff \| tree \| snapshot
2019-11-27	Mark Thom	add ambiguity check for period printing, remove extrane...	commit \| commitdiff \| tree \| snapshot
2019-11-26	Mark Thom	add operator exports to module declarations, treat...	commit \| commitdiff \| tree \| snapshot
2019-11-24	Mark Thom	generate module-level expansion code along with rest...	commit \| commitdiff \| tree \| snapshot
2019-11-24	Mark Thom	record module-level term_expansion and goal_expansion...	commit \| commitdiff \| tree \| snapshot
2019-11-23	Mark Thom	correct bug, dead code in toplevel.pl	commit \| commitdiff \| tree \| snapshot
2019-11-22	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-11-21	Mark Thom	Merge branch 'master' of https://github.com/mthom/scrye...	commit \| commitdiff \| tree \| snapshot
2019-11-21	Mark Thom	add conditional bracketing to equations printed by...	commit \| commitdiff \| tree \| snapshot
2019-11-21	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-11-21	Mark Thom	small test updates	commit \| commitdiff \| tree \| snapshot
2019-11-21	Mark Thom	Merge pull request #226 from malbarbo/num	commit \| commitdiff \| tree \| snapshot
2019-11-20	Marco A L Barbosa	Add feature num to use num crate in place of rug.	commit \| commitdiff \| tree \| snapshot
2019-11-20	Mark Thom	avoid overwriting IndexPtr's for clauses already declar...	commit \| commitdiff \| tree \| snapshot
2019-11-20	Mark Thom	Merge pull request #234 from XVilka/patch-2	commit \| commitdiff \| tree \| snapshot
2019-11-20	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-11-20	Mark Thom	bump prolog_parser to version 0.8.35	commit \| commitdiff \| tree \| snapshot
2019-11-20	Mark Thom	commit Cargo.lock	commit \| commitdiff \| tree \| snapshot
2019-11-19	Mark Thom	remove tests.rs module from main.rs	commit \| commitdiff \| tree \| snapshot
2019-11-19	Anton Kochkov	Fix README formatting	commit \| commitdiff \| tree \| snapshot
2019-11-19	Mark Thom	add setup_call_cleanup tests, expand builtins tests	commit \| commitdiff \| tree \| snapshot
2019-11-18	Mark Thom	rollback changes in snapshot handling	commit \| commitdiff \| tree \| snapshot
2019-11-18	Mark Thom	correct failure to observe last call position in queries'	commit \| commitdiff \| tree \| snapshot
2019-11-17	Mark Thom	update version number v0.8.116	commit \| commitdiff \| tree \| snapshot
2019-11-17	Mark Thom	begin migrating tests to pure prolog, correct bug in...	commit \| commitdiff \| tree \| snapshot
2019-11-17	Mark Thom	quote values and goals in equations, eliminate dead...	commit \| commitdiff \| tree \| snapshot
2019-11-16	Mark Thom	Merge branch 'master' of https://github.com/mthom/scrye...	commit \| commitdiff \| tree \| snapshot
2019-11-16	Mark Thom	transition to unsafe and/or stack	commit \| commitdiff \| tree \| snapshot
2019-11-16	Mark Thom	move more of the toplevel from rust into prolog	commit \| commitdiff \| tree \| snapshot
2019-10-30	Mark Thom	add warnings when initialization goals fail (#168)	commit \| commitdiff \| tree \| snapshot
2019-10-30	Mark Thom	handle asserts in modules a little better (#223, #224)	commit \| commitdiff \| tree \| snapshot
2019-10-29	Mark Thom	install asserted predicates into modules from initializ...	commit \| commitdiff \| tree \| snapshot
2019-10-28	Mark Thom	replace \n\r and \r\n by \n (#221)	commit \| commitdiff \| tree \| snapshot
2019-10-28	Mark Thom	finish #214, add needed ambiguity checks if 0 is the...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom