]> 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-18 Mark ThomMerge pull request #602 from triska/put_char commit | commitdiff | tree | snapshot
2020-06-17 Markus Triskaput_char/[1,2]: throw type errors for atoms that are... commit | commitdiff | tree | snapshot
2020-06-17 Mark ThomMerge pull request #597 from triska/faster_format commit | commitdiff | tree | snapshot
2020-06-17 Mark Thomcover Addr::Fixnum when not referenced as an Addr:... commit | commitdiff | tree | snapshot
2020-06-17 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-06-17 Mark Thomfix copy_partial_string bug (#572) commit | commitdiff | tree | snapshot
2020-06-16 Markus TriskaENHANCED: much faster format/3 for text streams commit | commitdiff | tree | snapshot
2020-06-16 Mark ThomMerge pull request #590 from triska/read_line_to_chars commit | commitdiff | tree | snapshot
2020-06-15 Mark Thomchange the plurality of AssertItem(s), QueryItem(s... commit | commitdiff | tree | snapshot
2020-06-14 Mark ThomMerge pull request #595 from triska/faster_format commit | commitdiff | tree | snapshot
2020-06-14 Markus Triskause format/3 to benefit from efficiency improvements commit | commitdiff | tree | snapshot
2020-06-14 Markus TriskaENHANCED: faster format/3 when writing to binary streams commit | commitdiff | tree | snapshot
2020-06-14 Mark ThomMerge pull request #589 from triska/lazy_pio commit | commitdiff | tree | snapshot
2020-06-14 Mark ThomMerge pull request #593 from triska/portray_clause commit | commitdiff | tree | snapshot
2020-06-13 Mark ThomMerge pull request #594 from triska/scryerrc commit | commitdiff | tree | snapshot
2020-06-13 Mark Thomfix broken links in README (#591) commit | commitdiff | tree | snapshot
2020-06-13 Markus Triskause take() for extra fast processing of binary files commit | commitdiff | tree | snapshot
2020-06-13 Markus Triskabetter naming: str --> string commit | commitdiff | tree | snapshot
2020-06-13 Markus Triskaexplain .scryerrc configuration file commit | commitdiff | tree | snapshot
2020-06-13 Markus TriskaADDED: portray_clause/2, writing to a specified stream. commit | commitdiff | tree | snapshot
2020-06-13 Markus TriskaENHANCED: Read more characters at once, significantly... commit | commitdiff | tree | snapshot
2020-06-13 Markus TriskaADDED: read_line_to_chars/3, reading up to and includin... 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
next
FORK: A modern Prolog implementation written mostly in Rust