Update Changelog for v0.12.0.

bondhugula · Nov 18, 2023 · 821e77b · 821e77b
1 parent a18ffa0
commit 821e77b
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/ChangeLog b/ChangeLog
@@ -1,4 +1,11 @@
-Until present
+version 0.12.0
+
+- all submodules (pet, piplib, isl, cloog-isl, clan, candl, openscop) updated
+to recent versions.
+
+- autoconf setup modernized
+
+- code modernized
 
 - 'pet' branch merged into master; pluto now needs pet and thus clang
   headers/libraries to build