Repositorios git - scryer-prolog.git/shortlog

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

2020-04-20	Mark Thom	use default machine policies in term expansions	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	update toplevel comments, add mutable stack to zipped...	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	Merge pull request #370 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-19	Markus Triska	ENHANCED: time(Goal) now also reports the time if Goal...	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	Merge pull request #367 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	throw '' whenever an interrupt is made (#365, #366)	commit \| commitdiff \| tree \| snapshot
2020-04-19	Markus Triska	add entry for time/1	commit \| commitdiff \| tree \| snapshot
2020-04-19	Markus Triska	update answer to use the latest toplevel improvements	commit \| commitdiff \| tree \| snapshot
2020-04-19	Markus Triska	ADDED: library(time), providing time/1 for benchmarking	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	Merge pull request #364 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-19	Markus Triska	Restore the type_error, which was implemented correctly...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	document ~\| format modifier to place a tab stop at...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	Merge pull request #363 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	remove SCCCutPolicy panic, revise (;)/2 so that comma...	commit \| commitdiff \| tree \| snapshot
2020-04-19	Mark Thom	drop $ naming convention inside '' when unnecessary	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	use correct signs in fixnum remainders	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	use the most recent improvements	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	ENHANCED: Delay toplevel output until after the goal...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	add domain and type errors for compare/3 (#296)	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	reintroduce "n" as a synonym for ";" and " "	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	ENHANCED: the toplevel interaction now supports RETURN...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	small simplifications	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Removed a check in get_single_char	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Added Space for continuation	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Fixed the predicate name when error is thrown	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	instead of a type error, use a domain error	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	use get_single_char/1	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Removed $raw_input_read_char	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	get_single_char reads Tab as \t	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	get_single_char reads Enter as \n	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Moved get_single_char from builtins.pl to charsio.pl	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Added predicate for reading a single character	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	bracket graphic token chars in toplevel.pl (#357)	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	slight tweaks to bimetatrans	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	index Constant::Usize (#355)	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	quote single dots only	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	ADDED: list_to_set/2, using the first occurrence of...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	allow characters as atoms in Machine::use_module and...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	remove underscores in printed variables produced by...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	don't count the terminator in PStrIter len	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	quote dot when quoted(true) (#349)	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	privilege new op declarations over old ones (#346)	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	interrupt running queries and return to toplevel (...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	write [a,b,c] correctly with write_canonical (#349)	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	update the toplevel description, incorporating the...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Mark Thom	Merge pull request #360 from notoria/master	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Merge pull request #2 from triska/get_single_char	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Removed a check in get_single_char	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	reintroduce "n" as a synonym for ";" and " "	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	ENHANCED: the toplevel interaction now supports RETURN...	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	small simplifications	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Added Space for continuation	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Fixed the predicate name when error is thrown	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Merge pull request #1 from triska/get_single_char	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	instead of a type error, use a domain error	commit \| commitdiff \| tree \| snapshot
2020-04-18	Markus Triska	use get_single_char/1	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Removed $raw_input_read_char	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	get_single_char reads Tab as \t	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	get_single_char reads Enter as \n	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Moved get_single_char from builtins.pl to charsio.pl	commit \| commitdiff \| tree \| snapshot
2020-04-18	notoria	Added predicate for reading a single character	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	index Constant::Usize (#355)	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	quote single dots only	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	Merge pull request #354 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	allow characters as atoms in Machine::use_module and...	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	remove underscores in printed variables produced by...	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	don't count the terminator in PStrIter len	commit \| commitdiff \| tree \| snapshot
2020-04-15	Markus Triska	ADDED: list_to_set/2, using the first occurrence of...	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	quote dot when quoted(true) (#349)	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	privilege new op declarations over old ones (#346)	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	interrupt running queries and return to toplevel (...	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	write [a,b,c] correctly with write_canonical (#349)	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-15	Mark Thom	properly iterate through UTF-8 strings (#350)	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	clean up print_list_like	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	print lists as strings when possible (#295)	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	Merge pull request #348 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-14	Markus Triska	update the toplevel description, incorporating the...	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	provide better variable names in write_term_to_chars...	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	improve writeX performance (#290)	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	copy operator exports to impromptu modules (#307)	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-14	Mark Thom	change from xsi to iso in bimetatrans, correct atomic...	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	Merge pull request #345 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-13	Markus Triska	ADDED: group_pairs_by_key/2	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	version bump	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	Merge pull request #327 from srenatus/sr/pass-argv...	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	Merge pull request #342 from srenatus/sr/fix-cargo...	commit \| commitdiff \| tree \| snapshot
2020-04-13	Stephan Renatus	main: fix version reporting without git	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	Merge pull request #341 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-13	Markus Triska	the workaround is no longer necessary, since #336 is...	commit \| commitdiff \| tree \| snapshot
2020-04-13	Stephan Renatus	use partial strings for passing argv to toplevel.pl	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	use prolog_parser 0.8.50 (#336)	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	correct partial string copying by resetting threshold...	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	use partial_string/1 in place of the removed string...	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	update Cargo.lock	commit \| commitdiff \| tree \| snapshot
2020-04-13	Mark Thom	bump version to 0.8.119	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom