The user can still provide the language if our heuristic gets it wrong. Also fixes checks for Arm_target.parent, since we should also check if it's 32-bit ARM (we don't support 64-bit ARM).
Additionally, the MiniZinc backend shouldn't be considering floating point registers right now, which should cut down on solving time.
The user can still provide the language if our heuristic gets it wrong. Also fixes checks for
Arm_target.parent, since we should also check if it's 32-bit ARM (we don't support 64-bit ARM).Additionally, the MiniZinc backend shouldn't be considering floating point registers right now, which should cut down on solving time.