Repositorios git - scryer-prolog.git/shortlog

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

2020-05-19	Mark Thom	Merge pull request #537 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	import member/2 from library(lists)	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	Merge pull request #536 from mthom/revert-517-docker	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	Revert "Created and Tested Dockerfile" revert-517-docker origin/revert-517-docker	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	Merge pull request #533 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	Merge pull request #534 from triska/phrase_from_file_3	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	ADDED: phrase_from_file/3 in library(pio)	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	better error handling in crypto_data_hkdf/4	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	crypto_data_hkdf/4: do not crash for length > usize...	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	use more fixnums in cryptographic routines	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	correct option processing in crypto_data_decrypt/6	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	use Fixnums for bytes in hashing.	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	use matching to select the hashing algorithm	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	Merge pull request #517 from panasenco/docker	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	correct fixnum overflow on negation (#528)	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	ADDED: Support for BLAKE2 algorithms in crypto_data_hash/3.	commit \| commitdiff \| tree \| snapshot
2020-05-19	Markus Triska	ADDED: Support for SHA-3 algorithms in crypto_data_hash/3	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	accomodate \0\ in partial strings, print null as \0...	commit \| commitdiff \| tree \| snapshot
2020-05-18	Mark Thom	add Addr::Lis as case in PartialStringTail (#530)	commit \| commitdiff \| tree \| snapshot
2020-05-18	Mark Thom	Merge pull request #527 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-18	Mark Thom	fix partial_string_tail panic (#530)	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	stronger validation of input lists for cryptographic...	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	crypto_data_hkdf/4: Fail if the length is too long.	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	crypto_password_hash/3: fail if the number of iteration...	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	centralize reasoning about encoding	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	raise instantiation errors for variable encoding	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	type check for length argument in crypto_data_hkdf/4	commit \| commitdiff \| tree \| snapshot
2020-05-18	Markus Triska	throw instantiation error if the list of options contai...	commit \| commitdiff \| tree \| snapshot
2020-05-18	panasenco	Updated README with Docker install instructions	commit \| commitdiff \| tree \| snapshot
2020-05-18	panasenco	Managed to create a 77MB scryer-prolog Docker image	commit \| commitdiff \| tree \| snapshot
2020-05-18	panasenco	New Dockerfile based on Fredrik Park's blog post -...	commit \| commitdiff \| tree \| snapshot
2020-05-18	panasenco	Created initial working Docker deployment	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	fix atom_codes (#521)	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	add Cargo.lock	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	eliminate Addr::CharCode (#519), fix atom_code panic...	commit \| commitdiff \| tree \| snapshot
2020-05-17	Markus Triska	type test for salt in crypto_password_hash/3	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	solve overflow of left arithmetic shift (#518)	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	update Cargo.lock	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	scryer version bump	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	propagate syntax errors from read_term when they're...	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	fix sign error in shl on fixnum with n >= 63 (#499)	commit \| commitdiff \| tree \| snapshot
2020-05-17	Mark Thom	correct for second argument when (is)/2 is a tail call	commit \| commitdiff \| tree \| snapshot
2020-05-16	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-16	Mark Thom	restore old clpz.pl	commit \| commitdiff \| tree \| snapshot
2020-05-16	notoria	Enhanced Travis-CI (#512)	commit \| commitdiff \| tree \| snapshot
2020-05-16	Markus Triska	Authenticated encryption in library(crypto), new encodi...	commit \| commitdiff \| tree \| snapshot
2020-05-16	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-16	Mark Thom	correct mishandled Addr::CharCode case in eq_test ...	commit \| commitdiff \| tree \| snapshot
2020-05-15	Markus Triska	ADDED: Password-based key derivation (PBKDF2) (#509)	commit \| commitdiff \| tree \| snapshot
2020-05-15	Matthieu Wipliez	Work in progress: add char_utf8bytes (#493)	commit \| commitdiff \| tree \| snapshot
2020-05-15	Mark Thom	fix existence_error in atom_chars/2, atom_codes/2 ...	commit \| commitdiff \| tree \| snapshot
2020-05-15	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-15	Mark Thom	implement (div)/2 properly (#435)	commit \| commitdiff \| tree \| snapshot
2020-05-14	Mark Thom	Merge pull request #502 from triska/hkdf	commit \| commitdiff \| tree \| snapshot
2020-05-14	Markus Triska	ADDED: HMAC-based key derivation (HKDF) via crypto_data...	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	Merge pull request #501 from triska/elliptic_curves	commit \| commitdiff \| tree \| snapshot
2020-05-13	Markus Triska	ADDED: Reasoning about elliptic curves in library(crypto).	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	Merge pull request #500 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-13	Markus Triska	ADDED: ripemd160 digest algorithm	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	Merge pull request #496 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	Merge pull request #498 from notoria/between	commit \| commitdiff \| tree \| snapshot
2020-05-13	notoria	Enhanced between/3	commit \| commitdiff \| tree \| snapshot
2020-05-13	Markus Triska	ADDED: crypto_data_hash/3, computing cryptographically...	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	resolve warning messages (#495)	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	throw existence_error on failed put_byte write (#492)	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	do not unwrap stream write, TcpStream::shutdown results...	commit \| commitdiff \| tree \| snapshot
2020-05-13	Mark Thom	return true on unmatching partial strings in eq_test...	commit \| commitdiff \| tree \| snapshot
2020-05-12	Mark Thom	Merge pull request #494 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-12	Markus Triska	ADDED: crypto_n_random_bytes/2, creating cryptographica...	commit \| commitdiff \| tree \| snapshot
2020-05-11	Mark Thom	reset current input in ReadQueryTerm	commit \| commitdiff \| tree \| snapshot
2020-05-11	Mark Thom	record names of variables at root in write_term_to_heap...	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	fix at_end_of_stream/1 (#479)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	change VarNames to VNNames (#476)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	use heap_pstr_iter in AtomChars (#482)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	set past end of stream, set Byte to -1, Char and Code...	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	deref addr's in list of atom_codes (#484)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	correct failed partial string matching (#483)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	eliminate duplicates in term_variables/2, term_attribut...	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	fix position property in stream_property/2 (#477)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	place cut after infinitely expanding VarList in write_t...	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	change wrong at_end_of_stream value 'end' to 'at' ...	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	detect source_sink domain error in open/4 (#480)	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-10	Mark Thom	increase prolog_parser version	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	Merge pull request #475 from notoria/debug	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	halt on Ctrl-D in toplevel (#473)	commit \| commitdiff \| tree \| snapshot
2020-05-09	notoria	Removed the warnings	commit \| commitdiff \| tree \| snapshot
2020-05-09	notoria	Implemented Debug for the new data structures	commit \| commitdiff \| tree \| snapshot
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	Merge pull request #474 from triska/radix	commit \| commitdiff \| tree \| snapshot
2020-05-09	Mark Thom	Merge pull request #471 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-09	Markus Triska	ADDED: ~Nr and ~NR are now available for radix conversions	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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom