HaLVM 2.4.0 bump, point submodule to halvm-ghc 8.0.2

GaloisInc · Mar 7, 2017 · a7a9a58 · a7a9a58
1 parent 3b63ece
commit a7a9a58
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -3,6 +3,10 @@ Change Log
 
 Please document any notables changes you made here.
 
+## v2.4.0
+
+Upgrade `halvm-ghc` to GHC 8.0.2
+
 ## v2.3.0
 
 In the 2.3.0 release, HaLVM will be upgraded to

diff --git a/configure.ac b/configure.ac
@@ -6,7 +6,7 @@ dnl - terms and conditions.
 dnl Author: Adam Wick <awick@galois.com>
 dnl BANNEREND
 AC_PREREQ(2.60)
-AC_INIT(HALVM,2.3.0,awick@galois.com,halvm)
+AC_INIT(HALVM,2.4.0,awick@galois.com,halvm)
 
 dnl -------------------------------------------------------------------------
 dnl

diff --git a/halvm-ghc b/halvm-ghc