From fcfc9d93308dde9e48c82849be9ba56878ed3e56 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 8 Jun 2022 13:29:19 +0200
Subject: [PATCH] Prepare for V0.7 release

---
 CHANGES.md      | 15 ++++++++++++---
 HACKING.md      |  1 +
 VERSION         |  2 +-
 src/bin/main.ml |  2 +-
 4 files changed, 15 insertions(+), 5 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 4cedccf8b..3376b825a 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,11 +1,13 @@
 
-next
+v0.7
 ----
 
 ### UI
 
 - Added source input snippet printing for errors and warnings
-
+- Fix a bug affecting warning options (e.g.
+  `dolmen --warn=+all` triggered an uncaught exception that is
+  now fixed)
 
 ### Parsing
 
@@ -13,9 +15,14 @@ next
   define-funs-rec syntax construction expected an open
   paren at the end instead of a closing paren
 
-
 ### Typing
 
+- Complete the typing of alt-ergo's builtins
+  PR#89
+- Added exhaustivity and redundant pattern matching analysis
+  (redundant patterns trigger a warning, whereas inexhaustive
+  pattern matching trigger a typing error)
+  part of PR#89
 - Removed the typing of real and extended bitvector literals
   from the Float theory. These are not part of the FP
   specification, so it's better for Dolmen to be strict.
@@ -35,6 +42,7 @@ next
   is unbound.
   PR#81
 
+
 ### API
 
 - Added proper abstractions for names and paths.
@@ -54,6 +62,7 @@ next
   function
 - the `Dolmen_loop` library now has an added dependency on
   `pp_loc` (used for the source input printing)
+- updated version bounds on `cmdliner` and `pp_locs`
 
 
 v0.6
diff --git a/HACKING.md b/HACKING.md
index 161366525..85403c5b7 100644
--- a/HACKING.md
+++ b/HACKING.md
@@ -171,6 +171,7 @@ and if not, will print a diff to update the `syntax.messages` file. Running
 Release checklist/workflow:
 
 - update version number in `VERSION`
+- update version number in src/bin/main.ml
 - update `CHANGES.md` with the new version number
 - run `dune-release lint`
 - run `dune-release tag`
diff --git a/VERSION b/VERSION
index 5a2a5806d..eb49d7c7f 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.6
+0.7
diff --git a/src/bin/main.ml b/src/bin/main.ml
index 4faad2476..d203b9bd5 100644
--- a/src/bin/main.ml
+++ b/src/bin/main.ml
@@ -112,7 +112,7 @@ let doc conf t =
 (* ********* *)
 
 let () =
-  let version = "0.1" in
+  let version = "0.7" in
   let exits =
     List.map (fun code ->
         let retcode, doc = Dolmen_loop.Code.descr code in