rename zero_nova crate to nova

powdr-labs · Aug 4, 2023 · b7fa103 · b7fa103
1 parent 8dc40f5
commit b7fa103
Show file tree

Hide file tree

Showing 16 changed files with 2 additions and 252 deletions.
diff --git a/backend/Cargo.toml b/backend/Cargo.toml
@@ -9,7 +9,7 @@ nova = ["dep:nova"]
 
 [dependencies]
 halo2 = { path = "../halo2", optional = true }
-nova = { path = "../zero_nova", optional = true }
+nova = { path = "../nova", optional = true }
 pil_analyzer = { path = "../pil_analyzer" }
 number = { path = "../number" }
 strum = { version = "0.24.1", features = ["derive"] }

diff --git a/zero_nova/Cargo.toml → nova/Cargo.toml b/zero_nova/Cargo.toml → nova/Cargo.toml
diff --git a/zero_nova/Makefile → nova/Makefile b/zero_nova/Makefile → nova/Makefile
diff --git a/zero_nova/src/circuit_builder.rs → nova/src/circuit_builder.rs b/zero_nova/src/circuit_builder.rs → nova/src/circuit_builder.rs
diff --git a/zero_nova/src/lib.rs → nova/src/lib.rs b/zero_nova/src/lib.rs → nova/src/lib.rs
diff --git a/zero_nova/src/nonnative/bignat.rs → nova/src/nonnative/bignat.rs b/zero_nova/src/nonnative/bignat.rs → nova/src/nonnative/bignat.rs
diff --git a/zero_nova/src/nonnative/mod.rs → nova/src/nonnative/mod.rs b/zero_nova/src/nonnative/mod.rs → nova/src/nonnative/mod.rs
diff --git a/zero_nova/src/nonnative/util.rs → nova/src/nonnative/util.rs b/zero_nova/src/nonnative/util.rs → nova/src/nonnative/util.rs
diff --git a/zero_nova/src/prover.rs → nova/src/prover.rs b/zero_nova/src/prover.rs → nova/src/prover.rs
diff --git a/zero_nova/src/utils.rs → nova/src/utils.rs b/zero_nova/src/utils.rs → nova/src/utils.rs
diff --git a/zero_nova/zero.asm → nova/zero.asm b/zero_nova/zero.asm → nova/zero.asm
diff --git a/powdr_cli/Cargo.toml b/powdr_cli/Cargo.toml
@@ -17,7 +17,7 @@ parser = { path = "../parser" }
 riscv = { path = "../riscv" }
 number = { path = "../number" }
 halo2 = { path = "../halo2", optional = true }
-nova = { path = "../zero_nova", optional = true }
+nova = { path = "../nova", optional = true }
 backend = { path = "../backend" }
 pilopt = { path = "../pilopt" }
 strum = { version = "0.24.1", features = ["derive"] }

diff --git a/zero_nova/init.json b/zero_nova/init.json
diff --git a/zero_nova/nova.params b/zero_nova/nova.params
diff --git a/zero_nova/steps.json b/zero_nova/steps.json
diff --git a/zero_nova/zero.zok b/zero_nova/zero.zok