]> Repositorios git - scryer-prolog.git/shortlog
scryer-prolog.git
2020-05-19 Markus Triskause matching to select the hashing algorithm
2020-05-19 Markus TriskaADDED: Support for BLAKE2 algorithms in crypto_data_hash/3.
2020-05-19 Markus TriskaADDED: Support for SHA-3 algorithms in crypto_data_hash/3
2020-05-19 Mark Thomaccomodate \0\ in partial strings, print null as \0...
2020-05-18 Mark Thomadd Addr::Lis as case in PartialStringTail (#530)
2020-05-18 Mark ThomMerge pull request #527 from triska/master
2020-05-18 Mark Thomfix partial_string_tail panic (#530)
2020-05-18 Markus Triskastronger validation of input lists for cryptographic...
2020-05-18 Markus Triskacrypto_data_hkdf/4: Fail if the length is too long.
2020-05-18 Markus Triskacrypto_password_hash/3: fail if the number of iteration...
2020-05-18 Markus Triskacentralize reasoning about encoding
2020-05-18 Markus Triskaraise instantiation errors for variable encoding
2020-05-18 Markus Triskatype check for length argument in crypto_data_hkdf/4
2020-05-18 Markus Triskathrow instantiation error if the list of options contai...
2020-05-17 Mark Thomfix atom_codes (#521)
2020-05-17 Mark Thomadd Cargo.lock
2020-05-17 Mark Thomeliminate Addr::CharCode (#519), fix atom_code panic...
2020-05-17 Markus Triskatype test for salt in crypto_password_hash/3
2020-05-17 Mark Thomsolve overflow of left arithmetic shift (#518)
2020-05-17 Mark Thomupdate Cargo.lock
2020-05-17 Mark Thomscryer version bump
2020-05-17 Mark Thompropagate syntax errors from read_term when they're...
2020-05-17 Mark Thomfix sign error in shl on fixnum with n >= 63 (#499)
2020-05-17 Mark Thomcorrect for second argument when (is)/2 is a tail call
2020-05-16 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-16 Mark Thomrestore old clpz.pl
2020-05-16 notoriaEnhanced Travis-CI (#512)
2020-05-16 Markus TriskaAuthenticated encryption in library(crypto), new encodi...
2020-05-16 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-16 Mark Thomcorrect mishandled Addr::CharCode case in eq_test ...
2020-05-15 Markus TriskaADDED: Password-based key derivation (PBKDF2) (#509)
2020-05-15 Matthieu WipliezWork in progress: add char_utf8bytes (#493)
2020-05-15 Mark Thomfix existence_error in atom_chars/2, atom_codes/2 ...
2020-05-15 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-15 Mark Thomimplement (div)/2 properly (#435)
2020-05-14 Mark ThomMerge pull request #502 from triska/hkdf
2020-05-14 Markus TriskaADDED: HMAC-based key derivation (HKDF) via crypto_data...
2020-05-13 Mark ThomMerge pull request #501 from triska/elliptic_curves
2020-05-13 Markus TriskaADDED: Reasoning about elliptic curves in library(crypto).
2020-05-13 Mark ThomMerge pull request #500 from triska/master
2020-05-13 Markus TriskaADDED: ripemd160 digest algorithm
2020-05-13 Mark ThomMerge pull request #496 from triska/master
2020-05-13 Mark ThomMerge pull request #498 from notoria/between
2020-05-13 notoriaEnhanced between/3
2020-05-13 Markus TriskaADDED: crypto_data_hash/3, computing cryptographically...
2020-05-13 Mark Thomresolve warning messages (#495)
2020-05-13 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-13 Mark Thomthrow existence_error on failed put_byte write (#492)
2020-05-13 Mark Thomdo not unwrap stream write, TcpStream::shutdown results...
2020-05-13 Mark Thomreturn true on unmatching partial strings in eq_test...
2020-05-12 Mark ThomMerge pull request #494 from triska/master
2020-05-12 Markus TriskaADDED: crypto_n_random_bytes/2, creating cryptographica...
2020-05-11 Mark Thomreset current input in ReadQueryTerm
2020-05-11 Mark Thomrecord names of variables at root in write_term_to_heap...
2020-05-10 Mark Thomfix at_end_of_stream/1 (#479)
2020-05-10 Mark Thomchange VarNames to VNNames (#476)
2020-05-10 Mark Thomuse heap_pstr_iter in AtomChars (#482)
2020-05-10 Mark Thomset past end of stream, set Byte to -1, Char and Code...
2020-05-10 Mark Thomderef addr's in list of atom_codes (#484)
2020-05-10 Mark Thomcorrect failed partial string matching (#483)
2020-05-10 Mark Thomeliminate duplicates in term_variables/2, term_attribut...
2020-05-10 Mark Thomfix position property in stream_property/2 (#477)
2020-05-10 Mark Thomplace cut after infinitely expanding VarList in write_t...
2020-05-10 Mark Thomchange wrong at_end_of_stream value 'end' to 'at' ...
2020-05-10 Mark Thomdetect source_sink domain error in open/4 (#480)
2020-05-10 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-10 Mark Thomincrease prolog_parser version
2020-05-09 Mark ThomMerge pull request #475 from notoria/debug
2020-05-09 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-09 Mark Thomhalt on Ctrl-D in toplevel (#473)
2020-05-09 notoriaRemoved the warnings
2020-05-09 notoriaImplemented Debug for the new data structures
2020-05-09 Mark ThomMerge branch 'sockets-develop'
2020-05-09 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam
2020-05-09 Mark Thomupdate README.md
2020-05-09 Mark Thomadd set_stream_position/2
2020-05-09 Mark ThomMerge pull request #474 from triska/radix
2020-05-09 Mark ThomMerge pull request #471 from triska/master
2020-05-09 Markus TriskaADDED: ~Nr and ~NR are now available for radix conversions
2020-05-09 Mark Thomadd at_end_of_stream/{0,1}
2020-05-09 Mark Thomcarry past_end_of_stream in WrappedStreamInstance
2020-05-09 Mark Thomadd stream_property/2
2020-05-08 Markus TriskaADDED: Initial version of library(crypto).
2020-05-07 Mark ThomMerge pull request #468 from notoria/cont
2020-05-07 notoriaEnhanced shift/1
2020-05-06 Mark Thomadd peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2}
2020-05-06 Mark Thomadd sockets library, use new type_error function from...
2020-05-06 Mark Thomadd put_code/{1,2}, get_code/{1,2}, improve get_* predi...
2020-05-05 Mark Thomadd put_byte/{1,2}, put_char/{1,2}
2020-05-05 Mark Thomcleanup on reading predicates, add get_char/{1,2}
2020-05-05 Mark Thomclean up stream error handling, add get_byte/{1,2}
2020-05-05 Mark Thomchange EOFCode eof_action from end_of_stream to end_of_...
2020-05-05 Mark Thomadd flush_output/{0,1}, past_end_of_stream
2020-05-05 Mark ThomMerge pull request #460 from notoria/get_single_char
2020-05-05 notoriaFixed ctrl-c issue with get_single_char/1
2020-05-05 Mark Thomadd close/{1,2}, better EOF action handling in read_term
2020-05-05 Mark Thomadapt write_term family, add handling for EOF actions.
2020-05-04 Mark Thomadd open/3, write_term/3
2020-05-04 Mark ThomMerge pull request #453 from triska/master
2020-05-04 Mark Thomtest
next