about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/shims
AgeCommit message (Expand)AuthorLines
2024-07-22Add `pread` and `pwrite` shimsАртём Павлов [Artyom Pavlov]-0/+41
2024-07-06Mark format! with must_use hintlukas-3/+3
2024-07-03Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsicsTobias Decking-0/+5
2024-06-21Implement LLVM x86 adx intrinsicsTobias Decking-0/+70
2024-06-20Implement LLVM x86 bmi intrinsicsTobias Decking-0/+216
2024-06-13add some more CRC testsRalf Jung-0/+20
2024-06-13Implement LLVM x86 SSE4.2 intrinsicsTobias Decking-0/+423
2024-06-08add support for `pclmulqdq`Folkert-0/+48
2024-05-30make env/var test deterministicRalf Jung-0/+3
2024-05-19make basic things work on AndroidRalf Jung-2/+6
2024-05-11Merge from rustcThe Miri Cronjob Bot-2/+2
2024-05-09do not run symlink tests on Windows hostsRalf Jung-73/+65
2024-05-08Use generic `NonZero`.Markus Reiter-2/+2
2024-05-04move intrinsics implementations and tests into dedicated folderRalf Jung-0/+6574
2024-05-04move available-parallelism tests into shims/ folderRalf Jung-0/+13
2024-04-26add test for concurrent env var accessRalf Jung-0/+8
2024-04-26add smoke tests for basic PathBuf interactionsRalf Jung-37/+0
2024-04-25Merge from rustcThe Miri Cronjob Bot-1/+0
2024-04-24Stabilize `std::path::absolute`Chris Denton-1/+0
2024-04-24windows: basic support for GetUserProfileDirectoryWRalf Jung-1/+1
2024-04-21Add `-Zmiri-env-set` to set environment variables without modifying the host ...Eduardo Sánchez Muñoz-0/+7
2024-04-15add some basic support for GetFullPathNameWRalf Jung-0/+38
2024-04-15Windows: add basic support for FormatMessageWRalf Jung-3/+15
2024-03-15Merge from rustcRalf Jung-1/+1
2024-03-14explain time-with-isolation test betterRalf Jung-10/+14
2024-03-14update virtual clock in miri test since signed loops now execute more methodsThe 8472-1/+1
2024-03-09compiletest: create fresh tempdir for tests to useRalf Jung-1/+1
2024-03-06Add advice for failing `shims/fs.rs` miri testMaybe Waffle-0/+4
2024-03-03Windows: support getting the thread nameRalf Jung-3/+49
2024-02-26add direct test for new ProcessPrng shimRalf Jung-0/+17
2024-02-25more dealing with macOS being slowRalf Jung-1/+1
2024-02-21Test windows random shimsChris Denton-0/+41
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-32/+7
2023-05-31Merge from rustcRalf Jung-1/+1
2023-05-29Update a MIRI fake-time test that this makes "faster"Scott McMurray-1/+1
2023-05-11Fix fs miri test on AArch64bjorn3-1/+1
2023-04-14Auto merge of #2843 - jsoref:spelling, r=RalfJungbors-1/+1
2023-04-14Fix spellingJosh Soref-1/+1
2023-04-13Rollup merge of #110072 - joshtriplett:stabilize-is-terminal, r=Mark-SimulacrumMatthias Krüger-3/+0
2023-04-10Stabilize IsTerminalJosh Triplett-3/+0
2023-03-19Update the virtual clock in isolation mode to step forward with around the sa...Oli Scherer-3/+21
2023-02-24Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path`LevitatingLion-2/+6
2023-01-09make env::current_exe work on WindowsRalf Jung-1/+0
2022-12-12make unix path handling on Windows hosts preserve absolutenessRalf Jung-5/+9
2022-12-12More host/target path conversion tests:Ralf Jung-1/+9
2022-12-12expose host-to-target path conversion to interpreted programRalf Jung-14/+17
2022-10-28update ignore-windows commentsRalf Jung-2/+1
2022-10-27Implement `ptr_mask` intrinsicMaybe Waffle-0/+18
2022-10-21test is_terminalRalf Jung-1/+13
2022-10-21split libc tests from stdlib testsRalf Jung-0/+416
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 16:27:20 +0000