Repositorios git - scryer-prolog.git/shortlog

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

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
2019-09-30	Mark Thom	fix improper consolidation of DCG variables	commit \| commitdiff \| tree \| snapshot
2019-09-30	Mark Thom	add use_module/{1,2} as full fledged predicates	commit \| commitdiff \| tree \| snapshot
2019-09-29	Mark Thom	support loading of modules from files specified at...	commit \| commitdiff \| tree \| snapshot
2019-09-29	Mark Thom	devour dangling whitespace before checking for EOF	commit \| commitdiff \| tree \| snapshot
2019-09-27	Mark Thom	target out_dir in build script	commit \| commitdiff \| tree \| snapshot
2019-09-27	Mark Thom	make *.pl files in src/prolog/lib available from librar...	commit \| commitdiff \| tree \| snapshot
2019-09-26	Mark Thom	migrate to rustyline, add history support	commit \| commitdiff \| tree \| snapshot
2019-09-26	Mark Thom	Merge pull request #164 from triska/master	commit \| commitdiff \| tree \| snapshot
2019-09-26	Mark Thom	ignore single line comments after end token read	commit \| commitdiff \| tree \| snapshot
2019-09-25	Markus Triska	ADDED: library(si) for safe type tests.	commit \| commitdiff \| tree \| snapshot
2019-09-23	Mark Thom	Merge pull request #151 from Atul9/cargo-fmt	commit \| commitdiff \| tree \| snapshot
2019-09-23	Atul Bhosale	Format code using 'cargo fmt'	commit \| commitdiff \| tree \| snapshot
2019-09-22	Mark Thom	replace HashMap with IndexMap and HashSet with IndexSet	commit \| commitdiff \| tree \| snapshot
2019-09-22	Mark Thom	add wam_instructions/2 to render predicate instructions...	commit \| commitdiff \| tree \| snapshot
2019-09-18	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-09-18	Mark Thom	print line numbers to trace the location of parsing...	commit \| commitdiff \| tree \| snapshot
2019-09-13	Mark Thom	Merge pull request #159 from XVilka/patch-1	commit \| commitdiff \| tree \| snapshot
2019-09-12	Anton Kochkov	Create Travis CI config	commit \| commitdiff \| tree \| snapshot
2019-09-06	Mark Thom	address issue #153	commit \| commitdiff \| tree \| snapshot
2019-09-05	Mark Thom	check for and load .scryerrc from the user's home directory	commit \| commitdiff \| tree \| snapshot
2019-09-03	Mark Thom	fix read module if readline is not present	commit \| commitdiff \| tree \| snapshot
2019-09-03	Mark Thom	slight formatting changes	commit \| commitdiff \| tree \| snapshot
2019-09-02	Mark Thom	address issues #143, #150, #155	commit \| commitdiff \| tree \| snapshot
2019-06-21	Mark Thom	add fail predicate	commit \| commitdiff \| tree \| snapshot
2019-06-16	Mark Thom	re: issue #144	commit \| commitdiff \| tree \| snapshot
2019-06-14	Mark Thom	correct for issue #145	commit \| commitdiff \| tree \| snapshot
2019-06-09	Mark Thom	correct bug in between.pl, re: #146	commit \| commitdiff \| tree \| snapshot
2019-05-25	Mark Thom	pass more numbers by reference	commit \| commitdiff \| tree \| snapshot
2019-05-22	Mark Thom	pass Number's by reference when possible	commit \| commitdiff \| tree \| snapshot
2019-05-14	Mark Thom	correct #68 in variable_names conformity tests	commit \| commitdiff \| tree \| snapshot
2019-05-13	Mark Thom	fix min/1, max/1	commit \| commitdiff \| tree \| snapshot
2019-05-13	Mark Thom	process float/1 and pi/0	commit \| commitdiff \| tree \| snapshot
2019-05-13	Mark Thom	revamp evaluable functors, add missing evaluable functors	commit \| commitdiff \| tree \| snapshot
2019-05-10	Mark Thom	print full list in erroneous variable_names	commit \| commitdiff \| tree \| snapshot
2019-05-08	Mark Thom	correct variable_names culprit	commit \| commitdiff \| tree \| snapshot
2019-05-08	Mark Thom	Merge pull request #138 from XVilka/unmut	commit \| commitdiff \| tree \| snapshot
2019-05-08	Anton Kochkov	Add .gitignore	commit \| commitdiff \| tree \| snapshot
2019-05-08	Anton Kochkov	Remove unnecessary mutability	commit \| commitdiff \| tree \| snapshot
2019-05-07	Mark Thom	correct error reporting for variable_names write option	commit \| commitdiff \| tree \| snapshot
2019-05-07	Mark Thom	update version number, correct printer	commit \| commitdiff \| tree \| snapshot
2019-05-06	Mark Thom	quote solo characters wherever they lead atoms	commit \| commitdiff \| tree \| snapshot
2019-05-05	Mark Thom	add variable_names as a write option	commit \| commitdiff \| tree \| snapshot
2019-05-01	Mark Thom	improve matching on partial strings as lists	commit \| commitdiff \| tree \| snapshot
2019-05-01	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-05-01	Mark Thom	add remaining atomic term processing builtins, rename...	commit \| commitdiff \| tree \| snapshot
2019-04-30	Mark Thom	respect ambiguity with ., add ... to indicate more...	commit \| commitdiff \| tree \| snapshot
2019-04-29	Mark Thom	add unify_with_occurs_check/2	commit \| commitdiff \| tree \| snapshot
2019-04-29	Mark Thom	correct various bugs	commit \| commitdiff \| tree \| snapshot
2019-04-28	Mark Thom	fix odd response, toplevel issues	commit \| commitdiff \| tree \| snapshot
2019-04-28	Mark Thom	add subsumes_term/2	commit \| commitdiff \| tree \| snapshot
2019-04-28	Mark Thom	add number_chars/2	commit \| commitdiff \| tree \| snapshot
2019-04-28	Mark Thom	speed up unification	commit \| commitdiff \| tree \| snapshot
2019-04-28	Mark Thom	address issues #121 - #123	commit \| commitdiff \| tree \| snapshot
2019-04-27	Mark Thom	re: issue #120	commit \| commitdiff \| tree \| snapshot
2019-04-26	Mark Thom	printer: abbreviate lists with \|	commit \| commitdiff \| tree \| snapshot
2019-04-26	Mark Thom	use ellipses to indicate infinite terms in printer	commit \| commitdiff \| tree \| snapshot
2019-04-26	Mark Thom	re: issue #118	commit \| commitdiff \| tree \| snapshot
2019-04-25	Mark Thom	address issues #114, #115	commit \| commitdiff \| tree \| snapshot
2019-04-25	Mark Thom	delay attributed variables goal, naively correct dif/2	commit \| commitdiff \| tree \| snapshot
2019-04-24	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-24	Mark Thom	address issues #111 and #108	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	move setup_call_cleanup/3 and call_with_inference_limit...	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	various fixes	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	use binary_pow for (^)/2	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	use binary_pow for (^)/2	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-23	Mark Thom	instantiate variables in numerical comparisons	commit \| commitdiff \| tree \| snapshot
2019-04-21	Mark Thom	update prolog_parser, address conformity tests #3,...	commit \| commitdiff \| tree \| snapshot
2019-04-20	Mark Thom	address issues #104, #105, #103	commit \| commitdiff \| tree \| snapshot
2019-04-19	Mark Thom	fix conformity testing #274	commit \| commitdiff \| tree \| snapshot
2019-04-18	Mark Thom	minor fixes	commit \| commitdiff \| tree \| snapshot
2019-04-15	Mark Thom	make return_from_clause macro respect verify_attributes	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	fix conformity tests #279 and #296	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	update	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	correct prolog_parser path	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	read from streams.	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	update prolog_parser, refine bracketing tests.	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	correct conformity test #234	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom