about summary refs log tree commit diff
path: root/src/tools/miri/tests/extern-so
AgeCommit message (Expand)AuthorLines
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-114/+0
2024-05-04only show the 'basic API common for this target' message when this is a missi...Ralf Jung-2/+2
2024-05-04update 'unsupported' messageRalf Jung-1/+2
2024-03-31there is no need for these wildcardsRalf Jung-6/+7
2024-03-31extern-so: give the version script a better name; show errors from failing to...Ralf Jung-0/+2
2023-11-24Bless Miri testsNilstrieb-1/+1
2022-12-28handle unknown targets more gracefullyRalf Jung-3/+4
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+109