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