This website requires JavaScript.
9f5322d309
ADDED: Support for BLAKE2 algorithms in crypto_data_hash/3.
Markus Triska
2020-05-19 12:22:49 +02:00
f5c2f6f9e9
ADDED: Support for SHA-3 algorithms in crypto_data_hash/3
Markus Triska
2020-05-19 10:50:33 +02:00
e0e3b180e7
accomodate \0\ in partial strings, print null as \0\ (#267 , #526 ), update prolog parser, version bump
Mark Thom
2020-05-18 23:45:21 -06:00
041dc039d4
add Addr::Lis as case in PartialStringTail (#530 )
Mark Thom
2020-05-18 12:27:26 -06:00
ac755b0ada
Merge pull request #527 from triska/master
Mark Thom
2020-05-18 11:18:58 -03:00
c14259060c
fix partial_string_tail panic (#530 )
Mark Thom
2020-05-18 11:14:27 -06:00
a423eb5323
stronger validation of input lists for cryptographic routines
Markus Triska
2020-05-18 13:28:52 +02:00
fd732550d8
crypto_data_hkdf/4: Fail if the length is too long.
Markus Triska
2020-05-18 13:21:20 +02:00
fac7ba70c8
crypto_password_hash/3: fail if the number of iterations is too high
Markus Triska
2020-05-18 13:11:39 +02:00
e9f8b35918
centralize reasoning about encoding
Markus Triska
2020-05-18 11:29:35 +02:00
23034dd4f5
raise instantiation errors for variable encoding
Markus Triska
2020-05-18 11:21:38 +02:00
70ad44adfd
type check for length argument in crypto_data_hkdf/4
Markus Triska
2020-05-18 11:12:59 +02:00
95ca8a2630
throw instantiation error if the list of options contains a variable (#523 )
Markus Triska
2020-05-18 09:58:09 +02:00
a7fd3c50e5
Updated README with Docker install instructions
panasenco
2020-05-17 20:49:44 -07:00
5639f40994
Managed to create a 77MB scryer-prolog Docker image
panasenco
2020-05-16 21:04:45 -07:00
33a8262334
New Dockerfile based on Fredrik Park's blog post - compilation fails with linker error
panasenco
2020-05-16 16:30:47 -07:00
9b4f7ad696
Created initial working Docker deployment
panasenco
2020-05-16 15:57:50 -07:00
3855d7ea02
type test for salt in crypto_password_hash/3
Markus Triska
2020-05-17 22:01:22 +02:00
eecd809d9a
fix atom_codes (#521 )
Mark Thom
2020-05-17 16:34:52 -06:00
240d3cb8f1
add Cargo.lock
Mark Thom
2020-05-17 15:20:02 -06:00
5720b7b94c
eliminate Addr::CharCode (#519 ), fix atom_code panic (#521 ), fix failure involving lists of character codes (#520 ), bump version number
Mark Thom
2020-05-17 15:19:27 -06:00
9f3351469d
solve overflow of left arithmetic shift (#518 )
Mark Thom
2020-05-17 12:20:22 -06:00
2c4a0cf65b
update Cargo.lock
Mark Thom
2020-05-16 23:13:57 -06:00
a8f360c8fd
scryer version bump
Mark Thom
2020-05-16 23:12:43 -06:00
b3cff6555f
propagate syntax errors from read_term when they're not UnexpectedEOF (#507 )
Mark Thom
2020-05-16 23:10:38 -06:00
69706ecab0
fix sign error in shl on fixnum with n >= 63 (#499 )
Mark Thom
2020-05-16 23:00:37 -06:00
05d3b97eae
correct for second argument when (is)/2 is a tail call
Mark Thom
2020-05-16 20:22:17 -06:00
a38fb41e37
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-16 14:51:19 -06:00
204ae377e3
restore old clpz.pl
Mark Thom
2020-05-16 14:51:04 -06:00
3e5a652874
Enhanced Travis-CI (#512 )
notoria
2020-05-16 19:51:53 +02:00
862ae26631
Authenticated encryption in library(crypto), new encoding/1 option for hashes (#515 )
Markus Triska
2020-05-16 19:51:41 +02:00
9e0208ec71
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-15 22:51:24 -06:00
510530973c
correct mishandled Addr::CharCode case in eq_test (#505 )
Mark Thom
2020-05-15 22:51:18 -06:00
4e69301562
ADDED: Password-based key derivation (PBKDF2) (#509 )
Markus Triska
2020-05-15 18:49:23 +02:00
df06d4b9a2
Work in progress: add char_utf8bytes (#493 )
Matthieu Wipliez
2020-05-15 18:05:04 +02:00
b60561c3bb
fix existence_error in atom_chars/2, atom_codes/2 (#504 , #506 )
Mark Thom
2020-05-14 22:33:28 -06:00
fffa503968
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-14 22:25:50 -06:00
8754157810
implement (div)/2 properly (#435 )
Mark Thom
2020-05-14 22:25:39 -06:00
0763686892
Merge pull request #502 from triska/hkdf
Mark Thom
2020-05-14 15:13:32 -03:00
50776748a7
ADDED: HMAC-based key derivation (HKDF) via crypto_data_hkdf/4
Markus Triska
2020-05-14 20:07:59 +02:00
c07274a6fa
Merge pull request #501 from triska/elliptic_curves
Mark Thom
2020-05-13 20:58:39 -03:00
4084005ee7
ADDED: Reasoning about elliptic curves in library(crypto).
Markus Triska
2020-05-13 20:50:54 +02:00
40fce574cf
Merge pull request #500 from triska/master
Mark Thom
2020-05-13 17:39:24 -03:00
fd761735d4
ADDED: ripemd160 digest algorithm
Markus Triska
2020-05-13 20:36:25 +02:00
9cb98bdcdc
Merge pull request #496 from triska/master
Mark Thom
2020-05-13 17:32:46 -03:00
b5b1f7ff8a
Merge pull request #498 from notoria/between
Mark Thom
2020-05-13 17:32:31 -03:00
a86019d53b
Enhanced between/3
notoria
2020-05-13 21:19:47 +02:00
8cd7d08573
ADDED: crypto_data_hash/3, computing cryptographically secure digests
Markus Triska
2020-05-13 19:13:20 +02:00
6d6f6ed8fc
resolve warning messages (#495 )
Mark Thom
2020-05-12 20:36:21 -06:00
c9aed1381f
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-12 20:28:42 -06:00
49ba5f30c5
throw existence_error on failed put_byte write (#492 )
Mark Thom
2020-05-12 20:28:39 -06:00
4e321db189
Merge pull request #494 from triska/master
Mark Thom
2020-05-12 19:44:07 -03:00
3c6149fd27
do not unwrap stream write, TcpStream::shutdown results (#492 )
Mark Thom
2020-05-12 18:51:34 -06:00
23f804eda3
return true on unmatching partial strings in eq_test to indicate failure (#491 )
Mark Thom
2020-05-12 18:22:41 -06:00
716fde5784
ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes
Markus Triska
2020-05-13 00:22:17 +02:00
c70b873397
reset current input in ReadQueryTerm
Mark Thom
2020-05-11 15:29:28 -06:00
4c0da691b8
record names of variables at root in write_term_to_heap (#487 )
Mark Thom
2020-05-10 21:48:38 -06:00
d1d36f9af0
fix at_end_of_stream/1 (#479 )
Mark Thom
2020-05-10 16:06:15 -06:00
56efb4ffba
change VarNames to VNNames (#476 )
Mark Thom
2020-05-10 15:54:53 -06:00
540bc71873
use heap_pstr_iter in AtomChars (#482 )
Mark Thom
2020-05-10 15:46:51 -06:00
c1df7ead1a
set past end of stream, set Byte to -1, Char and Code to end_of_file, at end of stream (#479 )
Mark Thom
2020-05-10 14:50:17 -06:00
d170c807e3
deref addr's in list of atom_codes (#484 )
Mark Thom
2020-05-10 14:33:56 -06:00
50c0abc786
correct failed partial string matching (#483 )
Mark Thom
2020-05-10 14:00:49 -06:00
c5057127ee
eliminate duplicates in term_variables/2, term_attributed_variables/2 (#481 )
Mark Thom
2020-05-10 13:43:39 -06:00
ea7b1a9592
fix position property in stream_property/2 (#477 )
Mark Thom
2020-05-10 13:35:48 -06:00
26d483f2d7
place cut after infinitely expanding VarList in write_term_to_chars/3 (#476 )
Mark Thom
2020-05-10 13:30:30 -06:00
67fce58708
change wrong at_end_of_stream value 'end' to 'at' (#479 )
Mark Thom
2020-05-10 13:24:45 -06:00
ea5771c442
detect source_sink domain error in open/4 (#480 )
Mark Thom
2020-05-10 13:19:14 -06:00
fa8a1faeb3
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-09 20:08:09 -06:00
d60a000af6
increase prolog_parser version
Mark Thom
2020-05-09 20:07:57 -06:00
3d68e2b74f
Merge pull request #475 from notoria/debug
Mark Thom
2020-05-09 18:35:16 -03:00
1d313ebf25
Removed the warnings
notoria
2020-05-09 22:30:39 +02:00
cf92349c1d
Implemented Debug for the new data structures
notoria
2020-05-09 22:28:32 +02:00
dc5626f34d
Merge pull request #474 from triska/radix
Mark Thom
2020-05-09 15:09:14 -03:00
42f6d48abf
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-09 15:05:09 -06:00
5587957602
halt on Ctrl-D in toplevel (#473 )
Mark Thom
2020-05-09 15:04:30 -06:00
2717ec2759
Merge pull request #471 from triska/master
Mark Thom
2020-05-09 14:33:58 -03:00
b0ae44bc25
Merge branch 'sockets-develop'
Mark Thom
2020-05-09 14:26:29 -06:00
0c94124fdf
Merge branch 'master' of https://github.com/mthom/rusty-wam
Mark Thom
2020-05-09 14:26:22 -06:00
22298ddb41
update README.md
Mark Thom
2020-05-09 14:26:08 -06:00
6f927b9941
add set_stream_position/2
Mark Thom
2020-05-09 14:20:32 -06:00
d75449ea63
ADDED: ~Nr and ~NR are now available for radix conversions
Markus Triska
2020-05-09 19:19:03 +02:00
034f5b16bd
add at_end_of_stream/{0,1}
Mark Thom
2020-05-09 01:38:23 -06:00
ff420f1e67
carry past_end_of_stream in WrappedStreamInstance
Mark Thom
2020-05-09 01:34:56 -06:00
5be771842f
add stream_property/2
Mark Thom
2020-05-09 00:56:17 -06:00
a131c93a14
ADDED: Initial version of library(crypto).
Markus Triska
2020-05-08 21:58:56 +02:00
3da3546ef8
Merge pull request #468 from notoria/cont
Mark Thom
2020-05-07 14:26:34 -03:00
47f5223c37
Enhanced shift/1
notoria
2020-05-07 18:51:49 +02:00
b8c50eb0fe
add peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2}
Mark Thom
2020-05-06 01:05:03 -06:00
fe05082ddc
add sockets library, use new type_error function from sockets system calls
Mark Thom
2020-05-05 22:57:06 -06:00
414acda9e0
add put_code/{1,2}, get_code/{1,2}, improve get_* predicates
Mark Thom
2020-05-05 22:42:35 -06:00
47e3a5e75a
add put_byte/{1,2}, put_char/{1,2}
Mark Thom
2020-05-05 17:42:18 -06:00
573df892bc
cleanup on reading predicates, add get_char/{1,2}
Mark Thom
2020-05-05 16:54:40 -06:00
bfced59949
clean up stream error handling, add get_byte/{1,2}
Mark Thom
2020-05-05 16:09:17 -06:00
9a63b1751b
change EOFCode eof_action from end_of_stream to end_of_file, add echo_server.pl example
Mark Thom
2020-05-05 14:15:16 -06:00
53ae8b9bd1
add flush_output/{0,1}, past_end_of_stream
Mark Thom
2020-05-05 14:10:49 -06:00
bf3cc5a367
Merge pull request #460 from notoria/get_single_char
Mark Thom
2020-05-05 14:10:24 -03:00
ac00bc6b70
Fixed ctrl-c issue with get_single_char/1
notoria
2020-05-05 18:30:42 +02:00
ab62603c5a
add close/{1,2}, better EOF action handling in read_term
Mark Thom
2020-05-05 00:38:21 -06:00
dd247cd541
adapt write_term family, add handling for EOF actions.
Mark Thom
2020-05-04 21:17:06 -06:00
Markus Triska