refactor: Remove stale functions and dependencies

The library `triton-constraint-builder` was still defining methods for
code generation that were never used, and should not be used.

Additionally, some of the now-split-up crates were declaring
dependencies they did not use anymore.

changelog: ignore

triton-constraint-builder/Cargo.toml

@@ -15,7 +15,6 @@ repository.workspace = true
 
 [dependencies]
 air.workspace = true
-arbitrary.workspace = true
 constraint-circuit.workspace = true
 isa.workspace = true
 itertools.workspace = true

triton-constraint-builder/src/lib.rs

@@ -17,40 +17,13 @@ use constraint_circuit::DualRowIndicator;
 use constraint_circuit::InputIndicator;
 use constraint_circuit::SingleRowIndicator;
 use itertools::Itertools;
-use proc_macro2::TokenStream;
-use std::fs::write;
 
-use crate::codegen::Codegen;
-use crate::codegen::RustBackend;
-use crate::codegen::TasmBackend;
 use crate::substitutions::AllSubstitutions;
 use crate::substitutions::Substitutions;
 
 pub mod codegen;
 mod substitutions;
 
-pub fn gen(mut constraints: Constraints, info: DegreeLoweringInfo) {
-    let substitutions = constraints.lower_to_target_degree_through_substitutions(info);
-    let degree_lowering_table_code = substitutions.generate_degree_lowering_table_code();
-
-    let constraints = constraints.combine_with_substitution_induced_constraints(substitutions);
-    let rust = RustBackend::constraint_evaluation_code(&constraints);
-    let tasm = TasmBackend::constraint_evaluation_code(&constraints);
-
-    write_code_to_file(
-        degree_lowering_table_code,
-        "triton-vm/src/table/degree_lowering_table.rs",
-    );
-    write_code_to_file(rust, "triton-vm/src/table/constraints.rs");
-    write_code_to_file(tasm, "triton-vm/src/air/tasm_air_constraints.rs");
-}
-
-fn write_code_to_file(code: TokenStream, file_name: &str) {
-    let syntax_tree = syn::parse2(code).unwrap();
-    let code = prettyplease::unparse(&syntax_tree);
-    write(file_name, code).unwrap();
-}
-
 #[derive(Debug, Clone)]
 pub struct Constraints {
     pub init: Vec<ConstraintCircuitMonad<SingleRowIndicator>>,

triton-vm/Cargo.toml

@@ -29,17 +29,12 @@ isa.workspace = true
 itertools.workspace = true
 lazy_static.workspace = true
 ndarray.workspace = true
-nom.workspace = true
 num-traits.workspace = true
-prettyplease.workspace = true
-proc-macro2.workspace = true
-quote.workspace = true
 rand.workspace = true
 rand_core.workspace = true
 rayon.workspace = true
 serde.workspace = true
 strum.workspace = true
-syn.workspace = true
 thiserror.workspace = true
 twenty-first.workspace = true
 unicode-width.workspace = true
@@ -49,7 +44,6 @@ assert2.workspace = true
 cargo-husky.workspace = true
 constraint-circuit.workspace = true
 fs-err.workspace = true
-pretty_assertions.workspace = true
 prettyplease.workspace = true
 proptest.workspace = true
 proptest-arbitrary-interop.workspace = true