]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2019-09-18 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2019-09-18 Mark Thomprint line numbers to trace the location of parsing... commit | commitdiff | tree | snapshot
2019-09-13 Mark ThomMerge pull request #159 from XVilka/patch-1 commit | commitdiff | tree | snapshot
2019-09-12 Anton KochkovCreate Travis CI config commit | commitdiff | tree | snapshot
2019-09-06 Mark Thomaddress issue #153 commit | commitdiff | tree | snapshot
2019-09-05 Mark Thomcheck for and load .scryerrc from the user's home directory commit | commitdiff | tree | snapshot
2019-09-03 Mark Thomfix read module if readline is not present commit | commitdiff | tree | snapshot
2019-09-03 Mark Thomslight formatting changes commit | commitdiff | tree | snapshot
2019-09-02 Mark Thomaddress issues #143, #150, #155 commit | commitdiff | tree | snapshot
2019-06-21 Mark Thomadd fail predicate commit | commitdiff | tree | snapshot
2019-06-16 Mark Thomre: issue #144 commit | commitdiff | tree | snapshot
2019-06-14 Mark Thomcorrect for issue #145 commit | commitdiff | tree | snapshot
2019-06-09 Mark Thomcorrect bug in between.pl, re: #146 commit | commitdiff | tree | snapshot
2019-05-25 Mark Thompass more numbers by reference commit | commitdiff | tree | snapshot
2019-05-22 Mark Thompass Number's by reference when possible commit | commitdiff | tree | snapshot
2019-05-14 Mark Thomcorrect #68 in variable_names conformity tests commit | commitdiff | tree | snapshot
2019-05-13 Mark Thomfix min/1, max/1 commit | commitdiff | tree | snapshot
2019-05-13 Mark Thomprocess float/1 and pi/0 commit | commitdiff | tree | snapshot
2019-05-13 Mark Thomrevamp evaluable functors, add missing evaluable functors commit | commitdiff | tree | snapshot
2019-05-10 Mark Thomprint full list in erroneous variable_names commit | commitdiff | tree | snapshot
2019-05-08 Mark Thomcorrect variable_names culprit commit | commitdiff | tree | snapshot
2019-05-08 Mark ThomMerge pull request #138 from XVilka/unmut commit | commitdiff | tree | snapshot
2019-05-08 Anton KochkovAdd .gitignore commit | commitdiff | tree | snapshot
2019-05-08 Anton KochkovRemove unnecessary mutability commit | commitdiff | tree | snapshot
2019-05-07 Mark Thomcorrect error reporting for variable_names write option commit | commitdiff | tree | snapshot
2019-05-07 Mark Thomupdate version number, correct printer commit | commitdiff | tree | snapshot
2019-05-06 Mark Thomquote solo characters wherever they lead atoms commit | commitdiff | tree | snapshot
2019-05-05 Mark Thomadd variable_names as a write option commit | commitdiff | tree | snapshot
2019-05-01 Mark Thomimprove matching on partial strings as lists commit | commitdiff | tree | snapshot
2019-05-01 Mark Thom update README commit | commitdiff | tree | snapshot
2019-05-01 Mark Thomadd remaining atomic term processing builtins, rename... commit | commitdiff | tree | snapshot
2019-04-30 Mark Thomrespect ambiguity with ., add ... to indicate more... commit | commitdiff | tree | snapshot
2019-04-29 Mark Thomadd unify_with_occurs_check/2 commit | commitdiff | tree | snapshot
2019-04-29 Mark Thomcorrect various bugs commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomfix odd response, toplevel issues commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomadd subsumes_term/2 commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomadd number_chars/2 commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomspeed up unification commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomaddress issues #121 - #123 commit | commitdiff | tree | snapshot
2019-04-27 Mark Thomre: issue #120 commit | commitdiff | tree | snapshot
2019-04-26 Mark Thomprinter: abbreviate lists with | commit | commitdiff | tree | snapshot
2019-04-26 Mark Thomuse ellipses to indicate infinite terms in printer commit | commitdiff | tree | snapshot
2019-04-26 Mark Thomre: issue #118 commit | commitdiff | tree | snapshot
2019-04-25 Mark Thomaddress issues #114, #115 commit | commitdiff | tree | snapshot
2019-04-25 Mark Thomdelay attributed variables goal, naively correct dif/2 commit | commitdiff | tree | snapshot
2019-04-24 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-24 Mark Thomaddress issues #111 and #108 commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-23 Mark Thommove setup_call_cleanup/3 and call_with_inference_limit... commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomvarious fixes commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomuse binary_pow for (^)/2 commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomuse binary_pow for (^)/2 commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-23 Mark Thominstantiate variables in numerical comparisons commit | commitdiff | tree | snapshot
2019-04-21 Mark Thomupdate prolog_parser, address conformity tests #3,... commit | commitdiff | tree | snapshot
2019-04-20 Mark Thomaddress issues #104, #105, #103 commit | commitdiff | tree | snapshot
2019-04-19 Mark Thomfix conformity testing #274 commit | commitdiff | tree | snapshot
2019-04-18 Mark Thomminor fixes commit | commitdiff | tree | snapshot
2019-04-15 Mark Thommake return_from_clause macro respect verify_attributes commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomfix conformity tests #279 and #296 commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomupdate commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomcorrect prolog_parser path commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomread from streams. commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomupdate prolog_parser, refine bracketing tests. commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomcorrect conformity test #234 commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomre: conformity test #181 commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomre: conformity test #181 commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomupdate README.md commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomresolve conformity test #138 (issue #52) commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomupdate README commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomfix more conformity errors commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomcorrect for issues #88, #89, #90, conformity test ... commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomcorrect prolog_parser package commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomcorrect bad atom_length/2, atom_chars/2 error reporting commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomadd atom_length/2, atom_chars/2, atom_codes/2 commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomadd current_op/3 commit | commitdiff | tree | snapshot
2019-04-05 Mark Thomremove $reify_switch commit | commitdiff | tree | snapshot
2019-04-05 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-05 Mark Thomfix conformity errors commit | commitdiff | tree | snapshot
2019-04-04 Mark Thommove forall/2 to non_iso, correct test cases. commit | commitdiff | tree | snapshot
2019-04-04 Mark Thommove forall/2 to non_iso, correct test cases. commit | commitdiff | tree | snapshot
2019-04-03 Mark ThomMerge pull request #83 from pmoura/add_forall_2_predicate commit | commitdiff | tree | snapshot
2019-04-03 Mark Thomupdate parser commit | commitdiff | tree | snapshot
2019-04-03 Mark Thomupdate parser to correct additional conformity errors... commit | commitdiff | tree | snapshot
2019-04-03 Paulo Mouraadd de facto standard forall/2 predicate as a built... commit | commitdiff | tree | snapshot
2019-04-02 Mark Thompass more conformity tests commit | commitdiff | tree | snapshot
2019-04-02 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2019-04-02 Mark Thomre: #80, #52 commit | commitdiff | tree | snapshot
2019-04-01 Mark ThomMerge pull request #82 from KellerFuchs/readme commit | commitdiff | tree | snapshot
2019-04-01 The Fox in... README: Use checkboxes to track item completion in... commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomfix term_variables, add (^)/2 as an actual evaluable... commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomre: #75, #52 commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomadd structural tests for strings as char code lists commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomadd support for char codes commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomdo a better job recognizing and bracketing operators commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomclean up heap_print.rs commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomcorrect comma printing commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust