Merge branch 'matthias/format-like-ceno' into matthias/feat/goldilock…

…s-spartan

.github/workflows/ci.yml

@@ -51,7 +51,7 @@ jobs:
             for cargo_toml in $(git ls-files '**/Cargo.toml'); do
                 (
                     cd "$(dirname ${cargo_toml})"
-                    cargo fmt --check
+                    cargo +nightly fmt --check
                     cargo check --all-targets
                 )
             done

circ_blocks/src/ir/opt/inline.rs

@@ -7,7 +7,6 @@ use fxhash::FxHashSet;
 /// This is a tool for sweeping a list of equations, some of which define new variables as
 /// functions of previous ones, and eliminating these new variables, by substituting them
 /// elsewhere.
-///
 pub struct Inliner<'a> {
     /// Map from variables to their values.
     /// Invariant: no key variable in in any value variable.

circ_blocks/src/target/ilp/trans.rs

@@ -1,5 +1,4 @@
 //! Translation from IR to MILP
-//!
 
 // Needed until https://github.com/rust-lang/rust-clippy/pull/8183 is resolved.
 #![allow(clippy::identity_op)]