| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-12 | Merge from rustc | The Miri Conjob Bot | -1/+0 | |
| 2023-12-10 | Return MAP_FAILED when mmap fails | Ben Kimock | -0/+79 | |
| 2023-12-10 | remove redundant imports | surechen | -1/+0 | |
| detects redundant imports that can be eliminated. for #117772 : In order to facilitate review and modification, split the checking code and removing redundant imports code into two PR. | ||||
| 2023-11-23 | detect and test for data races between setenv and getenv | Ralf Jung | -3/+2 | |
| 2023-11-21 | Merge from rustc | Ralf Jung | -0/+21 | |
| 2023-11-20 | Test that the GC consults the extra_fn_ptr map | Ben Kimock | -0/+21 | |
| 2023-11-20 | libc-misc test freebsd fixes attempt | David Carlier | -51/+45 | |
| 2023-11-16 | move reallocarray test into libc-misc | Ralf Jung | -16/+17 | |
| 2023-11-16 | make libc-misc pass under FreeBSD | Ralf Jung | -0/+7 | |
| 2023-11-16 | split thread test into synchronization primitives and threadname | Ralf Jung | -60/+51 | |
| 2023-11-16 | reallocarray shim linux/freebsd support proposal. | David Carlier | -0/+16 | |
| 2023-11-15 | freebsd adding getrandom interception. | David Carlier | -1/+4 | |
| note that os support was added in same time as getentropy. | ||||
| 2023-11-13 | share getentropy shim across various unixes | Ralf Jung | -4/+14 | |
| 2023-11-13 | organize pass-dep tests more by the crate they test | Ralf Jung | -12/+16 | |
| 2023-11-13 | freebsd adding getentropy interception support | David Carlier | -0/+11 | |
| 2023-11-12 | tweak comments | Ralf Jung | -9/+5 | |
| 2023-11-12 | freebsd interceptions update proposal | David Carlier | -3/+31 | |
| 2023-10-25 | CLOCK_UPTIME_RAW exists on all macos targets, not just the ARM ones | Ralf Jung | -1/+1 | |
| 2023-10-24 | futex text: avoid spurious non-atomic reads | Ralf Jung | -13/+13 | |
| 2023-10-06 | add a direct dlsym test | Ralf Jung | -0/+14 | |
| 2023-07-30 | refactor tests/utils a bit, and move some FS functions there | Ralf Jung | -53/+13 | |
| 2023-06-20 | Make munmap throw unsup errors instead of trying to work | Ben Kimock | -13/+0 | |
| 2023-06-20 | mmap/munmap/mremamp shims | Ben Kimock | -0/+83 | |
| 2023-05-08 | port tests to 2021 edition | Ralf Jung | -1/+0 | |
| 2023-04-21 | disable preemption in tokio tests again | Ralf Jung | -1/+1 | |
| 2023-04-14 | Fix spelling | Josh Soref | -10/+10 | |
| * additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com> | ||||
| 2023-04-12 | add memcpy/strcpy shims | mojave2 | -0/+80 | |
| add memcpy/strcpy/strncpy shims fix bug add memcpy/strcpy/strncpy shims add a test for strncpy remove strncpy shim | ||||
| 2023-04-11 | throw unsupported for epoll_wait | DebugSteven | -12/+0 | |
| 2023-04-11 | Update tests/pass-dep/shims/libc-misc.rs | Christian Legnitto | -1/+1 | |
| Co-authored-by: Ben Kimock <kimockb@gmail.com> | ||||
| 2023-04-11 | Add shim for SIGRTMIN | Christian Legnitto | -0/+19 | |
| Fixes https://github.com/rust-lang/miri/issues/2832. | ||||
| 2023-03-20 | move reject with isolation for fcntl under F_FULLFSYNC | DebugSteven | -10/+19 | |
| 2023-02-24 | Use pointers to `c_char` instead of `i8` in `miri_host_to_target_path` | LevitatingLion | -4/+12 | |
| This makes sure that the interface of `miri_host_to_target_path` is compatible with `CStr` for targets where `c_char` is unsigned (such as ARM). This commit changes the signature of `miri_host_to_target_path` in the README and in all test cases. | ||||
| 2023-02-09 | Merge from rustc | Ralf Jung | -1/+0 | |
| 2023-02-01 | Stabilize feature 'cstr_from_bytes_until_nul' | Trevor Gross | -1/+0 | |
| 2023-01-31 | busy waiting implementation for sleep | DebugSteven | -1/+15 | |
| 2023-01-11 | Fix up stat test in libc-fs-with-isolation | Mateusz Guzik | -2/+3 | |
| The test relied on Error::last_os_error() coming from the stat call on the passed file, but there is no guarantee this will be the case. Instead extract errno from the error returned by the routine. Patch de facto written by joboet. Co-authored-by: joboet <jonasboettiger@icloud.com> | ||||
| 2022-12-13 | implement minimal epoll_create1 shim | DebugSteven | -0/+6 | |
| 2022-12-12 | expose host-to-target path conversion to interpreted program | Ralf Jung | -24/+33 | |
| 2022-12-11 | add support for variable page sizes to miri | Nia Espera | -0/+20 | |
| 2022-12-08 | add graceful shim for the custom `O_TMPFILE` linux file opening flag plus ↵ | Pointerbender | -1/+31 | |
| test case | ||||
| 2022-11-22 | ensure current getrandom works with strict provenance | Ralf Jung | -5/+11 | |
| 2022-11-19 | implement clock_gettime on macos | Ralf Jung | -6/+14 | |
| 2022-10-28 | relative futex and condvar timeouts can work with isolation | Ralf Jung | -0/+82 | |
| 2022-10-28 | cleanup some test cfg | Ralf Jung | -13/+11 | |
| 2022-10-28 | pthread_setname_np returns an int on macOS | Ralf Jung | -3/+15 | |
| 2022-10-26 | add pthread_getname_np | Ralf Jung | -0/+25 | |
| 2022-10-21 | split libc tests from stdlib tests | Ralf Jung | -532/+172 | |
| 2022-10-19 | Make miri read_dir test a little more robust | Alex Saveau | -11/+17 | |
| Signed-off-by: Alex Saveau <saveau.alexandre@gmail.com> | ||||
| 2022-10-16 | Support DirEntry metadata calls in miri | Alex Saveau | -0/+8 | |
| Signed-off-by: Alex Saveau <saveau.alexandre@gmail.com> | ||||
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+1755 | |
| git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573 | ||||
