Urgau
|
8ce63576bd
|
Allow fn pointers comparisons lint in UI tests
|
2024-12-02 18:43:37 +01:00 |
|
Ralf Jung
|
5cab8ae4a4
|
miri: make vtable addresses not globally unique
|
2024-08-06 19:09:31 +02:00 |
|
Ralf Jung
|
41b98da42d
|
Miri function identity hack: account for possible inlining
|
2024-07-02 21:05:30 +02:00 |
|
Camille GILLOT
|
eda1928baa
|
Typo.
|
2023-10-25 17:59:30 +00:00 |
|
Camille GILLOT
|
c4cc9ca060
|
Do not merge fn pointer casts.
|
2023-10-25 06:47:04 +00:00 |
|
Camille GILLOT
|
6dfa053697
|
Complete miri test.
|
2023-09-24 09:09:04 +00:00 |
|
Camille GILLOT
|
644e40f536
|
Do not assume anything about repeated reification of generic functions.
|
2023-09-24 09:09:04 +00:00 |
|
Oli Scherer
|
f45b570e08
|
Add 'src/tools/miri/' from commit '75dd959a3a'
git-subtree-dir: src/tools/miri
git-subtree-mainline: 3f3167fb59
git-subtree-split: 75dd959a3a
|
2022-09-21 15:36:26 +00:00 |
|