| 1 | ## Release History
|
| 2 |
|
| 3 | - **0.5.2** — *2015-04-10* — `show.def` -change
|
| 4 | - **0.5.1** — *2015-02-19* — Dependencies bump
|
| 5 | - We also work on 0.12 and iojs!
|
| 6 | - **0.5.0** — *2014-12-24* — Merry Chrismas 2014!
|
| 7 | - Documention cleanup
|
| 8 | - **0.5.0-beta.2** — *2014-12-21* — Beta 2!
|
| 9 | - Pair & tuple related code cleanup
|
| 10 | - Update `CONTRIBUTING.md`
|
| 11 | - Small documentation type fixes
|
| 12 | - Bless `jsc.elements` shrink
|
| 13 | - **0.5.0-beta.1** — *2014-12-20* — Beta!
|
| 14 | - `bless` don't close over (uses `this`)
|
| 15 | - Cleanup generator module
|
| 16 | - Other code cleanup here and there
|
| 17 | - **0.4.6** — *2014-11-30* — better shrinks & recursive
|
| 18 | - Implemented shrinks: [#51](https://github.com/jsverify/jsverify/issues/51)
|
| 19 | - `jsc.generator.recursive`: [#37](https://github.com/jsverify/jsverify/issues/37)
|
| 20 | - array, nearray & map generators return a bit smaller results (*log2* of size)
|
| 21 | - **0.4.5** — *2014-11-22* — stuff
|
| 22 | - `generator.combine` & `.flatmap`
|
| 23 | - `nat`, `integer`, `number` & and `string` act as objects too
|
| 24 | - **0.4.4** — *2014-11-22* — new generators
|
| 25 | - New generators: `nearray`, `nestring`
|
| 26 | - `generator.constant`
|
| 27 | - zero-ary `jsc.property` (it ∘ assert)
|
| 28 | - `jsc.sampler`
|
| 29 | - **0.4.3** — *2014-11-08* — jsc.property
|
| 30 | - Now you can write your bdd specs without any boilerplate
|
| 31 | - support for nat-litearls in dsl [#36](https://github.com/jsverify/jsverify/issues/36)
|
| 32 | ```js
|
| 33 | describe("Math.abs", function () {
|
| 34 | jsc.property("result is non-negative", "integer 100", function (x) {
|
| 35 | return Math.abs(x) >= 0;
|
| 36 | });
|
| 37 | });
|
| 38 | ```
|
| 39 | - Falsy generator [#42](https://github.com/jsverify/jsverify/issues/42)
|
| 40 | - **0.4.2** — *2014-11-03* — User environments for DSL
|
| 41 | - User environments for DSL
|
| 42 | - Generator prototype `map`, and shrink prototype `isomap`
|
| 43 | - JSON generator works with larger sizes
|
| 44 | - **0.4.1** Move to own organization in GitHub
|
| 45 | - **0.4.0** — *2014-10-27* — typify-dsl & more arbitraries.
|
| 46 | Changes from **0.3.6**:
|
| 47 | - DSL for `forall` and `suchthat`
|
| 48 | - new primitive arbitraries
|
| 49 | - `oneof` behaves as in QuickCheck (BREAKING CHANGE)
|
| 50 | - `elements` is new name of old `oneof`
|
| 51 | - Other smaller stuff under the hood
|
| 52 | - **0.4.0**-beta.4 generator.oneof
|
| 53 | - **0.4.0**-beta.3 Expose shrink and show modules
|
| 54 | - **0.4.0**-beta.2 Move everything around
|
| 55 | - Better looking README.md!
|
| 56 | - **0.4.0**-beta.1 Beta!
|
| 57 | - Dev Dependencies update
|
| 58 | - **0.4.0**-alpha8 oneof & record -dsl support
|
| 59 | - also `jsc.compile`
|
| 60 | - record is shrinkable!
|
| 61 | - **0.4.0**-alpha7 oneof & record
|
| 62 | - *oneof* and *record* generator combinators ([@fson](https://github.com/fson))
|
| 63 | - Fixed uint\* generators
|
| 64 | - Default test size increased to 10
|
| 65 | - Numeric generators with size specified are independent of test size ([#20](https://github.com/phadej/jsverify/issues/20))
|
| 66 | - **0.4.0**-alpha6 more primitives
|
| 67 | - int8, int16, int32, uint8, uint16, uint32
|
| 68 | - char, asciichar and asciistring
|
| 69 | - value → json
|
| 70 | - use eslint
|
| 71 | - **0.4.0**-alpha5 move david to be devDependency
|
| 72 | - **0.4.0**-alpha4 more typify
|
| 73 | - `suchchat` supports typify dsl
|
| 74 | - `oneof` → `elements` to be in line with QuickCheck
|
| 75 | - Added versions of examples using typify dsl
|
| 76 | - **0.4.0**-alpha3 David, npm-freeze and jscs
|
| 77 | - **0.4.0**-alpha2 Fix typo in readme
|
| 78 | - **0.4.0**-alpha1 typify
|
| 79 | - DSL for `forall`
|
| 80 | ```js
|
| 81 | var bool_fn_applied_thrice = jsc.forall("bool -> bool", "bool", check);
|
| 82 | ```
|
| 83 |
|
| 84 | - generator arguments, which are functions are evaluated. One can now write:
|
| 85 | ```js
|
| 86 | jsc.forall(jsc.nat, check) // previously had to be jsc.nat()
|
| 87 | ```
|
| 88 |
|
| 89 | - **0.3.6** map generator
|
| 90 | - **0.3.5** Fix forgotten rngState in console output
|
| 91 | - **0.3.4** Dependencies update
|
| 92 | - **0.3.3** Dependencies update
|
| 93 | - **0.3.2** `fun` → `fn`
|
| 94 | - **0.3.1** Documentation typo fixes
|
| 95 | - **0.3.0** Major changes
|
| 96 | - random generate state handling
|
| 97 | - `--jsverifyRngState` parameter value used when run on node
|
| 98 | - karma tests
|
| 99 | - use make
|
| 100 | - dependencies update
|
| 101 | - **0.2.0** Use browserify
|
| 102 | - **0.1.4** Mocha test suite
|
| 103 | - major cleanup
|
| 104 | - **0.1.3** gen.show and exception catching
|
| 105 | - **0.1.2** Added jsc.assert
|
| 106 | - **0.1.1** Use grunt-literate
|
| 107 | - **0.1.0** Usable library
|
| 108 | - **0.0.2** Documented preview
|
| 109 | - **0.0.1** Initial preview
|