From 181d0b8fdff86a0e562272b6475b398747f5940d Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 20 Jun 2023 11:44:58 +0200
Subject: [PATCH] [release] Correct some typos and spacing in CHANGES.md file.

---
 CHANGES.md | 46 ++++++++++++++++++++++++++++++----------------
 1 file changed, 30 insertions(+), 16 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 00c3527..03525f6 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,28 +1,42 @@
 # 0.2 (19-06-2023)
 
-- [prover] Integration of the [nnenum](https://github.com/stanleybak/nnenum) prover.
-- [prover] Integration of the [$\alpha-\beta-$CROWN](https://github.com/stanleybak/nnenum) prover.
+- [prover] Integration of the [nnenum](https://github.com/stanleybak/nnenum)
+  prover.
+
+- [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] 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).
-  It includes detailed installation instructions,
-  examples on the ACAS-Xu and MNIST local
-  robustness benchmarks. Those examples use an experimental
-  interpretation language that is not fully documented yet.
-- [deps] Upgraded Why3 to 1.6.0 version
+
+- [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] 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 publicly available on our
+  [website](caisar-platform.com/documentation). It includes detailed
+  installation instructions, examples on the ACAS-Xu and MNIST local 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
   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
   the other columns.
-- Add builtin implementations of min-max scaling and z-score normalization for data normalization.
-- Add support for memory limitation and timeout.
+
+- Add support for memory and time limits.
+
 - Add debug logging options.
 
 # 0.1 (13-07-2022)
 
-First public release of CAISAR.
+- First public release of CAISAR.
-- 
GitLab