Break cyclic build dependency

.github/workflows/coverage.yml

@@ -27,9 +27,6 @@ jobs:
       - name: Install nextest
         uses: taiki-e/install-action@nextest
 
-      - name: Build AIR constraints
-        run: cargo run --bin constraint-evaluation-generator
-
       - name: Collect coverage data
         run: cargo llvm-cov nextest --all-targets --lcov --output-path lcov.info
 

.github/workflows/main.yml

@@ -28,9 +28,6 @@ jobs:
       - name: Install nextest
         uses: taiki-e/install-action@nextest
 
-      - name: Build AIR constraints
-        run: cargo run --bin constraint-evaluation-generator
-
       - name: Run fmt
         run: cargo fmt --all -- --check
 

.gitignore

@@ -29,9 +29,6 @@ Cargo.lock
 # MSVC Windows builds of rustc generate these, which store debugging information
 *.pdb
 
-# Added by Makefile configuration
-/makefile-target
-
 ### VisualStudioCode ###
 .vscode/*
 !.vscode/settings.json

Cargo.toml

@@ -1,5 +1,11 @@
 [workspace]
-members = ["triton-vm", "constraint-evaluation-generator"]
+members = [
+    "triton-air",
+    "triton-constraint-builder",
+    "triton-constraint-circuit",
+    "triton-isa",
+    "triton-vm",
+]
 resolver = "2"
 
 [profile.test]
@@ -22,16 +28,20 @@ readme = "README.md"
 documentation = "https://triton-vm.org/spec/"
 
 [workspace.dependencies]
+air = { path = "triton-air", package = "triton-air" }
 anyhow = "1.0"
 arbitrary = { version = "1", features = ["derive"] }
 assert2 = "0.3"
 colored = "2.1"
+constraint-builder = { path = "triton-constraint-builder", package = "triton-constraint-builder" }
+constraint-circuit = { path = "triton-constraint-circuit", package = "triton-constraint-circuit" }
 clap = { version = "4", features = ["derive", "cargo", "wrap_help", "unicode", "string"] }
 criterion = { version = "0.5", features = ["html_reports"] }
 directories = "5"
 fs-err = "2.11.0"
 get-size = "0.1.4"
 indexmap = "2.2.6"
+isa = { path = "triton-isa", package = "triton-isa" }
 itertools = "0.13"
 lazy_static = "1.5"
 ndarray = { version = "0.16", features = ["rayon"] }
@@ -47,16 +57,19 @@ rand = "0.8.5"
 rand_core = "0.6.4"
 rayon = "1.10"
 serde = { version = "1", features = ["derive"] }
-serde_derive = "1"
 serde_json = "1.0"
 strum = { version = "0.26", features = ["derive"] }
 syn = "2.0"
 test-strategy = "0.4.0"
 thiserror = "1.0"
-trybuild = "1.0"
 twenty-first = "0.42.0-alpha.9"
 unicode-width = "0.1"
 
+[workspace.lints.rust]
+let_underscore_drop = "warn"
+missing_copy_implementations = "warn"
+missing_debug_implementations = "warn"
+
 [workspace.lints.clippy]
 cast_lossless = "warn"
 cloned_instead_of_copied = "warn"