Fix?

Author: toolCHAINZ

crackers_python/crackers/__init__.py

@@ -1,5 +1,6 @@
 from z3 import z3  # necessary to ensure z3 is loaded on macOS # noqa
-from ._internal import jingle, crackers
+from ._internal import jingle, crackers # noqa
 
 State = jingle.State
+ModeledBlock = jingle.ModeledBlock
 ResolvedVarNode = jingle.ResolvedVarNode

crackers_python/crackers/config/__init__.py

@@ -4,4 +4,14 @@
 from crackers.config.sleigh import SleighConfig
 from crackers.config.specification import ReferenceProgramConfig
 from crackers.config.synthesis import SynthesisConfig
-from crackers.config.crackers import CrackersConfig
+from crackers.config.crackers import CrackersConfig
+
+__all__ = [
+    "ConstraintConfig",
+    "LibraryConfig",
+    "MetaConfig",
+    "SleighConfig",
+    "ReferenceProgramConfig",
+    "SynthesisConfig",
+    "CrackersConfig",
+]

crackers_python/crackers/config/crackers.py

@@ -1,5 +1,4 @@
-import json
-from pydantic import BaseModel, Field
+from pydantic import BaseModel
 from crackers.config.constraint import ConstraintConfig
 from crackers.config.library import LibraryConfig
 from crackers.config.meta import MetaConfig

crackers_python/crackers/config/log_level.py

@@ -1,4 +1,3 @@
-import logging
 from enum import Enum
 
 class LogLevel(Enum):

crackers_python/crackers/crackers_types.py

@@ -1,2 +1,3 @@
 import z3 # noqa
+from _internal.crackers import * # noqa
 

crackers_python/crackers/jingle.py

@@ -1,2 +1,19 @@
-from ._internal.jingle import *
+from ._internal import jingle as _jingle
 
+Instruction = _jingle.Instruction
+ModeledBlock = _jingle.ModeledBlock
+ModeledInstruction = _jingle.ModeledInstruction
+PcodeOperation = _jingle.PcodeOperation
+SleighContext = _jingle.SleighContext
+State = _jingle.State
+ResolvedVarNode = _jingle.ResolvedVarNode
+
+__all__ = [
+    "Instruction",
+    "ModeledBlock",
+    "ModeledInstruction",
+    "PcodeOperation",
+    "SleighContext",
+    "State",
+    "ResolvedVarNode",
+]

crackers_python/find_venv_library_path.py

@@ -1,5 +1,3 @@
-import sys
-import os
 import sysconfig
 
 # Get the virtual environment's lib directory

crackers_python/gh_actions_setup.py

@@ -50,8 +50,8 @@ def write_env_file(z3_header_path, z3_lib_path):
         f.write(
             f"export RUSTFLAGS='-L native={z3_lib_path} -C link-arg=-Wl,-rpath,$ORIGIN/../z3/lib'"
         )
-    print(f"\n✅ Z3 environment variables written to `{ENV_FILE}`.")
-    print(f"👉 To load them into your shell, run:\n")
+    print("\n✅ Z3 environment variables written to `{ENV_FILE}`.")
+    print("👉 To load them into your shell, run:\n")
     print(f"    source ./{ENV_FILE}\n")
 
 

crackers_python/pyproject.toml

@@ -19,6 +19,8 @@ dependencies = [
     "pydantic>=2.10.6",
     "z3-solver==4.15.3.0",
 ]
+readme = "../README.md"
+
 [tool.maturin]
 features = ["pyo3/extension-module"]
 module-name = "crackers._internal"