Sonya

Results 23 issues of Sonya

Convert CHECK or LOG(FATAL) errors to LOG(ERROR) with appropriate error handling

When the target register is the PC for BX (branch and change architecture to Thumb) the instruction is considered indirect control flow. However the target is known, so this could...

In progress new strcmp model Also cleaned up type hints throughout `models.py`.

native models

See: #1735

native models

See: #1735

native models

See: #1735

native models

See: #1735

native models

See: #1735

native models