]> 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-07-17 Mark Thomlook up operator precedence when arity does not match... commit | commitdiff | tree | snapshot
2020-07-17 Mark ThomMerge pull request #632 from triska/path_canonical commit | commitdiff | tree | snapshot
2020-07-16 Markus TriskaENHANCED: Reorder fields in time stamps so that (@... commit | commitdiff | tree | snapshot
2020-07-16 Markus TriskaADDED: file_modification_time/2, obtaining a time stamp. commit | commitdiff | tree | snapshot
2020-07-15 Markus TriskaADDED: path_canonical/2, obtaining the canonical absolu... commit | commitdiff | tree | snapshot
2020-07-14 Mark ThomMerge pull request #630 from triska/delete_file commit | commitdiff | tree | snapshot
2020-07-14 Markus TriskaADDED: working_directory/2, addressing a remaining... commit | commitdiff | tree | snapshot
2020-07-14 Markus TriskaADDED: delete_file/1, addressing a remaining aspect... commit | commitdiff | tree | snapshot
2020-07-12 Mark ThomMerge pull request #626 from triska/compact_crypto commit | commitdiff | tree | snapshot
2020-07-12 Markus Triskamention symmetric encryption and ChaCha20-Poly1305 commit | commitdiff | tree | snapshot
2020-07-12 Markus TriskaENHANCED: library(crypto): Retain the compact represent... commit | commitdiff | tree | snapshot
2020-07-12 Mark ThomMerge pull request #625 from triska/os commit | commitdiff | tree | snapshot
2020-07-11 Markus Triskause newly available character type in must_be/2 commit | commitdiff | tree | snapshot
2020-07-11 Markus TriskaADDED: library(os), reasoning about environment variables. commit | commitdiff | tree | snapshot
2020-07-10 Mark Thomslight update to the BiMetaTrans README commit | commitdiff | tree | snapshot
2020-07-10 Mark Thomupdate bimetatrans tests commit | commitdiff | tree | snapshot
2020-07-10 Mark Thomadd bimetatrans README commit | commitdiff | tree | snapshot
2020-07-03 Mark ThomMerge pull request #621 from notoria/tabling commit | commitdiff | tree | snapshot
2020-07-01 notoriaEnhanced the implementation commit | commitdiff | tree | snapshot
2020-07-01 notoriaAllowing paths in use_module(library(..)) (#604) commit | commitdiff | tree | snapshot
2020-07-01 notoriaRevert "allow paths in use_module(library(..)) (#604)" commit | commitdiff | tree | snapshot
2020-07-01 notoriaRevert "build.rs recursively delves into directories... commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust