Repositorios git - scryer-prolog.git/shortlog

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

2020-04-20	Mark Thom	Merge pull request #375 from notoria/sleep	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	speed unification of pairs of partial strings	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	change CPU_now to CpuNow	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	check for num in comparisons, bump num-rug-adapter...	commit \| commitdiff \| tree \| snapshot
2020-04-20	notoria	Corrected the error being thrown by sleep/1	commit \| commitdiff \| tree \| snapshot
2020-04-20	notoria	Changed the error being thrown by sleep/1	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	Merge pull request #371 from notoria/sleep	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	do casts between different arithmetic types for compari...	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	speed comparisons of partial strings	commit \| commitdiff \| tree \| snapshot
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	notoria	Undo a workaround	commit \| commitdiff \| tree \| snapshot
2020-04-19	notoria	Corrected bound	commit \| commitdiff \| tree \| snapshot
2020-04-19	notoria	Merge pull request #3 from triska/sleep	commit \| commitdiff \| tree \| snapshot
2020-04-19	notoria	Thrown an error if T < 0 or T > 0xfffffffffffffbff...	commit \| commitdiff \| tree \| snapshot
2020-04-19	Markus Triska	update comment	commit \| commitdiff \| tree \| snapshot
2020-04-19	notoria	Added the sleep predicate	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom