Update CHANGELOG.md

NeuralNetworkVerification · Dec 7, 2023 · 15e8557 · 15e8557
1 parent 86e1e0d
commit 15e8557
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog
 
+## Version 1.2.0
+
+* Added proof producing versions for Sign, Max, Absolute Value and Disjunction constraints
+
 ## Version 1.1.0
 
 * Added support for onnx networks with `tanh` nodes to command-line interface.