Merge pull request #681 from dapphub/release

Release
dapphub · Jul 1, 2021 · a479bb0 · a479bb0
2 parents 3e150b9 + e2071c6
commit a479bb0
Show file tree

Hide file tree

Showing 5 changed files with 21 additions and 11 deletions.
diff --git a/src/dapp/CHANGELOG.md b/src/dapp/CHANGELOG.md
@@ -4,11 +4,18 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## unreleased
+## [0.33.0] - 2021-07-01
+
+### Added
+
+- A new type of test has been added: invariant testing, which runs a test function against a random
+  reachable contract state. More information in the [README](./README.md###invariant-testing)
+- A new flag for `dapp test`, `--ffi` allows users to enable the `ffi()` cheatcode in their tests
+
+### Changed
 
-- A new type of test has been added invariant testing,
-which runs a test function against a random reachable contract state. More information in the [README](./README.md###invariant-testing).
 - solc 0.8.6 is now the default compiler version
+- updated `nixpkgs` to the `21.05` channel
 
 ## [0.32.2] - 2021-03-22
 

diff --git a/src/dapp/default.nix b/src/dapp/default.nix
@@ -4,7 +4,7 @@
 
 stdenv.mkDerivation rec {
   name = "dapp-${version}";
-  version = "0.32.2";
+  version = "0.33.0";
   src = ./.;
 
   nativeBuildInputs = [makeWrapper shellcheck coreutils nodejs python3];

diff --git a/src/dapp/libexec/dapp/dapp---version b/src/dapp/libexec/dapp/dapp---version
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-echo dapp 0.32.2
+echo dapp 0.33.0
 # use a custom path is DAPP_SOLC is set
 SOLC=${DAPP_SOLC:-solc}
 $SOLC --version

diff --git a/src/hevm/CHANGELOG.md b/src/hevm/CHANGELOG.md
@@ -1,17 +1,20 @@
 # hevm changelog
 
-## unreleased
+## 0.47.0 - 2021-07-01
 
-### Added
-
-- Can now identify contracts with `immutable` by comparing bytecode modulo immutableReferences.
 - A new test runner for checking invariants against random reachable contract states.
 - `hevm symbolic` can search for solc 0.8 style assertion violations, and a new `--assertions` flag
     has been added allowing users to customize which assertions should be reported
-- z3 is now the default smt solver again
 - A new cheatcode `ffi(string[])` that executes an arbitrary command in the system shell
 
+### Changed
+
+- Z3 is once again the default smt solver
+- Updated nixpkgs to the `21.05` channel
+
+### Fixed
 
+- Sourcemaps for contracts containing `immutable` are now shown in the debug view.
 
 ## 0.46.0 - 2021-04-29
 

diff --git a/src/hevm/hevm.cabal b/src/hevm/hevm.cabal
@@ -2,7 +2,7 @@ cabal-version: 2.2
 name:
   hevm
 version:
-  0.46.0
+  0.47.0
 synopsis:
   Ethereum virtual machine evaluator
 description: