Merge branch 'main' into evidence-operator

april-tools · Sep 27, 2024 · fec7d47 · fec7d47
2 parents 1ebf146 + 2735c1b
commit fec7d47
Show file tree

Hide file tree

Showing 45 changed files with 712 additions and 4,214 deletions.
diff --git a/.github/workflows/static-check.yml b/.github/workflows/static-check.yml
@@ -31,7 +31,6 @@ jobs:
         run: |
           python -m pip install -U pip
           pip install -e .[dev]
-          bash ./benchmark/install_submodule.sh all
       - name: black
         id: tool-black
         if: steps.python-env-setup.outcome == 'success'

diff --git a/.gitmodules b/.gitmodules
@@ -1,9 +0,0 @@
-[submodule "benchmark/pyjuice/pyjuice-april"]
-	path = benchmark/pyjuice/pyjuice-april
-	url = https://github.com/april-tools/pyjuice.git
-[submodule "benchmark/juice.jl/ProbabilisticCircuits.jl"]
-	path = benchmark/juice.jl/ProbabilisticCircuits.jl
-	url = https://github.com/Juice-jl/ProbabilisticCircuits.jl
-[submodule "3rd-party-stubs"]
-	path = 3rd-party-stubs
-	url = https://github.com/april-tools/python-type-stubs.git

diff --git a/3rd-party-stubs b/3rd-party-stubs
diff --git a/benchmark/__init__.py b/benchmark/__init__.py
diff --git a/benchmark/cirkit/README.md b/benchmark/cirkit/README.md
diff --git a/benchmark/cirkit/__init__.py b/benchmark/cirkit/__init__.py
diff --git a/benchmark/cirkit/run_cirkit.py b/benchmark/cirkit/run_cirkit.py
diff --git a/benchmark/install_submodule.sh b/benchmark/install_submodule.sh
diff --git a/benchmark/juice.jl/ProbabilisticCircuits.jl b/benchmark/juice.jl/ProbabilisticCircuits.jl
diff --git a/benchmark/juice.jl/README.md b/benchmark/juice.jl/README.md