update changes + versions

potassco · Feb 15, 2024 · 0375aa6 · 0375aa6
1 parent 8bb77e0
commit 0375aa6
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 7 deletions.
diff --git a/.github/conda/conda_build_config.yaml b/.github/conda/conda_build_config.yaml
@@ -1,9 +1,9 @@
 python:
-    - 3.6
-    - 3.7
     - 3.8
     - 3.9
     - 3.10
+    - 3.11
+    - 3.12
 
 clingo:
     - 5.7

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -12,7 +12,7 @@ jobs:
       fail-fast: false
       matrix:
         os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
-        python-version: ['3.7']
+        python-version: ['3.10']
         include:
           - os: 'ubuntu-latest'
             generator: 'Ninja'

diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,9 @@
 # Changes
 
+## clingo-dl 1.5.0
+  * add dl-specific heuristic (#71)
+  * update to clingo 5.7.0
+
 ## clingo-dl 1.4.0
   * add support for ASPIF parsing
   * improve shifting of zero node

diff --git a/libclingo-dl/clingo-dl.h b/libclingo-dl/clingo-dl.h
@@ -30,11 +30,11 @@
 //! Major version number.
 #define CLINGODL_VERSION_MAJOR 1
 //! Minor version number.
-#define CLINGODL_VERSION_MINOR 4
+#define CLINGODL_VERSION_MINOR 5
 //! Revision number.
-#define CLINGODL_VERSION_REVISION 1
+#define CLINGODL_VERSION_REVISION 0
 //! String representation of version.
-#define CLINGODL_VERSION "1.4.1"
+#define CLINGODL_VERSION "1.5.0"
 
 #ifdef __cplusplus
 extern "C" {

diff --git a/third_party/catch b/third_party/catch