Release v2.0.0

CHANGELOG.md

@@ -1,7 +1,7 @@
 # Change Log
 
 
-## [UNRELEASED]
+## v2.0.0 - 2018-06-19
 
 This version is based on Valgrind-3.13.0.
 

README.md

@@ -7,9 +7,11 @@ modes. This can be seen as an asynchronous variant of the CESTAC method, or a
 subset of Monte Carlo Arithmetic, performing only output randomization through
 random rounding.
 
-**NB:** This is the *development* version of Verrou, currently based on the
-latest stable release of Valgrind, v3.13.0. For other versions, please consult
-the list of [releases](https://github.com/edf-hpc/verrou/releases).
+**NB:** This is released version 2.0.0 of Verrou, based on Valgrind v3.13.0. The
+development version of Verrou can always be found in the
+[`master`](https://github.com/edf-hpc/verrou/) branch. For other versions,
+please consult the list of
+[releases](https://github.com/edf-hpc/verrou/releases).
 
 
 ## Installation

valgrind.diff

@@ -52,7 +52,7 @@ Index: configure.ac
 
  # Process this file with autoconf to produce a configure script.
 -AC_INIT([Valgrind],[3.13.0],[[email protected]])
-+AC_INIT([Valgrind],[3.13.0+verrou-dev],[[email protected]])
++AC_INIT([Valgrind],[3.13.0+verrou-2.0.0],[[email protected]])
  AC_CONFIG_SRCDIR(coregrind/m_main.c)
  AC_CONFIG_HEADERS([config.h])
  AM_INIT_AUTOMAKE([foreign subdir-objects])
@@ -169,7 +169,7 @@ Index: docs/xml/vg-entities.xml
  <!-- valgrind release + version stuff -->
  <!ENTITY rel-type    "Release">
 -<!ENTITY rel-version "3.13.0">
-+<!ENTITY rel-version "3.13.0+verrou-dev">
++<!ENTITY rel-version "3.13.0+verrou-2.0.0">
  <!ENTITY rel-date    "15 June 2017">
 
  <!-- where the docs are installed -->