]> 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-10-01 Mark ThomMerge pull request #700 from triska/development_environment commit | commitdiff | tree | snapshot
2020-10-01 Markus TriskaDOC: Development environment recommendations. commit | commitdiff | tree | snapshot
2020-09-13 Mark ThomMerge pull request #698 from triska/file_must_exist commit | commitdiff | tree | snapshot
2020-09-13 Markus TriskaENHANCED: library(files): Error handling if requested... commit | commitdiff | tree | snapshot
2020-09-06 Mark Thomrefactor SystemClauseType::Open in anticipation of... commit | commitdiff | tree | snapshot
2020-09-06 Mark Thompreface the 'spelling error' with an explainer comment... commit | commitdiff | tree | snapshot
2020-09-05 Mark ThomMerge pull request #696 from triska/format_distinct_var... commit | commitdiff | tree | snapshot
2020-09-05 Markus TriskaFIXED: format_//2: Keep different variables distinct. commit | commitdiff | tree | snapshot
2020-09-02 Mark ThomMerge pull request #694 from triska/write_all commit | commitdiff | tree | snapshot
2020-09-02 Markus TriskaFIXED: reliably write all characters when using format/3 commit | commitdiff | tree | snapshot
2020-08-25 Mark ThomMerge pull request #689 from matteoredaelli/patch-1 commit | commitdiff | tree | snapshot
2020-08-25 Matteo RedaelliUpdate README.md commit | commitdiff | tree | snapshot
2020-08-24 Mark ThomMerge pull request #686 from triska/call_nth commit | commitdiff | tree | snapshot
2020-08-24 Markus TriskaADDED: First version of call_nth/2. commit | commitdiff | tree | snapshot
2020-08-24 Mark Thomflatten passage of cut point B in (,)/2, (->)/2 and... commit | commitdiff | tree | snapshot
2020-08-22 Mark ThomMerge pull request #682 from triska/dif_improvements commit | commitdiff | tree | snapshot
2020-08-22 Markus Triskadif/2: Omit entailed residual goals, if the arguments... commit | commitdiff | tree | snapshot
2020-08-22 Markus Triskadif/2: Succeed unconditionally if the arguments are... commit | commitdiff | tree | snapshot
2020-08-15 Mark ThomMerge pull request #677 from notoria/clpz_mod commit | commitdiff | tree | snapshot
2020-08-15 notoriaUse nonterminal fd_put//3 in mod from clpz commit | commitdiff | tree | snapshot
2020-08-15 notoriaSimplified the code commit | commitdiff | tree | snapshot
2020-08-15 notoriaUsing queue_goal//1 to correctly bind variables commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust