2.6 release prep

.gitignore

@@ -9,6 +9,8 @@
 dist
 dist-newstyle
 docs/_build
+docs/en/_build
+docs/jp/_build
 /web/pact.js
 /web/pact.min.js
 /web/npm-debug.log

CHANGELOG.md

@@ -1,3 +1,27 @@
+2.6.0
+---
+* Pact Interfaces
+* Localized docs in JP, EN
+* Add configurable gas limit for `pact -s`
+* Remove file server from `pact -s`
+* Fix empty list runtime type enforcement bug
+* Enforce top-level only for builtins `pact-version`, `enforce-pact-version`, etc
+* Various changes to support web repl
+* use cryptonite for Blake2 implementation
+* new `str-to-int` builtin
+* Numerous fixes to pact reference docs
+* New compiler using megaparsec
+* analysis supports `str-to-int` and `read-integer` built-ins
+* new `row-exists`, `read`, `column-of`, `column-written` properties
+* `@model` now always takes a list when applied on modules, functions, or schemas.
+* properties can now be applied to an entire module
+* Fix bug in analysis impl of decimal arithmetic
+* Model falsifications are now presented as execution traces with example values
+
+2.5.1
+---
+* Fix keyset enforce of old keyset
+
 2.5.0
 ---
 * Pluggable gas model with simple fixed-rate implementation

docs/en/conf.py

@@ -61,9 +61,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = u'2.5.0'
+version = u'2.6.0'
 # The full version, including alpha/beta/rc tags.
-release = u'2.5.0'
+release = u'2.6.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

docs/en/pact-functions.md

@@ -287,7 +287,7 @@ Return ID if called during current pact execution, failing if not.
 Obtain current pact build version. 
 ```lisp
 pact> (pact-version)
-"2.5.0"
+"2.6.0"
 ```
 
 Top level only: this function will fail if used in module code.
@@ -385,12 +385,12 @@ pact> (sort ['age] [{'name: "Lin",'age: 30} {'name: "Val",'age: 25}])
 *base* `integer` *str-val* `string` *→* `integer`
 
 
-Compute the integer value of STR-VAL in base 10, or in BASE if specified. STR-VAL must be <= 128 chars in length and BASE must be between 2 and 16. 
+Compute the integer value of STR-VAL in base 10, or in BASE if specified. STR-VAL must be <= 128 chars in length and BASE must be between 2 and 16. Each digit must be in the correct range for the base. 
 ```lisp
-pact> (str-to-int 16 "123456")
-1193046
-pact> (str-to-int "abcdef123456")
-1123455123456
+pact> (str-to-int 16 "abcdef123456")
+188900967593046
+pact> (str-to-int "123456")
+123456
 ```