]> 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-30 Mark ThomMerge pull request #606 from triska/files commit | commitdiff | tree | snapshot
2020-06-29 Mark Thombuild.rs recursively delves into directories during... commit | commitdiff | tree | snapshot
2020-06-27 Mark ThomMerge pull request #613 from cduret/csv_lib commit | commitdiff | tree | snapshot
2020-06-25 Cyrille Duretadd csv library commit | commitdiff | tree | snapshot
2020-06-24 Markus Triskadirectory_files/2: throw representation error if into_s... commit | commitdiff | tree | snapshot
2020-06-24 Markus Triskacomment on indexing, addressing a comment by @pmoura... commit | commitdiff | tree | snapshot
2020-06-24 Markus TriskaADDED: library(files), for reasoning about files and... commit | commitdiff | tree | snapshot
2020-06-22 Mark ThomMerge pull request #608 from triska/xml commit | commitdiff | tree | snapshot
2020-06-21 Markus Triskalibrary(format) is not used in this example commit | commitdiff | tree | snapshot
2020-06-21 Markus TriskaADDED: load_xml/3 to load XML files from streams, files... commit | commitdiff | tree | snapshot
2020-06-20 Mark ThomMerge pull request #607 from triska/xpath commit | commitdiff | tree | snapshot
2020-06-20 Markus Triskaimport member/2 from library(lists) commit | commitdiff | tree | snapshot
2020-06-20 Markus TriskaADDED: library(xpath) for convenient analysis of HTML... commit | commitdiff | tree | snapshot
2020-06-19 Mark ThomMerge pull request #596 from triska/sgml commit | commitdiff | tree | snapshot
2020-06-19 Mark ThomMerge pull request #605 from notoria/debug commit | commitdiff | tree | snapshot
2020-06-19 notoriaAdded an entry in README commit | commitdiff | tree | snapshot
2020-06-19 notoriaAdded library(debug) commit | commitdiff | tree | snapshot
2020-06-19 Markus TriskaADDED: library(sgml), providing load_html/3 to parse... commit | commitdiff | tree | snapshot
2020-06-19 Mark ThomMerge pull request #592 from triska/http_open commit | commitdiff | tree | snapshot
2020-06-19 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-06-19 Mark Thomallow paths in use_module(library(..)) (#604) commit | commitdiff | tree | snapshot
2020-06-19 Mark Thomclarify meaning of AssertItems and QueryItems in BiMeta... commit | commitdiff | tree | snapshot
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 Markus TriskaADDED: library(http/http_open), opening HTTP and HTTPS... 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
next
FORK: A modern Prolog implementation written mostly in Rust