Repositorios git - scryer-prolog.git/shortlog

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

2020-05-09	Mark Thom	Merge branch 'sockets-develop'	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	update README.md	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	add set_stream_position/2	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	add at_end_of_stream/{0,1}	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	carry past_end_of_stream in WrappedStreamInstance	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	add stream_property/2	commit \| commitdiff \| tree \| snapshot
2020-05-07	Mark Thom	Merge pull request #468 from notoria/cont	commit \| commitdiff \| tree \| snapshot
2020-05-07	notoria	Enhanced shift/1	commit \| commitdiff \| tree \| snapshot
2020-05-06	Mark Thom	add peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2}	commit \| commitdiff \| tree \| snapshot
2020-05-06	Mark Thom	add sockets library, use new type_error function from...	commit \| commitdiff \| tree \| snapshot
2020-05-06	Mark Thom	add put_code/{1,2}, get_code/{1,2}, improve get_* predi...	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	add put_byte/{1,2}, put_char/{1,2}	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	cleanup on reading predicates, add get_char/{1,2}	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	clean up stream error handling, add get_byte/{1,2}	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	change EOFCode eof_action from end_of_stream to end_of_...	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	add flush_output/{0,1}, past_end_of_stream	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	Merge pull request #460 from notoria/get_single_char	commit \| commitdiff \| tree \| snapshot
2020-05-05	notoria	Fixed ctrl-c issue with get_single_char/1	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	add close/{1,2}, better EOF action handling in read_term	commit \| commitdiff \| tree \| snapshot
2020-05-05	Mark Thom	adapt write_term family, add handling for EOF actions.	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	add open/3, write_term/3	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	Merge pull request #453 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	test	commit \| commitdiff \| tree \| snapshot
2020-05-04	Markus Triska	disable goal expansion until #445 is resolved	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	merge	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	improve answer substitutions at top-level	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	Merge branch 'master' into sockets-develop	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	improve answer substitutions at top-level	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	merge with master	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	make term{_attributed_}variables/2 order {attributed...	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	Merge pull request #450 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	use select/3 in gather_equations for detecting whether...	commit \| commitdiff \| tree \| snapshot
2020-05-04	Mark Thom	use copy_term/3 as source of attribute goals	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	restore previous focus upon character match failure...	commit \| commitdiff \| tree \| snapshot
2020-05-03	Markus Triska	do not project queue/2 attributes to residual goals	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	Merge pull request #449 from notoria/read	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	version bump for prolog_parser	commit \| commitdiff \| tree \| snapshot
2020-05-03	notoria	Completed read/1, ctrl-d is end_of_file	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	use complete strings in FileToChars (#430)	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	Project goals of query variables (#362)	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	wrap support code in modules	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	add term_attributed_variables/2 (#422)	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge pull request #443 from notoria/arithmetic	commit \| commitdiff \| tree \| snapshot
2020-05-02	notoria	Implemented expmod/4	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	remove now unnecessary dependencies, correct ordering...	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge pull request #440 from notoria/arithmetic	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge pull request #439 from notoria/cli2	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	cut after compound check in (;)/2 only after semicolon_...	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	insert cuts where needed into (;)/3 (#434)	commit \| commitdiff \| tree \| snapshot
2020-05-02	notoria	Enhanced number_to_rational/2 and number_to_rational/3	commit \| commitdiff \| tree \| snapshot
2020-05-02	notoria	Added $scryer_prolog_version/1	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced command line	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #437 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-01	Markus Triska	use ℤ	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #436 from mthom/revert-419-cli	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Revert "Enhanced command line" revert-419-cli origin/revert-419-cli	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #419 from notoria/cli	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	accept any and all characters in comment chars	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced command line #2	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #432 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	correct failing character match in compare_pstr_to_stri...	commit \| commitdiff \| tree \| snapshot
2020-05-01	Markus Triska	correct overeager CLP(ℤ) goal expansion	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced version	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced command line	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	map single character atoms down to characters in consta...	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	use slightly better names in indexing functions	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	only add expanded goals to dynamic clause code (#416)	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	correct queue_len += queue_len; to queue_len += queue...	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	Merge pull request #425 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-30	Markus Triska	enable goal expansion for CLP(ℤ) goals	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	index atoms with operators against the same atom with...	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	Merge pull request #420 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-30	Markus Triska	correct verify_attributes/3 for variables that have...	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	fix user:goal_expansion	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	fix 'drain lower bound was too large', store user-level...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	Merge pull request #418 from notoria/mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Merge pull request #4 from triska/mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Merge branch 'mediants' into mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	add ordsets.pl to README	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	Merge pull request #417 from notoria/mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Add rational_numerator_denominator/3, number_to_rationa...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Markus Triska	include library(arithmetic) in the overview	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Add rational_numerator_denominator/3, number_to_rationa...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	use select to filter variable lists when printing equat...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	select variable names in write_eq based on whether...	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Removed predicate mediants/2 and added stern_brocot/3	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	correct answer substitution order, equating variables...	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Implemented predicate mediants/2 with Stern-Brocot...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	check that lower bound on term expansion drain is below...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	print rational numbers using the rdiv operator when...	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	do length check in PartialString::range_from (#412)	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	Merge pull request #414 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	mention portray_clause/1 and listing/1	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	mention backtrackable and non-backtrackable global...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom