Repositorios git - scryer-prolog.git/shortlog

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

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-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	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
2019-10-15	Mark Thom	re: issue #199	commit \| commitdiff \| tree \| snapshot
2019-10-15	Mark Thom	re: issues #200, #201	commit \| commitdiff \| tree \| snapshot
2019-10-14	Mark Thom	Merge pull request #198 from XVilka/patch-2	commit \| commitdiff \| tree \| snapshot
2019-10-14	Mark Thom	Merge pull request #197 from dingelish/edition	commit \| commitdiff \| tree \| snapshot
2019-10-14	Anton Kochkov	Run tests on Travis	commit \| commitdiff \| tree \| snapshot
2019-10-14	Yu Ding	Upgrade to edition. Bump up edition in Cargo.toml	commit \| commitdiff \| tree \| snapshot
2019-10-14	Mark Thom	Merge pull request #191 from dingelish/master	commit \| commitdiff \| tree \| snapshot
2019-10-14	Mark Thom	re: issue #196	commit \| commitdiff \| tree \| snapshot
2019-10-13	Mark Thom	handle TCO when setting up verify_attributes interrupts	commit \| commitdiff \| tree \| snapshot
2019-10-13	Mark Thom	remove nondeterminism from put_atts as a result of...	commit \| commitdiff \| tree \| snapshot
2019-10-13	Mark Thom	correct off by 1 error in verify_attrs_interrupt, rever...	commit \| commitdiff \| tree \| snapshot
2019-10-12	Mark Thom	fix verify_attributes_stepper bug: proceed now consider...	commit \| commitdiff \| tree \| snapshot
2019-10-12	Mark Thom	correct latest out of bounds panic, use first argument...	commit \| commitdiff \| tree \| snapshot
2019-10-09	Yu Ding	Fix some old Rust codes	commit \| commitdiff \| tree \| snapshot
2019-10-09	Mark Thom	copy terms to global variable blackboard, fix attribute...	commit \| commitdiff \| tree \| snapshot
2019-10-08	Mark Thom	fix several issues with goal expansion, crashing after...	commit \| commitdiff \| tree \| snapshot
2019-10-06	Mark Thom	update prolog_parser to v0.8.33	commit \| commitdiff \| tree \| snapshot
2019-10-05	Mark Thom	implement DCGs using the logical expansion of the draft...	commit \| commitdiff \| tree \| snapshot
2019-10-05	Mark Thom	fixes for issues #185 and #181	commit \| commitdiff \| tree \| snapshot
2019-10-04	Mark Thom	correct dcg handling of cuts	commit \| commitdiff \| tree \| snapshot
2019-10-04	Mark Thom	print errors with line numbers in GNU style	commit \| commitdiff \| tree \| snapshot
2019-10-04	Mark Thom	perform singleton variable scans on top level terms...	commit \| commitdiff \| tree \| snapshot
2019-10-04	Mark Thom	make attribute_goals a nonterminal	commit \| commitdiff \| tree \| snapshot
2019-10-04	Mark Thom	fix goal expansion in disjunctions, add warnings for...	commit \| commitdiff \| tree \| snapshot
2019-10-03	Mark Thom	don't add default index for dynamic predicates unless...	commit \| commitdiff \| tree \| snapshot
2019-10-03	Mark Thom	update version	commit \| commitdiff \| tree \| snapshot
2019-10-03	Mark Thom	properly handle undefined predicates declared dynamic	commit \| commitdiff \| tree \| snapshot
2019-10-02	Mark Thom	print attributes of variables when attribute_goals...	commit \| commitdiff \| tree \| snapshot
2019-10-02	Mark Thom	correct handling of ! in phrase/{2,3}, get rid of extra...	commit \| commitdiff \| tree \| snapshot
2019-10-02	Mark Thom	properly expand goals in initialization directives	commit \| commitdiff \| tree \| snapshot
2019-10-02	Mark Thom	remove readline_compat_rs reference from README	commit \| commitdiff \| tree \| snapshot
2019-10-02	Mark Thom	expand goals in initialization directives.	commit \| commitdiff \| tree \| snapshot
2019-10-02	Mark Thom	eliminate extraneous choice point in $get_attr	commit \| commitdiff \| tree \| snapshot
2019-10-01	Mark Thom	add the initialization directive	commit \| commitdiff \| tree \| snapshot
2019-09-30	Mark Thom	limit scope of raw mode on stdout to allow interrupts...	commit \| commitdiff \| tree \| snapshot
2019-09-30	Mark Thom	return to toplevel from a long running query after...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom