Release v2.1.0

This version is based on Valgrind-3.14.0. (fixes gh-19)

*** Added

- Preliminary filtering before Delta-Debugging: only functions performing
  floating-point operations are considered in the search for
  instabilities.

- Multiple variants of the Delta-Debugging algorithm: (fixes gh-14, gh-22)
  - srDDmin: variant of rDDmin, specifically tuned to accomodate for stochastic
    tests
  - drDDmin: variant of rDDmin where a preliminary binary search is performed in
    order to further reduce the search space.

- New reduced-precision backend (`--rounding-mode=float`). This back-end
  emulates the use of single-precision arithmetic for all double-precision
  variables. (fixes gh-11)

*** Changed

- Python3 port of `verrou_dd`.

.travis.yml

@@ -2,11 +2,11 @@ language: cpp
 dist: trusty
 sudo: required
 env:
-  - VALGRIND_VERSION=svn/VALGRIND_3_13_0
+  - VALGRIND_VERSION=VALGRIND_3_14_0
   - VALGRIND_VERSION=master
 matrix:
   allow_failures:
-    - env: VALGRIND_VERSION=svn/VALGRIND_3_13_0
+    - env: VALGRIND_VERSION=master
 before_install:
   - sudo apt-get -qq update
   - sudo apt-get install -y libc-dbg

CHANGELOG.md

@@ -1,7 +1,7 @@
 # Change Log
 
 
-## [UNRELEASED]
+## v2.1.0 - 2018-11-09
 
 This version is based on Valgrind-3.14.0. (fixes gh-19)
 

README.md

@@ -22,13 +22,22 @@ are likely to be responsible for Floating-Point-related instabilities.
 The documentation for Verrou is available as a dedicated [chapter in the
 Valgrind manual](http://edf-hpc.github.io/verrou/vr-manual.html).
 
+<p>&nbsp</p>
+
+**NB:** This is released version 2.1.0 of Verrou, based on Valgrind v3.14.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
 
 ### Get the sources
 
 The preferred way to get Verrou sources is to download the latest *stable*
-version: [v2.1.0](https://github.com/edf-hpc/verrou/releases/latest).
+version: [v2.1.0](https://github.com/edf-hpc/verrou/releases/tag/v2.1.0).
 Older versions are available in the [releases](https://github.com/edf-hpc/verrou/releases)
 page. After downloading one of the released versions, skip to the "Configure
 and build" section below.

release.md

@@ -1,7 +1,7 @@
 # Notes about the release process
 
 ```
-VERSION=2.0.0
+VERSION=2.1.0
 ```
 
 ## Update the valgrind patch

valgrind.diff

@@ -52,7 +52,7 @@ index c18ae5f..61c1f92 100644
 
  # Process this file with autoconf to produce a configure script.
 -AC_INIT([Valgrind],[3.14.0],[valgrind-users@lists.sourceforge.net])
-+AC_INIT([Valgrind],[3.14.0+verrou-dev],[valgrind-users@lists.sourceforge.net])
++AC_INIT([Valgrind],[3.14.0+verrou-2.1.0],[valgrind-users@lists.sourceforge.net])
  AC_CONFIG_SRCDIR(coregrind/m_main.c)
  AC_CONFIG_HEADERS([config.h])
  AM_INIT_AUTOMAKE([foreign subdir-objects])
@@ -169,7 +169,7 @@ index 6151c35..4905155 100644
  <!-- valgrind release + version stuff -->
  <!ENTITY rel-type    "Release">
 -<!ENTITY rel-version "3.14.0">
-+<!ENTITY rel-version "3.14.0+verrou-dev">
++<!ENTITY rel-version "3.14.0+verrou-2.1.0">
  <!ENTITY rel-date    "9 October 2018">
 
  <!-- where the docs are installed -->