Repositorios git - scryer-prolog.git/shortlog

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

2020-06-12	Mark Thom	credit Ulrich Neumerkel for partial strings in README	commit \| commitdiff \| tree \| snapshot
2020-06-11	Mark Thom	remove most cuts from bimetatrans_ruleml.pl	commit \| commitdiff \| tree \| snapshot
2020-06-11	Mark Thom	fix printing of atoms like '.x' (#585)	commit \| commitdiff \| tree \| snapshot
2020-06-11	Mark Thom	eliminate unnecessary find_min_time_ predicate in least...	commit \| commitdiff \| tree \| snapshot
2020-06-10	Mark Thom	Merge pull request #582 from triska/format_time	commit \| commitdiff \| tree \| snapshot
2020-06-10	Markus Triska	ADDED: format_time//2 for describing strings involving...	commit \| commitdiff \| tree \| snapshot
2020-06-10	Mark Thom	scryer and prolog_parser version bump (#581)	commit \| commitdiff \| tree \| snapshot
2020-06-10	Mark Thom	prolog_parser version bump, scryer version bump	commit \| commitdiff \| tree \| snapshot
2020-06-09	Mark Thom	Merge pull request #579 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-06-09	Markus Triska	ENHANCED: throw Prolog exception on expired certificates	commit \| commitdiff \| tree \| snapshot
2020-06-09	Mark Thom	Merge pull request #577 from triska/tls	commit \| commitdiff \| tree \| snapshot
2020-06-09	Markus Triska	ADDED: Encrypted client connections in library(sockets...	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	ADDED: type checks for type boolean	commit \| commitdiff \| tree \| snapshot
2020-06-07	Mark Thom	Merge pull request #578 from triska/format_improvements	commit \| commitdiff \| tree \| snapshot
2020-06-07	Mark Thom	Merge pull request #576 from triska/crypto_curve_scalar...	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	type check for ~d and ~D specifiers	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	ENHANCED: format_//2 now evaluates arithmetic expressio...	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	better domain error in format_//2	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	add type check for scalar argument in crypto_curve_scal...	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	use secp256k1 in the example	commit \| commitdiff \| tree \| snapshot
2020-06-07	Markus Triska	ENHANCED: Faster Rust-based crypto_curve_scalar_mult...	commit \| commitdiff \| tree \| snapshot
2020-06-05	Mark Thom	s/prolog-implementation/prolog-system (cargo does not...	commit \| commitdiff \| tree \| snapshot
2020-06-05	Mark Thom	bump version number	commit \| commitdiff \| tree \| snapshot
2020-06-05	Mark Thom	update prolog_parser version, correct atom_chars/2...	commit \| commitdiff \| tree \| snapshot
2020-06-05	Mark Thom	remove double_quotes checks from unnecessary places...	commit \| commitdiff \| tree \| snapshot
2020-06-04	Mark Thom	remove unreachable branch in increment_s_ptr (#575)	commit \| commitdiff \| tree \| snapshot
2020-05-30	Mark Thom	correct unexpected bad variables while ensuring better...	commit \| commitdiff \| tree \| snapshot
2020-05-27	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-27	Mark Thom	order generation of variable names in attributed goals...	commit \| commitdiff \| tree \| snapshot
2020-05-27	Mark Thom	plug missing variables in equations (#488), exclude...	commit \| commitdiff \| tree \| snapshot
2020-05-27	Mark Thom	Merge pull request #568 from triska/logo	commit \| commitdiff \| tree \| snapshot
2020-05-26	Markus Triska	ADDED: Logo.	commit \| commitdiff \| tree \| snapshot
2020-05-26	Mark Thom	Merge pull request #524 from matt2xu/decode_utf8	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	Merge pull request #563 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	throw evaluable type error for unrecognized atoms in...	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	Add type errors where appropriate in arith_eval_by_meta...	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	throw type_error(number, E) in arith_eval_by_metacall...	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	(**)/2 should always evaluate to floating point (#558)	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	update (^)/2 in light of Draft Technical Corrigendum...	commit \| commitdiff \| tree \| snapshot
2020-05-23	Markus Triska	ADDED: halt/1, halting with specified exit code	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	address arity discrepancies in builtins.n and call... v0.8.123	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	Merge pull request #560 from notoria/cargo	commit \| commitdiff \| tree \| snapshot
2020-05-23	Mark Thom	Merge pull request #557 from mthom/docker	commit \| commitdiff \| tree \| snapshot
2020-05-23	notoria	Added some informations in Cargo.toml	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	use -1 as eof_code for binary streams (#555)	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	Merge pull request #556 from panasenco/docker docker origin/docker	commit \| commitdiff \| tree \| snapshot
2020-05-22	Matthieu Wipliez	Implementation of UTF-8 bytes to chars	commit \| commitdiff \| tree \| snapshot
2020-05-22	panasenco	Phrasing	commit \| commitdiff \| tree \| snapshot
2020-05-22	panasenco	Fixed link in Dockerfile documentation. Updated README...	commit \| commitdiff \| tree \| snapshot
2020-05-22	panasenco	Revert "Revert "Created and Tested Dockerfile""	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	correct get_byte/1 not emitted -1 upon discovery of...	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	Merge pull request #552 from mthom/master	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	Merge pull request #554 from triska/format3	commit \| commitdiff \| tree \| snapshot
2020-05-22	Markus Triska	ENHANCED: Faster format/3 for binary streams.	commit \| commitdiff \| tree \| snapshot
2020-05-22	Markus Triska	ADDED: format/3, writing formatted output to a stream	commit \| commitdiff \| tree \| snapshot
2020-05-22	Mark Thom	modify int_pow so that a power of -1 is valid (#548)	commit \| commitdiff \| tree \| snapshot
2020-05-21	Mark Thom	Merge pull request #545 from triska/ed25519	commit \| commitdiff \| tree \| snapshot
2020-05-21	Markus Triska	document that lists of integers can be specified if...	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	correct mode indication for ed25519_verify/4	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	"PrivateKey" --> "KeyPair"	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	remove several mentions of list of bytes in predicate...	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	require PKCS#8 v2 format for better security	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	ADDED: ed25519_keypair_public_key/2, relating a key...	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	clarify format of public key	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	ADDED: ed25519_new_keypair/1 to dynamically create...	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	use LessSafeKey to simplify the implementation of authe...	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	"codes" --> "bytes"	commit \| commitdiff \| tree \| snapshot
2020-05-20	Markus Triska	ADDED: Public key signatures and signature verification...	commit \| commitdiff \| tree \| snapshot
2020-05-19	Mark Thom	revert printing of characters	commit \| commitdiff \| tree \| snapshot
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
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom