Repositorios git - scryer-prolog.git/shortlog

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

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
2019-10-27	Mark Thom	correct sign/1 (#216)	commit \| commitdiff \| tree \| snapshot
2019-10-27	Mark Thom	update to prolog_parser v0.8.34 with increased MAX_ARIT...	commit \| commitdiff \| tree \| snapshot
2019-10-27	Mark Thom	add sign/1 (#216) and gcd/2 (#217) as evaluable functor...	commit \| commitdiff \| tree \| snapshot
2019-10-27	Mark Thom	correct #215 by fixing bug in ambiguity_check	commit \| commitdiff \| tree \| snapshot
2019-10-27	Mark Thom	add consult/1 and shorthand for consult/1 (#214)	commit \| commitdiff \| tree \| snapshot
2019-10-26	Mark Thom	remove module from toplevel in unqualified use_module	commit \| commitdiff \| tree \| snapshot
2019-10-26	Mark Thom	remove all mention of [clear] from the README	commit \| commitdiff \| tree \| snapshot
2019-10-26	Mark Thom	reload files properly (re: #213)	commit \| commitdiff \| tree \| snapshot
2019-10-23	Mark Thom	remove scratch comments from clpb.pl	commit \| commitdiff \| tree \| snapshot
2019-10-20	Mark Thom	fix attributed variables bug causing weighted_maximum... v0.8.115	commit \| commitdiff \| tree \| snapshot
2019-10-19	Mark Thom	add order preserving tidy_trail, fix random_labeling/2 v0.8.114	commit \| commitdiff \| tree \| snapshot
2019-10-17	Mark Thom	add randomness predicates, small but consequential... v0.8.113	commit \| commitdiff \| tree \| snapshot
2019-10-16	Mark Thom	Merge pull request #206 from triska/master	commit \| commitdiff \| tree \| snapshot
2019-10-16	Markus Triska	weighted_maximum/3 now works	commit \| commitdiff \| tree \| snapshot
2019-10-16	Markus Triska	support must_be(var, ...)	commit \| commitdiff \| tree \| snapshot
2019-10-16	Mark Thom	eliminate lingering attribute goals v0.8.112	commit \| commitdiff \| tree \| snapshot
2019-10-16	Mark Thom	bump toml version number to package clpb on crates v0.8.111	commit \| commitdiff \| tree \| snapshot
2019-10-16	Mark Thom	Merge pull request #204 from triska/master	commit \| commitdiff \| tree \| snapshot
2019-10-16	Markus Triska	ADDED: CLP(B), Constraint Logic Programming over Boolea...	commit \| commitdiff \| tree \| snapshot
2019-10-16	Mark Thom	deallocate old stack frames (#201), start using tags... v0.8.110	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom