update change + bump versions

potassco · Feb 15, 2024 · 8c911b1 · 8c911b1
1 parent 88528e2
commit 8c911b1
Show file tree

Hide file tree

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

diff --git a/.github/workflows/test.yml b/.github/workflows/test.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
@@ -12,6 +12,7 @@
 * add option to enable python script tags
 
 ## clingo-lpx 1.2.0
+
 * add support for ASPIF parsing
 * add phase selection heuristic
 * add bound propagation

diff --git a/third_party/catch b/third_party/catch
diff --git a/third_party/imath b/third_party/imath
-Original file line number
+Diff line change
@@ -1,8 +1,9 @@
     python:
-        - 3.7
         - 3.8
         - 3.9
         - 3.10
+        - 3.11
+        - 3.12
     clingo:
         - 5.7
@@ Expand Down @@
+12 −3		.github/workflows/unit-tests.yml
+1 −1		README.md
+7 −6		doc.md
+3 −3		doc.md.in
+3 −2		imrat.h
+3 −0		tests/gmp-compat-test/genctest.py
+2 −0		tests/gmp-compat-test/gmpapi.py
+7 −6		tools/findthreshold.py
+2 −0		tools/mkdoc.py