| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-07-04 | Run tests for all specified targets | Konstantinos Andrikopoulos | -1/+3 | |
| Currently cargo-miri uses the first target specified in the command line. However, when multiple targets are specified in a `cargo build` invocation, cargo will build for all of them. Miri should match this behaviour to reduce surprises. Fixes: #3460 | ||||
| 2024-05-26 | solarish platform add supports for available-parallelism. | David Carlier | -2/+2 | |
| 2024-05-23 | solaris add suport for threadname. | David Carlier | -2/+2 | |
| from std::unix::thread::set_name, pthread_setname_np is a weak symbol (not always had been available). Other than that, similar to linux only having twice of its buffer limit. | ||||
| 2024-05-22 | solaris/illumos localtime_r / clock_getime support enabled. | David Carlier | -2/+2 | |
| clock_gettime support CLOCK_REALTIME/CLOCK_MONOTONIC clockid_t. localtime_r is supported only tm struct is more limited than other supported platforms. | ||||
| 2024-05-19 | various small nits | Ralf Jung | -1/+1 | |
| - share implementation with miri_starting_unwind - make test use a custom unwinding class - extend comments - use NeedsUnwind more consistently | ||||
| 2024-05-19 | test wasm32-wasip2 instead of the deprecated wasm32-wasi target | Ralf Jung | -1/+1 | |
| 2024-05-19 | make basic things work on Android | Ralf Jung | -5/+6 | |
| 2024-05-16 | alloc now works on wasi (and some formatting) | Ralf Jung | -8/+7 | |
| 2024-05-12 | further illumos/solaris support. | David Carlier | -2/+2 | |
| fixing part of `miri test alloc/hashmap`. | ||||
| 2024-05-09 | make MIRI_TEST_TARGET entirely an internal thing | Ralf Jung | -32/+35 | |
| 2024-05-08 | Update CI script for the miri-script test changes | Ross Smyth | -2/+2 | |
| 2024-05-06 | organize libc tests into a proper folder, and run some of them on Windows | Ralf Jung | -4/+4 | |
| 2024-05-05 | solaris support start. | David Carlier | -2/+1 | |
| 2024-05-05 | move randomness tests into a single file and share the getrandom ↵ | Ralf Jung | -4/+4 | |
| implementation across unices | ||||
| 2024-05-05 | move things out of libc-misc that have a better home; make libc-misc work on ↵ | Ralf Jung | -2/+2 | |
| illumos | ||||
| 2024-05-05 | unix/thread: properly use pthread_t for thread IDs | Ralf Jung | -1/+1 | |
| 2024-05-05 | illumos support. | David Carlier | -0/+3 | |
| 2024-05-04 | freebsd: test std threadname and fs APIs | Ralf Jung | -5/+7 | |
| also reorder foreign_items to fix the grouping, and reorder the tests_minimal invocations to be more consistent | ||||
| 2024-05-04 | move some minimal targets over to the macOS runner, to even out CI times | Ralf Jung | -10/+8 | |
| 2024-05-04 | show time taken in run_tests_minimal | Ralf Jung | -2/+2 | |
| 2024-05-04 | speed up Windows runner: don't run GC_STRESS test | Ralf Jung | -2/+2 | |
| 2024-05-04 | remove a hack that is no longer needed | Ralf Jung | -9/+0 | |
| 2024-05-04 | make many-seeds a mode of ./miri run rather than a separate command | Ralf Jung | -7/+6 | |
| 2024-04-25 | Auto merge of #3514 - RalfJung:hyperfine, r=RalfJung | bors | -2/+2 | |
| CI: run benches with hyperfine rather than bash The hyperfine installation is cached so this should not cost a lot of CI time. This is step 1/2 to getting rid of the BASH variable hack. | ||||
| 2024-04-25 | CI: run benches with hyperfine rather than bash | Ralf Jung | -2/+2 | |
| 2024-04-25 | run many-seeds tests at least a few times on all tier 1 targets | Ralf Jung | -7/+11 | |
| 2024-03-31 | experiment with macOS M1 runners | Ralf Jung | -2/+3 | |
| 2024-03-31 | move './miri check' for features to the style check job | Ralf Jung | -8/+3 | |
| 2024-03-31 | show the time that the main CI steps take | Ralf Jung | -6/+6 | |
| 2024-03-31 | also control the cargo-miri env var test separately | Ralf Jung | -9/+12 | |
| 2024-03-31 | windows ci: run many-seeds test less often | Ralf Jung | -1/+2 | |
| 2024-03-31 | bash: use variable expansion that properly distinguishes null vs non-existing | Ralf Jung | -9/+9 | |
| 2024-03-31 | ci: separetely control which host-only tests are run where | Ralf Jung | -21/+33 | |
| No functional change in this commit | ||||
| 2024-03-30 | Auto merge of #3434 - RalfJung:stacked-borrows-cache-consistency, r=RalfJung | bors | -5/+12 | |
| cotrol stacked borrows consistency check with its own feature flag Fixes https://github.com/rust-lang/miri/issues/3431 | ||||
| 2024-03-30 | cotrol stacked borrows consistency check with its own feature flag | Ralf Jung | -5/+12 | |
| 2024-03-30 | move tests away from the slow Windows builder | Ralf Jung | -2/+2 | |
| 2024-03-30 | run GC stress test only for host tests | Ralf Jung | -2/+2 | |
| 2024-03-24 | Auto merge of #3402 - RalfJung:miri-script, r=RalfJung | bors | -1/+10 | |
| miri script: build with stable toolchain `./miri toolchain` sets up a `rustup override miri`. But then if something goes wrong and the `miri` toolchain doesn't work, one can't even run `./miri toolchain` again as building miri-script needs a toolchain... So let's always use stable to build miri-script, making it override-independent. I assume everyone will have that installed. | ||||
| 2024-03-24 | desperate hack: hard-code bash path on Windows | Ralf Jung | -1/+10 | |
| 2024-03-24 | try to fix many-seeds tests on Windows | Ralf Jung | -1/+2 | |
| 2024-03-13 | Improve sysroots notification | Ben Kimock | -2/+5 | |
| 2024-03-04 | Use cargo miri clean in build-all-targets.sh | Ben Kimock | -1/+1 | |
| 2024-01-30 | add num_cpus test | David Carlier | -2/+3 | |
| 2024-01-24 | refactor extern static handling | Ralf Jung | -3/+2 | |
| 2024-01-24 | disable freeBSD tests for now | Ralf Jung | -2/+3 | |
| 2024-01-07 | Check if tier 2 targets build in the nightly cron job | Ben Kimock | -0/+187 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |