Merge remote-tracking branch 'aleonet/staging' into perf/program_pars…

…ing2
ProvableHQ · Oct 22, 2024 · 58be36d · 58be36d
2 parents b13d42a + dea322b
commit 58be36d
Show file tree

Hide file tree

Showing 482 changed files with 1,704 additions and 1,645 deletions.
diff --git a/.cargo/release-version b/.cargo/release-version
@@ -1 +1 @@
-v0.16.19
+v1.0.0
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.rustfmt.toml b/.rustfmt.toml
@@ -13,4 +13,4 @@ imports_layout = "HorizontalVertical"
 imports_granularity = "Crate"
 overflow_delimited_expr = true
 reorder_impl_items = true
-version = "Two"
+style_edition = "2024"