4 Commits

Author	SHA1	Message	Date
Ralf Jung	9af03bf342	add -Zmiri-strict-provenance	2022-04-01 14:10:24 -04:00
Ben Kimock	730cd27248	Print more in SB error diagnostics ... This tries to clarify exactly why an access is not valid by printing what memory range the access was over, which in combination with tag-tracking may help a user figure out the source of the problem.	2022-03-16 20:12:04 -04:00
Ralf Jung	d8bee92aee	rename track-raw-pointers flag to tag-raw-pointers	2021-11-13 15:48:27 -05:00
Ralf Jung	a81ebd8fe3	rustup; add an interesting alias test case	2020-12-29 19:27:45 +01:00