about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-04-11throw unsupported for epoll_waitDebugSteven-0/+69
2023-04-11Update tests/pass-dep/shims/libc-misc.rsChristian Legnitto-1/+1
2023-04-11Add shim for SIGRTMINChristian Legnitto-0/+19
2023-04-10rustupBen Kimock-1/+3
2023-04-10Turn off the alignment check pass, remove the panic test for itBen Kimock-11/+0
2023-04-10Merge from rustcBen Kimock-13/+67
2023-04-10Stabilize IsTerminalJosh Triplett-3/+0
2023-04-06Add miri tests for terminate terminatorGary Guo-4/+58
2023-04-06Bless testsGary Guo-9/+9
2023-04-04Merge from rustcOli Scherer-11/+52
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-11/+25
2023-03-24miri: fix raw pointer dyn receiversRalf Jung-0/+27
2023-03-24Merge from rustcRalf Jung-5/+7
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-11/+25
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-5/+7
2023-03-20move reject with isolation for fcntl under F_FULLFSYNCDebugSteven-10/+19
2023-03-19Update the virtual clock in isolation mode to step forward with around the sa...Oli Scherer-5/+23
2023-03-16TB: select tests to run both TB and SBNeven Villani-5/+116
2023-03-16TB: new testsNeven Villani-0/+888
2023-03-16TB: document TB changes in READMENeven Villani-0/+205
2023-03-14Merge from rustcBen Kimock-74/+23
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-38/+15
2023-03-11Implement intrinsics for round_ties_evenBen Kimock-0/+30
2023-03-09replace legacy copyright annotations in submodulesPietro Albini-36/+8
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-6/+18
2023-02-21Avoid formatting dyn* test as rustftm doesn't understand it yet and just dele...Oli Scherer-0/+3
2023-02-21Merge from rustcRalf Jung-5/+122
2023-02-20fix Stacked Borrows interaction with dyn*Ralf Jung-2/+0
2023-02-20basic dyn* support for MiriRalf Jung-5/+124
2023-02-17Add tests for moving data across await pointBryan Garza-0/+81
2023-02-09Merge from rustcRalf Jung-1/+0
2023-02-08Rollup merge of #107429 - tgross35:from-bytes-until-null-stabilization, r=dto...Michael Goulet-1/+0
2023-02-07Merge from rustcRalf Jung-64/+64
2023-02-06also do not add noalias on not-Unpin BoxRalf Jung-10/+44
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-54/+20
2023-02-03Auto merge of #2764 - DebugSteven:sleep, r=oli-obkbors-1/+15
2023-02-01fmtRalf Jung-1/+1
2023-02-01Stabilize feature 'cstr_from_bytes_until_nul'Trevor Gross-1/+0
2023-01-31busy waiting implementation for sleepDebugSteven-1/+15
2023-01-31make unaligned_reference a hard errorRalf Jung-5/+12
2023-01-29remove scfix testRalf Jung-35/+0
2023-01-25add scfix testRalf Jung-0/+35
2023-01-17add miri regression testThe 8472-0/+6
2023-01-14Rollup merge of #106661 - mjguzik:linux_statx, r=Mark-SimulacrumMatthias Krüger-2/+3
2023-01-11Stabilize `::{core,std}::pin::pin!`Daniel Henry-Mantilla-4/+0
2023-01-11Fix up stat test in libc-fs-with-isolationMateusz Guzik-2/+3
2023-01-09add dtors_in_dtors_in_dtorsRalf Jung-0/+57
2023-01-09make env::current_exe work on WindowsRalf Jung-1/+0
2023-01-02tweaks to retag diagnostic handlingRalf Jung-4/+4
2022-12-28test using a JSON target fileRalf Jung-0/+25
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 03:21:44 +0000