diff options
| author | Jubilee Young <workingjubilee@gmail.com> | 2021-11-11 10:54:27 -0800 |
|---|---|---|
| committer | Jubilee <46493976+workingjubilee@users.noreply.github.com> | 2021-11-11 11:40:18 -0800 |
| commit | 6ddf7ad8e19dfc3c73501bc4dbe066e46ced0f36 (patch) | |
| tree | d533a893887cefac05947c4272df833f8972d431 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 7d91357875da59d52284d506dcb457f7f88bf6bf (diff) | |
| download | rust-6ddf7ad8e19dfc3c73501bc4dbe066e46ced0f36.tar.gz rust-6ddf7ad8e19dfc3c73501bc4dbe066e46ced0f36.zip | |
Restrict Arm types to Arm v7+
This mostly mirrors the restrictions in std::arch. It can be loosened slightly with later refactoring.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions