lambdaclass
diff --git a/‎Cargo.toml
Lines changed: 1 addition & 1 deletion b/‎Cargo.toml
Lines changed: 1 addition & 1 deletion
diff --git a/‎proving-system/stark/Cargo.toml renamed to ‎proving_system/stark/Cargo.toml b/‎proving-system/stark/Cargo.toml renamed to ‎proving_system/stark/Cargo.toml
diff --git a/‎proving-system/stark/src/air/constraints/boundary.rs renamed to ‎proving_system/stark/src/air/constraints/boundary.rs b/‎proving-system/stark/src/air/constraints/boundary.rs renamed to ‎proving_system/stark/src/air/constraints/boundary.rs
diff --git a/‎proving-system/stark/src/air/constraints/evaluation_table.rs renamed to ‎proving_system/stark/src/air/constraints/evaluation_table.rs b/‎proving-system/stark/src/air/constraints/evaluation_table.rs renamed to ‎proving_system/stark/src/air/constraints/evaluation_table.rs
diff --git a/‎proving-system/stark/src/air/constraints/evaluator.rs renamed to ‎proving_system/stark/src/air/constraints/evaluator.rs b/‎proving-system/stark/src/air/constraints/evaluator.rs renamed to ‎proving_system/stark/src/air/constraints/evaluator.rs
diff --git a/‎proving-system/stark/src/air/constraints/helpers.rs renamed to ‎proving_system/stark/src/air/constraints/helpers.rs b/‎proving-system/stark/src/air/constraints/helpers.rs renamed to ‎proving_system/stark/src/air/constraints/helpers.rs
diff --git a/‎proving-system/stark/src/air/constraints/mod.rs renamed to ‎proving_system/stark/src/air/constraints/mod.rs b/‎proving-system/stark/src/air/constraints/mod.rs renamed to ‎proving_system/stark/src/air/constraints/mod.rs
diff --git a/‎proving-system/stark/src/air/context.rs renamed to ‎proving_system/stark/src/air/context.rs b/‎proving-system/stark/src/air/context.rs renamed to ‎proving_system/stark/src/air/context.rs
diff --git a/‎proving-system/stark/src/air/frame.rs renamed to ‎proving_system/stark/src/air/frame.rs b/‎proving-system/stark/src/air/frame.rs renamed to ‎proving_system/stark/src/air/frame.rs
diff --git a/‎proving-system/stark/src/air/mod.rs renamed to ‎proving_system/stark/src/air/mod.rs b/‎proving-system/stark/src/air/mod.rs renamed to ‎proving_system/stark/src/air/mod.rs
diff --git a/‎proving-system/stark/src/air/trace.rs renamed to ‎proving_system/stark/src/air/trace.rs b/‎proving-system/stark/src/air/trace.rs renamed to ‎proving_system/stark/src/air/trace.rs
diff --git a/‎proving-system/stark/src/fri/fri_commitment.rs renamed to ‎proving_system/stark/src/fri/fri_commitment.rs b/‎proving-system/stark/src/fri/fri_commitment.rs renamed to ‎proving_system/stark/src/fri/fri_commitment.rs
diff --git a/‎proving-system/stark/src/fri/fri_decommit.rs renamed to ‎proving_system/stark/src/fri/fri_decommit.rs b/‎proving-system/stark/src/fri/fri_decommit.rs renamed to ‎proving_system/stark/src/fri/fri_decommit.rs
diff --git a/‎proving-system/stark/src/fri/fri_functions.rs renamed to ‎proving_system/stark/src/fri/fri_functions.rs b/‎proving-system/stark/src/fri/fri_functions.rs renamed to ‎proving_system/stark/src/fri/fri_functions.rs
diff --git a/‎proving-system/stark/src/fri/mod.rs renamed to ‎proving_system/stark/src/fri/mod.rs b/‎proving-system/stark/src/fri/mod.rs renamed to ‎proving_system/stark/src/fri/mod.rs
diff --git a/‎proving-system/stark/src/lib.rs renamed to ‎proving_system/stark/src/lib.rs b/‎proving-system/stark/src/lib.rs renamed to ‎proving_system/stark/src/lib.rs
diff --git a/‎proving-system/stark/src/prover.rs renamed to ‎proving_system/stark/src/prover.rs b/‎proving-system/stark/src/prover.rs renamed to ‎proving_system/stark/src/prover.rs
diff --git a/‎proving-system/stark/src/verifier.rs renamed to ‎proving_system/stark/src/verifier.rs b/‎proving-system/stark/src/verifier.rs renamed to ‎proving_system/stark/src/verifier.rs
@@ -3,5 +3,5 @@
 members = [
     "math",
     "crypto",
-    "proving-system/stark",
+    "proving_system/stark",
 ]
Original file line number	Diff line number	Diff line change
`@@ -3,5 +3,5 @@`
`3`	`3`	`members = [`
`4`	`4`	`"math",`
`5`	`5`	`"crypto",`
`6`		`- "proving-system/stark",`
	`6`	`+ "proving_system/stark",`
`7`	`7`	`]`