]> 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-08-15 notoriaFixed variable bindings in mod from clpz commit | commitdiff | tree | snapshot
2020-08-15 notoriaMade mod stronger and addressed #675 commit | commitdiff | tree | snapshot
2020-08-14 Mark ThomMerge pull request #674 from notoria/clpz_mod commit | commitdiff | tree | snapshot
2020-08-13 notoriaMore improvement on mod from CLP(Z) commit | commitdiff | tree | snapshot
2020-08-13 notoriaImproved mod in CLP(Z) commit | commitdiff | tree | snapshot
2020-08-12 Mark ThomMerge pull request #671 from triska/clpb_restriction commit | commitdiff | tree | snapshot
2020-08-12 Markus TriskaFIXED: CLP(B): Delay BDD restriction until after the... commit | commitdiff | tree | snapshot
2020-08-11 Mark ThomMerge pull request #668 from triska/xbrl commit | commitdiff | tree | snapshot
2020-08-11 Markus Triskalibrary(sgml): Correctly parse XML leaf nodes that... commit | commitdiff | tree | snapshot
2020-08-11 Mark ThomMerge pull request #667 from triska/clpb_taut commit | commitdiff | tree | snapshot
2020-08-11 Markus Triskaomit internal attributes in residual goals when using... commit | commitdiff | tree | snapshot
2020-08-08 Mark Thomupdate prolog_parser version (#657) commit | commitdiff | tree | snapshot
2020-08-08 Mark ThomMerge branch 'master' of https://github.com/mthom/scrye... commit | commitdiff | tree | snapshot
2020-08-08 Mark Thomfix bugs in PausedPrologStream (#661) commit | commitdiff | tree | snapshot
2020-08-08 Mark ThomMerge pull request #656 from notoria/try_from_number commit | commitdiff | tree | snapshot
2020-08-08 Mark ThomMerge pull request #660 from triska/shorter_crypto commit | commitdiff | tree | snapshot
2020-08-06 Markus Triskaensure proper lengths of key and initialization vector commit | commitdiff | tree | snapshot
2020-08-06 Markus Triskaremove entailed constraint commit | commitdiff | tree | snapshot
2020-08-06 Markus Triskause self.deref(...) (see #653) commit | commitdiff | tree | snapshot
2020-08-06 Markus Triskause atom_argument_to_string commit | commitdiff | tree | snapshot
2020-08-06 notoriaFixed some conversion issues commit | commitdiff | tree | snapshot
2020-08-06 Mark Thomfix crash in CryptoPasswordHash (#653), conversion... commit | commitdiff | tree | snapshot
2020-08-06 Mark ThomMerge pull request #654 from triska/aad commit | commitdiff | tree | snapshot
2020-08-05 Markus Triskashorten, and increase readability commit | commitdiff | tree | snapshot
2020-08-05 Markus Triskause "octet" as a string literal, reducing the number... commit | commitdiff | tree | snapshot
2020-08-05 Markus TriskaADDED: library(crypto): Support for additional authenti... commit | commitdiff | tree | snapshot
2020-08-05 Mark Thomupdate prolog_parser to 0.8.67 (#648) commit | commitdiff | tree | snapshot
2020-08-04 Mark Thomunify '[]' with proper [] in atom_chars/2 (#569) commit | commitdiff | tree | snapshot
2020-08-03 Mark Thomreconcile '[]' and [] (#644), solve remaining conformit... commit | commitdiff | tree | snapshot
2020-07-31 Mark ThomMerge pull request #647 from notoria/newline commit | commitdiff | tree | snapshot
2020-07-31 notoriaImproved readline commit | commitdiff | tree | snapshot
2020-07-30 Mark ThomMerge pull request #645 from triska/curve25519 commit | commitdiff | tree | snapshot
2020-07-29 Markus TriskaADDED: library(crypto): ECDH key exchange over Curve255... commit | commitdiff | tree | snapshot
2020-07-27 Mark Thomthe indexer now categorizes partial strings only as... commit | commitdiff | tree | snapshot
2020-07-25 Mark ThomMerge pull request #639 from triska/flush_output commit | commitdiff | tree | snapshot
2020-07-25 Markus TriskaENHANCED: flush output for impure I/O (format/[2,3... commit | commitdiff | tree | snapshot
2020-07-23 Mark ThomMerge pull request #638 from triska/base64 commit | commitdiff | tree | snapshot
2020-07-22 Markus Triskathrow an error if a character cannot be encoded commit | commitdiff | tree | snapshot
2020-07-22 Markus Triskabetter error handling for options commit | commitdiff | tree | snapshot
2020-07-22 Markus Triskause newly available chars_base64/3 commit | commitdiff | tree | snapshot
2020-07-22 Markus TriskaADDED: chars_base64/3 for efficient bidirectional Base6... commit | commitdiff | tree | snapshot
2020-07-19 Mark ThomMerge pull request #636 from triska/path_segments commit | commitdiff | tree | snapshot
2020-07-19 Markus TriskaADDED: path_segments/2 for portable reasoning about... commit | commitdiff | tree | snapshot
2020-07-18 Mark ThomMerge pull request #633 from triska/file_time commit | commitdiff | tree | snapshot
2020-07-18 Mark ThomMerge pull request #631 from cduret/lib_csv commit | commitdiff | tree | snapshot
2020-07-18 Mark ThomMerge pull request #635 from triska/more_links commit | commitdiff | tree | snapshot
2020-07-18 Markus TriskaDOC: add more links to libraries, and include iso_ext... commit | commitdiff | tree | snapshot
2020-07-17 Mark Thomlook up operator precedence when arity does not match... commit | commitdiff | tree | snapshot
2020-07-17 Markus TriskaADDED: file_creation_time/2 and file_access_time/2. commit | commitdiff | tree | snapshot
2020-07-17 Mark ThomMerge pull request #632 from triska/path_canonical commit | commitdiff | tree | snapshot
2020-07-16 Cyrille Duretset domain_error exception & use format/3 with setup_ca... 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-15 Cyrille Duretset throw() to follow ISO recommendations commit | commitdiff | tree | snapshot
2020-07-15 794404add write_csv & change skip_header to with_header option 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
next
FORK: A modern Prolog implementation written mostly in Rust