Update changelog for release (#331)

CHANGELOG.md

@@ -1,3 +1,26 @@
+## 1.2.0.0
+
+* Warn on unused config keys (#301)
+* `default.yaml` kept up to date via CI checks (#301)
+* Improved shrinking (#310)
+* Solidity ABIv2 support (#284, #303, #317)
+* Early termination on property falure (#323)
+* Timeouts (#320)
+* HEVM updated to [2cc059b49cae613025b925f0273b906e25484b68]
+* Dictionary control (#312, #321)
+* Gas price fuzzing (#307)
+* Coverage bug fixed (#300)
+* Contract creation bug fixed (#293)
+* New startup message (#290)
+* Add `--version` flag (#285)
+* Support time/block delays (#282)
+* Support `crytic` arguments (#280)
+* Detect assertion failure (#276)
+* Use return values as constants (#262)
+* Reproducible testing with seeds (#254)
+
 ## 1.0.0.0
 
-Initial stable release
+* Initial stable release
+
+[2cc059b49cae613025b925f0273b906e25484b68]: https://github.com/dapphub/dapptools/tree/2cc059b49cae613025b925f0273b906e25484b68

package.yaml

@@ -2,7 +2,7 @@ name: echidna
 
 author: JP Smith
 
-version: 1.1.0.0
+version: 1.2.0.0
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS