]> 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-11-29 Mark Thomunsafe stack transition commit | commitdiff | tree | snapshot
2019-11-16 Mark ThomMerge branch 'master' of https://github.com/mthom/scrye... commit | commitdiff | tree | snapshot
2019-11-17 Mark Thomupdate version number v0.8.116 commit | commitdiff | tree | snapshot
2019-11-17 Mark Thombegin migrating tests to pure prolog, correct bug in... commit | commitdiff | tree | snapshot
2019-11-17 Mark Thomquote values and goals in equations, eliminate dead... commit | commitdiff | tree | snapshot
2019-11-16 Mark Thomtransition to unsafe and/or stack commit | commitdiff | tree | snapshot
2019-11-16 Mark Thommove more of the toplevel from rust into prolog commit | commitdiff | tree | snapshot
2019-10-30 Mark Thomadd warnings when initialization goals fail (#168) commit | commitdiff | tree | snapshot
2019-10-30 Mark Thomhandle asserts in modules a little better (#223, #224) commit | commitdiff | tree | snapshot
2019-10-29 Mark Thominstall asserted predicates into modules from initializ... commit | commitdiff | tree | snapshot
2019-10-28 Mark Thomreplace \n\r and \r\n by \n (#221) commit | commitdiff | tree | snapshot
2019-10-28 Mark Thomfinish #214, add needed ambiguity checks if 0 is the... commit | commitdiff | tree | snapshot
2019-10-27 Mark Thomcorrect sign/1 (#216) commit | commitdiff | tree | snapshot
2019-10-27 Mark Thomupdate to prolog_parser v0.8.34 with increased MAX_ARIT... commit | commitdiff | tree | snapshot
2019-10-27 Mark Thomadd sign/1 (#216) and gcd/2 (#217) as evaluable functor... commit | commitdiff | tree | snapshot
2019-10-27 Mark Thomcorrect #215 by fixing bug in ambiguity_check commit | commitdiff | tree | snapshot
2019-10-27 Mark Thomadd consult/1 and shorthand for consult/1 (#214) commit | commitdiff | tree | snapshot
2019-10-26 Mark Thomremove module from toplevel in unqualified use_module commit | commitdiff | tree | snapshot
2019-10-26 Mark Thomremove all mention of [clear] from the README commit | commitdiff | tree | snapshot
2019-10-26 Mark Thomreload files properly (re: #213) commit | commitdiff | tree | snapshot
2019-10-23 Mark Thomremove scratch comments from clpb.pl commit | commitdiff | tree | snapshot
2019-10-20 Mark Thomfix attributed variables bug causing weighted_maximum... v0.8.115 commit | commitdiff | tree | snapshot
2019-10-19 Mark Thomadd order preserving tidy_trail, fix random_labeling/2 v0.8.114 commit | commitdiff | tree | snapshot
2019-10-17 Mark Thomadd randomness predicates, small but consequential... v0.8.113 commit | commitdiff | tree | snapshot
2019-10-16 Mark ThomMerge pull request #206 from triska/master commit | commitdiff | tree | snapshot
2019-10-16 Markus Triskaweighted_maximum/3 now works commit | commitdiff | tree | snapshot
2019-10-16 Markus Triskasupport must_be(var, ...) commit | commitdiff | tree | snapshot
2019-10-16 Mark Thomeliminate lingering attribute goals v0.8.112 commit | commitdiff | tree | snapshot
2019-10-16 Mark Thombump toml version number to package clpb on crates v0.8.111 commit | commitdiff | tree | snapshot
2019-10-16 Mark ThomMerge pull request #204 from triska/master commit | commitdiff | tree | snapshot
2019-10-16 Markus TriskaADDED: CLP(B), Constraint Logic Programming over Boolea... commit | commitdiff | tree | snapshot
2019-10-16 Mark Thomdeallocate old stack frames (#201), start using tags... v0.8.110 commit | commitdiff | tree | snapshot
2019-10-15 Mark Thomre: issue #199 commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust