Update branch

Author: toolCHAINZ

crackers/Cargo.toml

@@ -17,7 +17,7 @@ toml = ["dep:toml_edit"]
 bundled = ["z3/bundled"]
 
 [dependencies]
-jingle = { git = "https://github.com/toolCHAINZ/jingle", branch = "bool-translate", features = ["gimli"] }
+jingle = { git = "https://github.com/toolCHAINZ/jingle", branch = "main", features = ["gimli"] }
 z3 = { git = "https://github.com/toolCHAINZ/z3.rs.git", branch = "patch-1" }
 serde = { version = "1.0.203", features = ["derive"] }
 thiserror = "2.0"

crackers_python/Cargo.toml

@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 [dependencies]
 pyo3 = { version = "0.24", features = ["extension-module", "py-clone"] }
 crackers = {path = "../crackers", features = ["pyo3"]}
-jingle = {git = "https://github.com/toolCHAINZ/jingle.git", branch = "bool-translate", features = ["pyo3"]}
+jingle = {git = "https://github.com/toolCHAINZ/jingle.git", branch = "main", features = ["pyo3"]}
 toml_edit = "0.22.22"
 z3 = { git = "https://github.com/toolCHAINZ/z3.rs.git", branch = "patch-1" }