From c3b94decc46ad9a5df68fd61b4ad9524043aa572 Mon Sep 17 00:00:00 2001 From: Will Song Date: Wed, 15 Apr 2020 14:31:54 -0400 Subject: [PATCH] 1.5.0.0 -> 1.5.0 (#431) --- CHANGELOG.md | 5 +++-- package.yaml | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2b4d44a12..bec2c300e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,9 +1,10 @@ ## TODO -## 1.5.0.0 +## 1.5.0 +* Switch to x.y.z versioning scheme * Refactor campaign-related code (#384) -* Fixed hevm-related memory leak (#423) +* Fixed hevm-related memory leak (#423) * Fixed array mutation memory leak (#442) * Benchmark mode to run without tests (#420, #409) * Migrated to GitHub actions (#414, #402) diff --git a/package.yaml b/package.yaml index fc4403905..d24c88541 100644 --- a/package.yaml +++ b/package.yaml @@ -3,7 +3,7 @@ name: echidna author: Trail of Bits maintainer: Trail of Bits -version: 1.5.0.0 +version: 1.5.0 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS