End-to-end multiply smoketest (#84)

Closes #81 Also includes an even wider multiply.
gussmith23 · Sep 23, 2024 · 9f82ca2 · 9f82ca2
1 parent d3df077
commit 9f82ca2
Show file tree

Hide file tree

Showing 29 changed files with 2,978 additions and 1,804 deletions.
diff --git a/.github/workflows/built-test-check-format.yml b/.github/workflows/built-test-check-format.yml
@@ -49,6 +49,9 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
+        with:
+          submodules: recursive
+          token: ${{ secrets.LAKEROAD_PRIVATE_PAT }}
 
       - name: Log in to the Container registry
         uses: docker/login-action@v3

diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lakeroad"]
+	path = lakeroad
+	url = git@github.com:uwsampl/lakeroad
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,8 +6,13 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-egglog = { git = "https://github.com/egraphs-good/egglog", rev = "325814fd90767b5e43c72bc2eb65e14ff0b8746c" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "757c52f6dcf8fe5b7b5eefb4bdc872ef70a5433a" }
 log = "0.4.20"
 egraph-serialize = "0.1"
 rand = "0.8.4"
 indexmap = "2.0.0"
+clap = "4.5.8"
+tempfile = "3.10.1"
+env_logger = "0.11.5"
+rpds = "1.1.0"
+ordered-float = "3"