update change log

potassco · Nov 6, 2021 · 8cde99d · 8cde99d
1 parent 82a435d
commit 8cde99d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,11 @@
 # Changes
 
 ## clingo 5.5.1
+  * extend theory class to get version information
+  * improve performance of `Model.symbol` (#296)
+  * tidy up `clingo.hh` header regarding C++17 deprecations (#344)
   * fix error handling while solving in Python API (#334)
+  * fix various outher bugs
 
 ## clingo 5.5.0
   * allow for using `not` as a theory operator (#193)