Merge pull request #58 from metadsl/split-program-gen

Get numba compilation working

.github/workflows/CI.yml

@@ -23,54 +23,39 @@ jobs:
       fail-fast: false
       matrix:
         py:
+          - "3.12"
           - "3.11"
           - "3.10"
-          - "3.9"
-          - "3.8"
     steps:
       - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: Swatinem/rust-cache@v2
       - name: Setup python ${{ matrix.py }}
         uses: actions/setup-python@v4
         with:
           python-version: ${{ matrix.py }}
           cache: "pip"
-      - name: Cache cargo
-        uses: actions/cache@v3
-        with:
-          path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/
-          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
       - run: pip install -e .[test]
       - run: pytest
   mypy:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: Swatinem/rust-cache@v2
       - uses: actions/setup-python@v4
         with:
           python-version: "3.10"
           cache: "pip"
-      - name: Cache cargo
-        uses: actions/cache@v3
-        with:
-          path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/
-          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
       - run: pip install -e .[test] mypy pre-commit
       - run: pre-commit run --all-files mypy
       - run: pre-commit run --all-files stubtest
   docs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@1.71.1
+      - uses: Swatinem/rust-cache@v2
       - uses: actions/setup-python@v4
         with:
           python-version: "3.10"
@@ -79,16 +64,6 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install -y graphviz
-      - name: Cache cargo
-        uses: actions/cache@v3
-        with:
-          path: |
-            ~/.cargo/bin/
-            ~/.cargo/registry/index/
-            ~/.cargo/registry/cache/
-            ~/.cargo/git/db/
-            target/
-          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
       - run: pip install -e .[docs] pre-commit
       - run: pre-commit run --all-files docs
   linux:

docs/conf.py

@@ -111,7 +111,7 @@
 # nb_execution_excludepatterns = ()
 
 # Execution timeout (seconds)
-# nb_execution_timeout = 30
+nb_execution_timeout = 60 * 5
 
 # Use temporary folder for the execution current working directory
 # nb_execution_in_temp = False

docs/index.md

@@ -11,6 +11,8 @@ allowing you to use e-graphs in Python for optimization, symbolic computation, a
 pip install egglog
 ```
 
+_This follows [SPEC 0](https://scientific-python.org/specs/spec-0000/) in terms of what Python versions are supported_
+
 ```{code-cell} python
 from __future__ import annotations
 from egglog import *

docs/tutorials.md

@@ -2,4 +2,5 @@
 
 ```{toctree}
 tutorials/getting-started
+tutorials/sklearn
 ```