Adapt symbolic compare to new transform interface

Also implement a `MiasmSymbolicTransform.concat` function that
concatenates two transformations. Some minor adaptions to the eval_expr
code was necessary to remove some assumptions that don't work if the
resolver state returns symbols instead of concrete values.

Remove obsolete utilities that were used for angr.

Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>

1 files changed, 6 insertions, 2 deletions

diff --git a/arch/__init__.py b/arch/__init__.py
index 4943749..2926d20 100644
--- a/arch/__init__.py
+++ b/arch/__init__.py
@@ -1,7 +1,11 @@
 from .arch import Arch
 from . import x86
 
-"""A dictionary containing all supported architectures at their names."""
+"""A dictionary containing all supported architectures at their names.
+
+The arch names (keys) should be compatible with the string returned from
+`platform.machine()`.
+"""
 supported_architectures: dict[str, Arch] = {
-    "X86": x86.ArchX86(),
+    "x86_64": x86.ArchX86(),
 }