rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
2023-11-29	explain tests that disable the provenance GC	Ralf Jung	-0/+7
2023-11-19	tag-gc -> provenance-gc	Ben Kimock	-7/+7
2023-10-20	s/generator/coroutine/	Oli Scherer	-1/+1
2023-10-06	Fix problems of Reserved -> Frozen	Neven Villani	-133/+405
2023-08-02	add local_addr_of_mut test	Ralf Jung	-0/+12
2023-08-02	add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_cons...	Ralf Jung	-5/+34
2023-07-30	refactor tests/utils a bit, and move some FS functions there	Ralf Jung	-10/+9
2023-07-28	exract a perform_access, check read-read commutation exhaustively	Neven Villani	-16/+18
2023-07-26	we correctly check that the perm is not lazy when triggering protectors	Neven Villani	-0/+16
2023-07-26	normalize tree borrow diagnostics across targets	Ralf Jung	-48/+48
2023-06-28	Unique gets special treatment when -Zmiri-unique-is-unique	Neven Villani	-1/+197
2023-06-03	Select more TB fail tests	Neven Villani	-0/+884