]> 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-10-15 Mark Thomre: issues #200, #201 commit | commitdiff | tree | snapshot
2019-10-14 Mark ThomMerge pull request #198 from XVilka/patch-2 commit | commitdiff | tree | snapshot
2019-10-14 Mark ThomMerge pull request #197 from dingelish/edition commit | commitdiff | tree | snapshot
2019-10-14 Anton KochkovRun tests on Travis commit | commitdiff | tree | snapshot
2019-10-14 Yu DingUpgrade to edition. Bump up edition in Cargo.toml commit | commitdiff | tree | snapshot
2019-10-14 Mark ThomMerge pull request #191 from dingelish/master commit | commitdiff | tree | snapshot
2019-10-14 Mark Thomre: issue #196 commit | commitdiff | tree | snapshot
2019-10-13 Mark Thomhandle TCO when setting up verify_attributes interrupts commit | commitdiff | tree | snapshot
2019-10-13 Mark Thomremove nondeterminism from put_atts as a result of... commit | commitdiff | tree | snapshot
2019-10-13 Mark Thomcorrect off by 1 error in verify_attrs_interrupt, rever... commit | commitdiff | tree | snapshot
2019-10-12 Mark Thomfix verify_attributes_stepper bug: proceed now consider... commit | commitdiff | tree | snapshot
2019-10-12 Mark Thomcorrect latest out of bounds panic, use first argument... commit | commitdiff | tree | snapshot
2019-10-09 Yu DingFix some old Rust codes commit | commitdiff | tree | snapshot
2019-10-09 Mark Thomcopy terms to global variable blackboard, fix attribute... commit | commitdiff | tree | snapshot
2019-10-08 Mark Thomfix several issues with goal expansion, crashing after... commit | commitdiff | tree | snapshot
2019-10-06 Mark Thomupdate prolog_parser to v0.8.33 commit | commitdiff | tree | snapshot
2019-10-05 Mark Thomimplement DCGs using the logical expansion of the draft... commit | commitdiff | tree | snapshot
2019-10-05 Mark Thomfixes for issues #185 and #181 commit | commitdiff | tree | snapshot
2019-10-04 Mark Thomcorrect dcg handling of cuts commit | commitdiff | tree | snapshot
2019-10-04 Mark Thomprint errors with line numbers in GNU style commit | commitdiff | tree | snapshot
2019-10-04 Mark Thomperform singleton variable scans on top level terms... commit | commitdiff | tree | snapshot
2019-10-04 Mark Thommake attribute_goals a nonterminal commit | commitdiff | tree | snapshot
2019-10-04 Mark Thomfix goal expansion in disjunctions, add warnings for... commit | commitdiff | tree | snapshot
2019-10-03 Mark Thomdon't add default index for dynamic predicates unless... commit | commitdiff | tree | snapshot
2019-10-03 Mark Thomupdate version commit | commitdiff | tree | snapshot
2019-10-03 Mark Thomproperly handle undefined predicates declared dynamic commit | commitdiff | tree | snapshot
2019-10-02 Mark Thomprint attributes of variables when attribute_goals... commit | commitdiff | tree | snapshot
2019-10-02 Mark Thomcorrect handling of ! in phrase/{2,3}, get rid of extra... commit | commitdiff | tree | snapshot
2019-10-02 Mark Thomproperly expand goals in initialization directives commit | commitdiff | tree | snapshot
2019-10-02 Mark Thomremove readline_compat_rs reference from README commit | commitdiff | tree | snapshot
2019-10-02 Mark Thomexpand goals in initialization directives. commit | commitdiff | tree | snapshot
2019-10-02 Mark Thomeliminate extraneous choice point in $get_attr commit | commitdiff | tree | snapshot
2019-10-01 Mark Thomadd the initialization directive commit | commitdiff | tree | snapshot
2019-09-30 Mark Thomlimit scope of raw mode on stdout to allow interrupts... commit | commitdiff | tree | snapshot
2019-09-30 Mark Thomreturn to toplevel from a long running query after... commit | commitdiff | tree | snapshot
2019-09-30 Mark Thomfix improper consolidation of DCG variables commit | commitdiff | tree | snapshot
2019-09-30 Mark Thomadd use_module/{1,2} as full fledged predicates commit | commitdiff | tree | snapshot
2019-09-29 Mark Thomsupport loading of modules from files specified at... commit | commitdiff | tree | snapshot
2019-09-29 Mark Thomdevour dangling whitespace before checking for EOF commit | commitdiff | tree | snapshot
2019-09-27 Mark Thomtarget out_dir in build script commit | commitdiff | tree | snapshot
2019-09-27 Mark Thommake *.pl files in src/prolog/lib available from librar... commit | commitdiff | tree | snapshot
2019-09-26 Mark Thommigrate to rustyline, add history support commit | commitdiff | tree | snapshot
2019-09-26 Mark ThomMerge pull request #164 from triska/master commit | commitdiff | tree | snapshot
2019-09-26 Mark Thomignore single line comments after end token read commit | commitdiff | tree | snapshot
2019-09-25 Markus TriskaADDED: library(si) for safe type tests. commit | commitdiff | tree | snapshot
2019-09-23 Mark ThomMerge pull request #151 from Atul9/cargo-fmt commit | commitdiff | tree | snapshot
2019-09-23 Atul BhosaleFormat code using 'cargo fmt' commit | commitdiff | tree | snapshot
2019-09-22 Mark Thomreplace HashMap with IndexMap and HashSet with IndexSet commit | commitdiff | tree | snapshot
2019-09-22 Mark Thomadd wam_instructions/2 to render predicate instructions... commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust