Repositorios git - scryer-prolog.git/shortlog

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

2020-04-25	notoria	No trimming of the buffer	commit \| commitdiff \| tree \| snapshot
2020-04-25	notoria	Implemented phrase_from_file/2 and /2	commit \| commitdiff \| tree \| snapshot
2020-04-24	Mark Thom	Merge pull request #380 from notoria/char_type	commit \| commitdiff \| tree \| snapshot
2020-04-23	notoria	Implementation of the predicate char_type for a subset	commit \| commitdiff \| tree \| snapshot
2020-04-22	notoria	Draft of an implementation of char_type	commit \| commitdiff \| tree \| snapshot
2020-04-22	Mark Thom	Merge pull request #381 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-21	Markus Triska	ADDED: library(format) now provides a rudimentary versi...	commit \| commitdiff \| tree \| snapshot
2020-04-20	Mark Thom	Merge pull request #377 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-20	Markus Triska	portray_clause/1 now correctly tracks variable names...	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom