]> 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-06-13 Markus TriskaENHANCED: Read more characters at once, significantly... commit | commitdiff | tree | snapshot
2020-06-13 Mark Thomfix broken links in README (#591) commit | commitdiff | tree | snapshot
2020-06-13 Mark Thomrename bimetatrans example files and directory commit | commitdiff | tree | snapshot
2020-06-13 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-06-13 Mark Thomremove vestigial prolog/ directory (#444) commit | commitdiff | tree | snapshot
2020-06-12 Mark ThomMerge pull request #587 from triska/lazy_pio commit | commitdiff | tree | snapshot
2020-06-12 Mark Thomadd missing ! in int_pow (#580) commit | commitdiff | tree | snapshot
2020-06-12 Mark Thomadjust the tail created by CreatePartialString to point... commit | commitdiff | tree | snapshot
2020-06-12 Mark Thomcredit Ulrich Neumerkel for partial strings in README commit | commitdiff | tree | snapshot
2020-06-11 Markus Triskainclude library(pio) and library(charsio) in the itemiz... commit | commitdiff | tree | snapshot
2020-06-11 Markus TriskaENHANCED: phrase_from_file/[2,3] now read the file... commit | commitdiff | tree | snapshot
2020-06-11 Mark Thomremove most cuts from bimetatrans_ruleml.pl commit | commitdiff | tree | snapshot
2020-06-11 Mark Thomfix printing of atoms like '.x' (#585) commit | commitdiff | tree | snapshot
2020-06-11 Mark Thomeliminate unnecessary find_min_time_ predicate in least... commit | commitdiff | tree | snapshot
2020-06-10 Mark ThomMerge pull request #582 from triska/format_time commit | commitdiff | tree | snapshot
2020-06-10 Markus TriskaADDED: format_time//2 for describing strings involving... commit | commitdiff | tree | snapshot
2020-06-10 Mark Thomscryer and prolog_parser version bump (#581) commit | commitdiff | tree | snapshot
2020-06-10 Mark Thomprolog_parser version bump, scryer version bump commit | commitdiff | tree | snapshot
2020-06-09 Mark ThomMerge pull request #579 from triska/master commit | commitdiff | tree | snapshot
2020-06-09 Markus TriskaENHANCED: throw Prolog exception on expired certificates commit | commitdiff | tree | snapshot
2020-06-09 Mark ThomMerge pull request #577 from triska/tls commit | commitdiff | tree | snapshot
2020-06-09 Markus TriskaADDED: Encrypted client connections in library(sockets... commit | commitdiff | tree | snapshot
2020-06-07 Markus TriskaADDED: type checks for type boolean commit | commitdiff | tree | snapshot
2020-06-07 Mark ThomMerge pull request #578 from triska/format_improvements commit | commitdiff | tree | snapshot
2020-06-07 Mark ThomMerge pull request #576 from triska/crypto_curve_scalar... commit | commitdiff | tree | snapshot
2020-06-07 Markus Triskatype check for ~d and ~D specifiers commit | commitdiff | tree | snapshot
2020-06-07 Markus TriskaENHANCED: format_//2 now evaluates arithmetic expressio... commit | commitdiff | tree | snapshot
2020-06-07 Markus Triskabetter domain error in format_//2 commit | commitdiff | tree | snapshot
2020-06-07 Markus Triskaadd type check for scalar argument in crypto_curve_scal... commit | commitdiff | tree | snapshot
2020-06-07 Markus Triskause secp256k1 in the example commit | commitdiff | tree | snapshot
2020-06-07 Markus TriskaENHANCED: Faster Rust-based crypto_curve_scalar_mult... commit | commitdiff | tree | snapshot
2020-06-05 Mark Thoms/prolog-implementation/prolog-system (cargo does not... commit | commitdiff | tree | snapshot
2020-06-05 Mark Thombump version number commit | commitdiff | tree | snapshot
2020-06-05 Mark Thomupdate prolog_parser version, correct atom_chars/2... commit | commitdiff | tree | snapshot
2020-06-05 Mark Thomremove double_quotes checks from unnecessary places... commit | commitdiff | tree | snapshot
2020-06-04 Mark Thomremove unreachable branch in increment_s_ptr (#575) commit | commitdiff | tree | snapshot
2020-05-30 Mark Thomcorrect unexpected bad variables while ensuring better... commit | commitdiff | tree | snapshot
2020-05-27 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-27 Mark Thomorder generation of variable names in attributed goals... commit | commitdiff | tree | snapshot
2020-05-27 Mark Thomplug missing variables in equations (#488), exclude... commit | commitdiff | tree | snapshot
2020-05-27 Mark ThomMerge pull request #568 from triska/logo commit | commitdiff | tree | snapshot
2020-05-26 Markus TriskaADDED: Logo. commit | commitdiff | tree | snapshot
2020-05-26 Mark ThomMerge pull request #524 from matt2xu/decode_utf8 commit | commitdiff | tree | snapshot
2020-05-23 Mark ThomMerge pull request #563 from triska/master commit | commitdiff | tree | snapshot
2020-05-23 Mark Thomthrow evaluable type error for unrecognized atoms in... commit | commitdiff | tree | snapshot
2020-05-23 Mark ThomAdd type errors where appropriate in arith_eval_by_meta... commit | commitdiff | tree | snapshot
2020-05-23 Mark Thomthrow type_error(number, E) in arith_eval_by_metacall... commit | commitdiff | tree | snapshot
2020-05-23 Mark Thom(**)/2 should always evaluate to floating point (#558) commit | commitdiff | tree | snapshot
2020-05-23 Mark Thomupdate (^)/2 in light of Draft Technical Corrigendum... commit | commitdiff | tree | snapshot
2020-05-23 Markus TriskaADDED: halt/1, halting with specified exit code commit | commitdiff | tree | snapshot
2020-05-23 Mark Thomaddress arity discrepancies in builtins.n and call... v0.8.123 commit | commitdiff | tree | snapshot
2020-05-23 Mark ThomMerge pull request #560 from notoria/cargo commit | commitdiff | tree | snapshot
2020-05-23 Mark ThomMerge pull request #557 from mthom/docker commit | commitdiff | tree | snapshot
2020-05-23 notoriaAdded some informations in Cargo.toml commit | commitdiff | tree | snapshot
2020-05-22 Mark Thomuse -1 as eof_code for binary streams (#555) commit | commitdiff | tree | snapshot
2020-05-22 Mark ThomMerge pull request #556 from panasenco/docker docker origin/docker commit | commitdiff | tree | snapshot
2020-05-22 Matthieu WipliezImplementation of UTF-8 bytes to chars commit | commitdiff | tree | snapshot
2020-05-22 panasencoPhrasing commit | commitdiff | tree | snapshot
2020-05-22 panasencoFixed link in Dockerfile documentation. Updated README... commit | commitdiff | tree | snapshot
2020-05-22 panasencoRevert "Revert "Created and Tested Dockerfile"" commit | commitdiff | tree | snapshot
2020-05-22 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-22 Mark Thomcorrect get_byte/1 not emitted -1 upon discovery of... commit | commitdiff | tree | snapshot
2020-05-22 Mark ThomMerge pull request #552 from mthom/master commit | commitdiff | tree | snapshot
2020-05-22 Mark ThomMerge pull request #554 from triska/format3 commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust