]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2020-05-22 Markus TriskaENHANCED: Faster format/3 for binary streams. commit | commitdiff | tree | snapshot
2020-05-22 Markus TriskaADDED: format/3, writing formatted output to a stream commit | commitdiff | tree | snapshot
2020-05-22 Mark Thommodify int_pow so that a power of -1 is valid (#548) commit | commitdiff | tree | snapshot
2020-05-21 Mark ThomMerge pull request #545 from triska/ed25519 commit | commitdiff | tree | snapshot
2020-05-21 Markus Triskadocument that lists of integers can be specified if... commit | commitdiff | tree | snapshot
2020-05-20 Markus Triskacorrect 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 Triskaremove several mentions of list of bytes in predicate... commit | commitdiff | tree | snapshot
2020-05-20 Markus Triskarequire PKCS#8 v2 format for better security commit | commitdiff | tree | snapshot
2020-05-20 Markus TriskaADDED: ed25519_keypair_public_key/2, relating a key... commit | commitdiff | tree | snapshot
2020-05-20 Markus Triskaclarify format of public key commit | commitdiff | tree | snapshot
2020-05-20 Markus TriskaADDED: ed25519_new_keypair/1 to dynamically create... commit | commitdiff | tree | snapshot
2020-05-20 Markus Triskause 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 TriskaADDED: Public key signatures and signature verification... commit | commitdiff | tree | snapshot
2020-05-19 Mark Thomrevert printing of characters commit | commitdiff | tree | snapshot
2020-05-19 Mark ThomMerge pull request #537 from triska/master commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskaimport member/2 from library(lists) commit | commitdiff | tree | snapshot
2020-05-19 Mark ThomMerge pull request #536 from mthom/revert-517-docker commit | commitdiff | tree | snapshot
2020-05-19 Mark ThomRevert "Created and Tested Dockerfile" revert-517-docker origin/revert-517-docker commit | commitdiff | tree | snapshot
2020-05-19 Mark ThomMerge pull request #533 from triska/master commit | commitdiff | tree | snapshot
2020-05-19 Mark ThomMerge pull request #534 from triska/phrase_from_file_3 commit | commitdiff | tree | snapshot
2020-05-19 Markus TriskaADDED: phrase_from_file/3 in library(pio) commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskabetter error handling in crypto_data_hkdf/4 commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskacrypto_data_hkdf/4: do not crash for length > usize... commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskause more fixnums in cryptographic routines commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskacorrect option processing in crypto_data_decrypt/6 commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskause Fixnums for bytes in hashing. commit | commitdiff | tree | snapshot
2020-05-19 Markus Triskause matching to select the hashing algorithm commit | commitdiff | tree | snapshot
2020-05-19 Mark ThomMerge pull request #517 from panasenco/docker commit | commitdiff | tree | snapshot
2020-05-19 Mark Thomcorrect fixnum overflow on negation (#528) commit | commitdiff | tree | snapshot
2020-05-19 Markus TriskaADDED: Support for BLAKE2 algorithms in crypto_data_hash/3. commit | commitdiff | tree | snapshot
2020-05-19 Markus TriskaADDED: Support for SHA-3 algorithms in crypto_data_hash/3 commit | commitdiff | tree | snapshot
2020-05-19 Mark Thomaccomodate \0\ in partial strings, print null as \0... commit | commitdiff | tree | snapshot
2020-05-18 Mark Thomadd Addr::Lis as case in PartialStringTail (#530) commit | commitdiff | tree | snapshot
2020-05-18 Mark ThomMerge pull request #527 from triska/master commit | commitdiff | tree | snapshot
2020-05-18 Mark Thomfix partial_string_tail panic (#530) commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskastronger validation of input lists for cryptographic... commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskacrypto_data_hkdf/4: Fail if the length is too long. commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskacrypto_password_hash/3: fail if the number of iteration... commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskacentralize reasoning about encoding commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskaraise instantiation errors for variable encoding commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskatype check for length argument in crypto_data_hkdf/4 commit | commitdiff | tree | snapshot
2020-05-18 Markus Triskathrow instantiation error if the list of options contai... commit | commitdiff | tree | snapshot
2020-05-18 panasencoUpdated README with Docker install instructions commit | commitdiff | tree | snapshot
2020-05-18 panasencoManaged to create a 77MB scryer-prolog Docker image commit | commitdiff | tree | snapshot
2020-05-18 panasencoNew Dockerfile based on Fredrik Park's blog post -... commit | commitdiff | tree | snapshot
2020-05-18 panasencoCreated initial working Docker deployment commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomfix atom_codes (#521) commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomadd Cargo.lock commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomeliminate Addr::CharCode (#519), fix atom_code panic... commit | commitdiff | tree | snapshot
2020-05-17 Markus Triskatype test for salt in crypto_password_hash/3 commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomsolve overflow of left arithmetic shift (#518) commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomupdate Cargo.lock commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomscryer version bump commit | commitdiff | tree | snapshot
2020-05-17 Mark Thompropagate syntax errors from read_term when they're... commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomfix sign error in shl on fixnum with n >= 63 (#499) commit | commitdiff | tree | snapshot
2020-05-17 Mark Thomcorrect for second argument when (is)/2 is a tail call commit | commitdiff | tree | snapshot
2020-05-16 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-16 Mark Thomrestore old clpz.pl commit | commitdiff | tree | snapshot
2020-05-16 notoriaEnhanced Travis-CI (#512) commit | commitdiff | tree | snapshot
2020-05-16 Markus TriskaAuthenticated encryption in library(crypto), new encodi... commit | commitdiff | tree | snapshot
2020-05-16 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-16 Mark Thomcorrect mishandled Addr::CharCode case in eq_test ... commit | commitdiff | tree | snapshot
2020-05-15 Markus TriskaADDED: Password-based key derivation (PBKDF2) (#509) commit | commitdiff | tree | snapshot
2020-05-15 Matthieu WipliezWork in progress: add char_utf8bytes (#493) commit | commitdiff | tree | snapshot
2020-05-15 Mark Thomfix existence_error in atom_chars/2, atom_codes/2 ... commit | commitdiff | tree | snapshot
2020-05-15 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-15 Mark Thomimplement (div)/2 properly (#435) commit | commitdiff | tree | snapshot
2020-05-14 Mark ThomMerge pull request #502 from triska/hkdf commit | commitdiff | tree | snapshot
2020-05-14 Markus TriskaADDED: HMAC-based key derivation (HKDF) via crypto_data... commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #501 from triska/elliptic_curves commit | commitdiff | tree | snapshot
2020-05-13 Markus TriskaADDED: Reasoning about elliptic curves in library(crypto). commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #500 from triska/master commit | commitdiff | tree | snapshot
2020-05-13 Markus TriskaADDED: ripemd160 digest algorithm commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #496 from triska/master commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #498 from notoria/between commit | commitdiff | tree | snapshot
2020-05-13 notoriaEnhanced between/3 commit | commitdiff | tree | snapshot
2020-05-13 Markus TriskaADDED: crypto_data_hash/3, computing cryptographically... commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomresolve warning messages (#495) commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomthrow existence_error on failed put_byte write (#492) commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomdo not unwrap stream write, TcpStream::shutdown results... commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomreturn true on unmatching partial strings in eq_test... commit | commitdiff | tree | snapshot
2020-05-12 Mark ThomMerge pull request #494 from triska/master commit | commitdiff | tree | snapshot
2020-05-12 Markus TriskaADDED: crypto_n_random_bytes/2, creating cryptographica... commit | commitdiff | tree | snapshot
2020-05-11 Mark Thomreset current input in ReadQueryTerm commit | commitdiff | tree | snapshot
2020-05-11 Mark Thomrecord names of variables at root in write_term_to_heap... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomfix at_end_of_stream/1 (#479) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomchange VarNames to VNNames (#476) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomuse heap_pstr_iter in AtomChars (#482) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomset past end of stream, set Byte to -1, Char and Code... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomderef addr's in list of atom_codes (#484) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomcorrect failed partial string matching (#483) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomeliminate duplicates in term_variables/2, term_attribut... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomfix position property in stream_property/2 (#477) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomplace cut after infinitely expanding VarList in write_t... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomchange wrong at_end_of_stream value 'end' to 'at' ... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomdetect source_sink domain error in open/4 (#480) commit | commitdiff | tree | snapshot
2020-05-10 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust