rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 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