diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-14 09:09:29 +0000 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2025-10-14 09:09:29 +0000 |
| commit | 579cf1d03fb932083e6317967d1613d5c2587fb6 (patch) | |
| tree | 629f039935382a2a7391bce9253f6c9968159049 /src/miasm/ir/translators/__init__.py | |
| parent | 51c15d3ea2e16d4fc5f0f01a3b9befc66b1f982e (diff) | |
| download | focaccia-miasm-ta/nix.tar.gz focaccia-miasm-ta/nix.zip | |
Convert to src-layout ta/nix
Diffstat (limited to 'src/miasm/ir/translators/__init__.py')
| -rw-r--r-- | src/miasm/ir/translators/__init__.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/miasm/ir/translators/__init__.py b/src/miasm/ir/translators/__init__.py new file mode 100644 index 00000000..45e19803 --- /dev/null +++ b/src/miasm/ir/translators/__init__.py @@ -0,0 +1,13 @@ +"""IR Translators""" +from miasm.ir.translators.translator import Translator +import miasm.ir.translators.C +import miasm.ir.translators.python +import miasm.ir.translators.miasm_ir +import miasm.ir.translators.smt2 +try: + import miasm.ir.translators.z3_ir +except ImportError: + # Nothing to do, z3 not available + pass + +__all__ = ["Translator"] |