From 53b8435cefd8180b2711b7e935609e013f350848 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Wed, 20 Dec 2023 23:56:39 -0800 Subject: [PATCH 1/2] dep(z3): pin 4.12.2 in pyproject --- pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyproject.toml b/pyproject.toml index 8f785688..8e365444 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -22,7 +22,7 @@ classifiers = [ ] requires-python = ">=3.9" dependencies = [ - "z3-solver", + "z3-solver==4.12.2.0", ] dynamic = ["version"] From 82b3651ba9a4d10594e4a2348cd7730e7be05523 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Thu, 21 Dec 2023 00:08:06 -0800 Subject: [PATCH 2/2] remove install requirements.txt --- .github/workflows/test-external.yml | 4 +--- .github/workflows/test-ffi.yml | 1 - .github/workflows/test-long.yml | 1 - .github/workflows/test.yml | 1 - 4 files changed, 1 insertion(+), 6 deletions(-) diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml index 455ebb59..ab0748bf 100644 --- a/.github/workflows/test-external.yml +++ b/.github/workflows/test-external.yml @@ -61,9 +61,7 @@ jobs: python-version: "3.11" - name: Install dependencies - run: | - python -m pip install --upgrade pip - python -m pip install -r ./halmos/requirements.txt + run: python -m pip install --upgrade pip - name: Install Halmos run: python -m pip install -e ./halmos diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml index 2f99b859..8784a75e 100644 --- a/.github/workflows/test-ffi.yml +++ b/.github/workflows/test-ffi.yml @@ -33,7 +33,6 @@ jobs: run: | python -m pip install --upgrade pip python -m pip install pytest - python -m pip install -r requirements.txt - name: Install Halmos run: python -m pip install -e . diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml index 6a8d2f9b..ba20b7e3 100644 --- a/.github/workflows/test-long.yml +++ b/.github/workflows/test-long.yml @@ -37,7 +37,6 @@ jobs: run: | python -m pip install --upgrade pip python -m pip install pytest - python -m pip install -r requirements.txt - name: Install Halmos run: python -m pip install -e . diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ea389d0d..3440701f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -35,7 +35,6 @@ jobs: run: | python -m pip install --upgrade pip python -m pip install pytest - python -m pip install -r requirements.txt - name: Install Halmos run: python -m pip install -e .