rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,557 Commits 2 Branches 18 Tags
084fc845902f7b435b0e5e44aaeba023bc28958f
Commit Graph
2557 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 8754157810 implement (div)/2 properly (#435) 2020-05-14 22:25:39 -06:00
Mark Thom 0763686892 Merge pull request #502 from triska/hkdf 
ADDED: HMAC-based key derivation (HKDF) via crypto_data_hkdf/4
 2020-05-14 15:13:32 -03:00
Markus Triska 50776748a7 ADDED: HMAC-based key derivation (HKDF) via crypto_data_hkdf/4 
This is useful to generate keys and initialization vectors
from suitable input keying material, so that future predicates
for symmetric encryption can be used with appropriate parameters.
 2020-05-14 20:07:59 +02:00
Mark Thom c07274a6fa Merge pull request #501 from triska/elliptic_curves 
ADDED: Reasoning about elliptic curves in library(crypto).
 2020-05-13 20:58:39 -03:00
Markus Triska 4084005ee7 ADDED: Reasoning about elliptic curves in library(crypto). 
This is useful to establish shared secrets, using ECDH key exchange.

Note that CLP(ℤ) goal expansion is currently disabled due to #445,
and this slows down the computations considerably for the time being.
 2020-05-13 22:44:27 +02:00
Mark Thom 40fce574cf Merge pull request #500 from triska/master 
ADDED: ripemd160 digest algorithm
 2020-05-13 17:39:24 -03:00
Markus Triska fd761735d4 ADDED: ripemd160 digest algorithm 
This is used for example for Bitcoin address generation.
 2020-05-13 22:36:40 +02:00
Mark Thom 9cb98bdcdc Merge pull request #496 from triska/master 
ADDED: crypto_data_hash/3, computing cryptographically secure digests
 2020-05-13 17:32:46 -03:00
Mark Thom b5b1f7ff8a Merge pull request #498 from notoria/between 
Enhanced between/3
 2020-05-13 17:32:31 -03:00
notoria a86019d53b Enhanced between/3 2020-05-13 21:21:46 +02:00
Markus Triska 8cd7d08573 ADDED: crypto_data_hash/3, computing cryptographically secure digests 2020-05-13 19:23:09 +02:00
Mark Thom 6d6f6ed8fc resolve warning messages (#495) 2020-05-12 20:36:21 -06:00
Mark Thom c9aed1381f Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-12 20:28:42 -06:00
Mark Thom 49ba5f30c5 throw existence_error on failed put_byte write (#492) 2020-05-12 20:28:39 -06:00
Mark Thom 3c6149fd27 do not unwrap stream write, TcpStream::shutdown results (#492) 2020-05-12 18:51:42 -06:00
Mark Thom 23f804eda3 return true on unmatching partial strings in eq_test to indicate failure (#491) 2020-05-12 18:22:41 -06:00
Mark Thom 4e321db189 Merge pull request #494 from triska/master 
ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes
 2020-05-12 19:44:07 -03:00
Markus Triska 716fde5784 ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes 
The ring crate is used since it will be needed also for future
predicates in library(crypto).
 2020-05-13 00:36:27 +02:00
Mark Thom c70b873397 reset current input in ReadQueryTerm 2020-05-11 15:29:28 -06:00
Mark Thom 4c0da691b8 record names of variables at root in write_term_to_heap (#487) 2020-05-10 21:48:38 -06:00
Mark Thom d1d36f9af0 fix at_end_of_stream/1 (#479) 2020-05-10 16:06:15 -06:00
Mark Thom 56efb4ffba change VarNames to VNNames (#476) 2020-05-10 15:54:53 -06:00
Mark Thom 540bc71873 use heap_pstr_iter in AtomChars (#482) 2020-05-10 15:46:51 -06:00
Mark Thom c1df7ead1a set past end of stream, set Byte to -1, Char and Code to end_of_file, at end of stream (#479) 2020-05-10 14:50:17 -06:00
Mark Thom d170c807e3 deref addr's in list of atom_codes (#484) 2020-05-10 14:33:56 -06:00
Mark Thom 50c0abc786 correct failed partial string matching (#483) 2020-05-10 14:00:49 -06:00
Mark Thom c5057127ee eliminate duplicates in term_variables/2, term_attributed_variables/2 (#481) 2020-05-10 13:43:39 -06:00
Mark Thom ea7b1a9592 fix position property in stream_property/2 (#477) 2020-05-10 13:35:48 -06:00
Mark Thom 26d483f2d7 place cut after infinitely expanding VarList in write_term_to_chars/3 (#476) 2020-05-10 13:30:30 -06:00
Mark Thom 67fce58708 change wrong at_end_of_stream value 'end' to 'at' (#479) 2020-05-10 13:24:45 -06:00
Mark Thom ea5771c442 detect source_sink domain error in open/4 (#480) 2020-05-10 13:19:14 -06:00
Mark Thom fa8a1faeb3 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-09 20:08:09 -06:00
Mark Thom d60a000af6 increase prolog_parser version 2020-05-09 20:07:57 -06:00
Mark Thom 3d68e2b74f Merge pull request #475 from notoria/debug 
Debug & warnings
 2020-05-09 18:35:16 -03:00
Mark Thom 42f6d48abf Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-09 15:05:09 -06:00
Mark Thom 5587957602 halt on Ctrl-D in toplevel (#473) 2020-05-09 15:04:36 -06:00
notoria 1d313ebf25 Removed the warnings 2020-05-09 22:30:39 +02:00
notoria cf92349c1d Implemented Debug for the new data structures 2020-05-09 22:28:32 +02:00
Mark Thom b0ae44bc25 Merge branch 'sockets-develop' 2020-05-09 14:26:29 -06:00
Mark Thom 0c94124fdf Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-09 14:26:22 -06:00
Mark Thom 22298ddb41 update README.md 2020-05-09 14:26:08 -06:00
Mark Thom 6f927b9941 add set_stream_position/2 2020-05-09 14:20:32 -06:00
Mark Thom dc5626f34d Merge pull request #474 from triska/radix 
ADDED: ~Nr and ~NR are now available for radix conversions
 2020-05-09 15:09:14 -03:00
Mark Thom 2717ec2759 Merge pull request #471 from triska/master 
ADDED: Initial version of library(crypto).
 2020-05-09 14:33:58 -03:00
Markus Triska d75449ea63 ADDED: ~Nr and ~NR are now available for radix conversions 2020-05-09 19:19:25 +02:00
Mark Thom 034f5b16bd add at_end_of_stream/{0,1} 2020-05-09 01:38:23 -06:00
Mark Thom ff420f1e67 carry past_end_of_stream in WrappedStreamInstance 2020-05-09 01:34:56 -06:00
Mark Thom 5be771842f add stream_property/2 2020-05-09 00:56:17 -06:00
Markus Triska a131c93a14 ADDED: Initial version of library(crypto). 2020-05-08 22:33:49 +02:00
Mark Thom 3da3546ef8 Merge pull request #468 from notoria/cont 
Enhanced shift/1
 2020-05-07 14:26:34 -03:00