]> 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-05-16 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-16 Mark Thomrestore old clpz.pl commit | commitdiff | tree | snapshot
2020-05-16 notoriaEnhanced Travis-CI (#512) commit | commitdiff | tree | snapshot
2020-05-16 Markus TriskaAuthenticated encryption in library(crypto), new encodi... commit | commitdiff | tree | snapshot
2020-05-16 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-16 Mark Thomcorrect mishandled Addr::CharCode case in eq_test ... commit | commitdiff | tree | snapshot
2020-05-15 Markus TriskaADDED: Password-based key derivation (PBKDF2) (#509) commit | commitdiff | tree | snapshot
2020-05-15 Matthieu WipliezWork in progress: add char_utf8bytes (#493) commit | commitdiff | tree | snapshot
2020-05-15 Mark Thomfix existence_error in atom_chars/2, atom_codes/2 ... commit | commitdiff | tree | snapshot
2020-05-15 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-15 Mark Thomimplement (div)/2 properly (#435) commit | commitdiff | tree | snapshot
2020-05-14 Mark ThomMerge pull request #502 from triska/hkdf commit | commitdiff | tree | snapshot
2020-05-14 Markus TriskaADDED: HMAC-based key derivation (HKDF) via crypto_data... commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #501 from triska/elliptic_curves commit | commitdiff | tree | snapshot
2020-05-13 Markus TriskaADDED: Reasoning about elliptic curves in library(crypto). commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #500 from triska/master commit | commitdiff | tree | snapshot
2020-05-13 Markus TriskaADDED: ripemd160 digest algorithm commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #496 from triska/master commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge pull request #498 from notoria/between commit | commitdiff | tree | snapshot
2020-05-13 notoriaEnhanced between/3 commit | commitdiff | tree | snapshot
2020-05-13 Markus TriskaADDED: crypto_data_hash/3, computing cryptographically... commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomresolve warning messages (#495) commit | commitdiff | tree | snapshot
2020-05-13 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomthrow existence_error on failed put_byte write (#492) commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomdo not unwrap stream write, TcpStream::shutdown results... commit | commitdiff | tree | snapshot
2020-05-13 Mark Thomreturn true on unmatching partial strings in eq_test... commit | commitdiff | tree | snapshot
2020-05-12 Mark ThomMerge pull request #494 from triska/master commit | commitdiff | tree | snapshot
2020-05-12 Markus TriskaADDED: crypto_n_random_bytes/2, creating cryptographica... commit | commitdiff | tree | snapshot
2020-05-11 Mark Thomreset current input in ReadQueryTerm commit | commitdiff | tree | snapshot
2020-05-11 Mark Thomrecord names of variables at root in write_term_to_heap... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomfix at_end_of_stream/1 (#479) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomchange VarNames to VNNames (#476) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomuse heap_pstr_iter in AtomChars (#482) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomset past end of stream, set Byte to -1, Char and Code... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomderef addr's in list of atom_codes (#484) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomcorrect failed partial string matching (#483) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomeliminate duplicates in term_variables/2, term_attribut... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomfix position property in stream_property/2 (#477) commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomplace cut after infinitely expanding VarList in write_t... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomchange wrong at_end_of_stream value 'end' to 'at' ... commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomdetect source_sink domain error in open/4 (#480) commit | commitdiff | tree | snapshot
2020-05-10 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-10 Mark Thomincrease prolog_parser version commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge pull request #475 from notoria/debug commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomhalt on Ctrl-D in toplevel (#473) commit | commitdiff | tree | snapshot
2020-05-09 notoriaRemoved the warnings commit | commitdiff | tree | snapshot
2020-05-09 notoriaImplemented Debug for the new data structures commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge branch 'sockets-develop' commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomupdate README.md commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomadd set_stream_position/2 commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge pull request #474 from triska/radix commit | commitdiff | tree | snapshot
2020-05-09 Mark ThomMerge pull request #471 from triska/master commit | commitdiff | tree | snapshot
2020-05-09 Markus TriskaADDED: ~Nr and ~NR are now available for radix conversions commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomadd at_end_of_stream/{0,1} commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomcarry past_end_of_stream in WrappedStreamInstance commit | commitdiff | tree | snapshot
2020-05-09 Mark Thomadd stream_property/2 commit | commitdiff | tree | snapshot
2020-05-08 Markus TriskaADDED: Initial version of library(crypto). commit | commitdiff | tree | snapshot
2020-05-07 Mark ThomMerge pull request #468 from notoria/cont commit | commitdiff | tree | snapshot
2020-05-07 notoriaEnhanced shift/1 commit | commitdiff | tree | snapshot
2020-05-06 Mark Thomadd peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2} commit | commitdiff | tree | snapshot
2020-05-06 Mark Thomadd sockets library, use new type_error function from... commit | commitdiff | tree | snapshot
2020-05-06 Mark Thomadd put_code/{1,2}, get_code/{1,2}, improve get_* predi... commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadd put_byte/{1,2}, put_char/{1,2} commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomcleanup on reading predicates, add get_char/{1,2} commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomclean up stream error handling, add get_byte/{1,2} commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomchange EOFCode eof_action from end_of_stream to end_of_... commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadd flush_output/{0,1}, past_end_of_stream commit | commitdiff | tree | snapshot
2020-05-05 Mark ThomMerge pull request #460 from notoria/get_single_char commit | commitdiff | tree | snapshot
2020-05-05 notoriaFixed ctrl-c issue with get_single_char/1 commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadd close/{1,2}, better EOF action handling in read_term commit | commitdiff | tree | snapshot
2020-05-05 Mark Thomadapt write_term family, add handling for EOF actions. commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomadd open/3, write_term/3 commit | commitdiff | tree | snapshot
2020-05-04 Mark ThomMerge pull request #453 from triska/master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomtest commit | commitdiff | tree | snapshot
2020-05-04 Markus Triskadisable goal expansion until #445 is resolved commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommerge commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomimprove answer substitutions at top-level commit | commitdiff | tree | snapshot
2020-05-04 Mark ThomMerge branch 'master' into sockets-develop commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomimprove answer substitutions at top-level commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommerge with master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommake term{_attributed_}variables/2 order {attributed... commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge pull request #450 from triska/master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomuse select/3 in gather_equations for detecting whether... commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomuse copy_term/3 as source of attribute goals commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomrestore previous focus upon character match failure... commit | commitdiff | tree | snapshot
2020-05-03 Markus Triskado not project queue/2 attributes to residual goals commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge pull request #449 from notoria/read commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomversion bump for prolog_parser commit | commitdiff | tree | snapshot
2020-05-03 notoriaCompleted read/1, ctrl-d is end_of_file commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomuse complete strings in FileToChars (#430) commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomProject goals of query variables (#362) commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomwrap support code in modules commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomadd term_attributed_variables/2 (#422) commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #443 from notoria/arithmetic commit | commitdiff | tree | snapshot
2020-05-02 notoriaImplemented expmod/4 commit | commitdiff | tree | snapshot
2020-05-02 Mark Thomremove now unnecessary dependencies, correct ordering... commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #440 from notoria/arithmetic commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust