Add changelogs

utwente-fmt · Nov 21, 2023 · bc94af8 · bc94af8
1 parent 5ce9004
commit bc94af8
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/package/debian/changelog b/package/debian/changelog
@@ -1,3 +1,11 @@
+dftres (1.2.0) bookworm; urgency=low
+
+  * Various bugfixes discovered preparing for QComp 2023.
+  * Add support for two-sided Until formulae.
+  * Support for more Jani features used in the QComp 2023 models.
+
+ -- Enno Ruijters <[email protected]>  Tue, 21 Nov 2023 20:07:00 +0200
+
 dftres (1.1.0) bullseye; urgency=low
 
   * Performance improvements.

diff --git a/package/dftres.spec b/package/dftres.spec
@@ -34,6 +34,10 @@ install -m 0755 package/DFTRES %{buildroot}/%{_bindir}
 %{_datadir}/dftres/DFTRES.jar
 
 %changelog
+* Tue Nov 21 2023 Enno Ruijters <[email protected]> - 1.2.0-1
+- Various bugfixes discovered preparing for QComp 2023.
+- Add support for two-sided Until formulae.
+- Support for more Jani features used in the QComp 2023 models.
 * Fri Oct 07 2022 Enno Ruijters <[email protected]> - 1.1.0-1
 - Performance improvements.
 - Support for Storm as DFT front-end.