From 0c10669bd3f34cd53c22a4f38e588d1318ad0f0b Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 20 Jun 2023 09:31:05 +0200
Subject: [PATCH] [release] Remove spurious backticks in CHANGES.md

---
 CHANGES.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 4992f22..00c3527 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -4,8 +4,8 @@
 - [prover] Integration of the [$\alpha-\beta-$CROWN](https://github.com/stanleybak/nnenum) prover.
 - [prover] Integration of the AIMOS metamorphic testing prover.
 - [prover] Add printer for VNN-LIB format for property specification as supported by nnenum and $\alpha-\beta-$CROWN provers.
-- [prover] Support for multiple configurations of provers, using the `prover-altern` command line option.
-  An example of registering an alternate configuration is available under `config/caisar-detection.conf`
+- [prover] Support for multiple configurations of provers, using the prover-altern command line option.
+  An example of registering an alternate configuration is available under config/caisar-detection.conf
 - [prover] Add transformation to translate ONNX format into SMTLIB format for allowing SMTLIB2 compliant provers to work on neural networks.
 - [doc] The first version of the CAISAR manual is available
   publicly on our [website](caisar-platform.com/documentation).
@@ -14,7 +14,7 @@
   robustness benchmarks. Those examples use an experimental
   interpretation language that is not fully documented yet.
 - [deps] Upgraded Why3 to 1.6.0 version
-- Add `verify-json` command for verifying a robustness property via a JSON
+- Add verify-json command for verifying a robustness property via a JSON
   configuration file.
 - Add verification of datasets for classification tasks in terms of a specific
   CSV format: each line provides the label in 1st column, and data features in
-- 
GitLab