Update python bindings for op split (#9)

twizmwazin · Oct 30, 2024 · 101d9be · 101d9be
1 parent a366e66
commit 101d9be
Show file tree

Hide file tree

Showing 36 changed files with 1,436 additions and 885 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -2,6 +2,7 @@
 members = [
     "crates/clarirs_num",
     "crates/clarirs_core",
+    "crates/clarirs_py",
 ]
 resolver = "2"
 
@@ -14,4 +15,4 @@ repository = "https://github.com/twizmwazin/clarirs.git"
 
 [workspace.lints.clippy]
 all = "warn"
-cargo = "deny"
+cargo = "warn"
diff --git a/crates/claripy/src/ast/base.rs b/crates/claripy/src/ast/base.rs