Prepare for V0.7 release

CHANGES.md

@@ -1,21 +1,28 @@
 
-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
 
 * Fix bug in SMTLIB syntax (v2.6 and poly), where the
   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

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`

VERSION

@@ -1 +1 @@
-0.6
+0.7

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