| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-01-02 | tweak docs a little | Ralf Jung | -35/+19 | |
| 2025-01-01 | Try to write the panic message with a single `write_all` call | John Kåre Alsaker | -0/+58 | |
| 2024-12-31 | Merge from rustc | The Miri Cronjob Bot | -10/+60 | |
| 2024-12-31 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-12-30 | Auto merge of #134757 - RalfJung:const_swap, r=scottmcm | bors | -10/+60 | |
| stabilize const_swap libs-api FCP passed in https://github.com/rust-lang/rust/issues/83163. However, I only just realized that this actually involves an intrinsic. The intrinsic could be implemented entirely with existing stable const functionality, but we choose to make it a primitive to be able to detect more UB. So nominating for `@rust-lang/lang` to make sure they are aware; I leave it up to them whether they want to FCP this. While at it I also renamed the intrinsic to make the "nonoverlapping" constraint more clear. Fixes #83163 | ||||
| 2024-12-30 | fmt | Ralf Jung | -2/+2 | |
| Co-authored-by: scottmcm <scottmcm@users.noreply.github.com> | ||||
| 2024-12-29 | Merge pull request #4115 from RalfJung/epoll | Oli Scherer | -41/+40 | |
| epoll: avoid some clones | ||||
| 2024-12-29 | concurrency: Generalize UnblockCallback to MachineCallback | shamb0 | -130/+186 | |
| * Introduce UnblockKind enum to represent operation outcomes * Consolidate unblock/timeout methods into single callback interface * Update thread blocking system to use new callback mechanism * Refactor mutex and condvar implementations for new callback pattern Signed-off-by: shamb0 <r.raajey@gmail.com> | ||||
| 2024-12-29 | an EpollEventInterest does not need to ref both its FD and its ready list | Ralf Jung | -15/+18 | |
| 2024-12-29 | triagebot: enable merge conflict notification | Ralf Jung | -0/+8 | |
| 2024-12-28 | epoll: avoid some clones | Ralf Jung | -28/+24 | |
| 2024-12-28 | epoll: keep strong reference while blocking | Ralf Jung | -39/+27 | |
| 2024-12-28 | FD handling: avoid unnecessary dynamic downcasts | Ralf Jung | -247/+243 | |
| 2024-12-28 | fix toolchain flag parsing | Ryan Mehri | -0/+1 | |
| 2024-12-27 | also clean up eventfd code in the same vein | Ralf Jung | -30/+25 | |
| 2024-12-27 | add test for close-while-blocked | Ralf Jung | -8/+78 | |
| 2024-12-27 | bring socket logic back together and fix logic bug | Ralf Jung | -86/+74 | |
| 2024-12-27 | clippy | Ralf Jung | -6/+6 | |
| 2024-12-27 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-12-25 | swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ↵ | Ralf Jung | -3/+25 | |
| values | ||||
| 2024-12-25 | rename typed_swap → typed_swap_nonoverlapping | Ralf Jung | -12/+12 | |
| 2024-12-25 | we generally make later flags overwrite earlier flags, so remove some logic ↵ | Ralf Jung | -18/+3 | |
| guarding just against that | ||||
| 2024-12-25 | remove some flags that have been hard errors for a while | Ralf Jung | -9/+0 | |
| 2024-12-25 | show an error on some invalid flag combinations: TB + permissive provenance; ↵ | Ralf Jung | -17/+21 | |
| strict provenance + native calls | ||||
| 2024-12-25 | miri: add test for overlapping typed_swap | Ralf Jung | -0/+28 | |
| 2024-12-23 | use std::sync::Once instead of hand-rolling a bad version of it | Ralf Jung | -13/+12 | |
| 2024-12-23 | many-seeds: add flag to keep going even after we found a failing seed | Ralf Jung | -7/+24 | |
| 2024-12-23 | stop using process-wide state, now that we are running multiple interpreters ↵ | Ralf Jung | -47/+47 | |
| in the same thread | ||||
| 2024-12-23 | remove --many-seeds from ./miri run | Ralf Jung | -120/+30 | |
| 2024-12-23 | remove many-seeds mode from cargo-miri | Ralf Jung | -182/+104 | |
| 2024-12-23 | add -Zmiri-many-seeds flag to the driver itself | Ralf Jung | -94/+172 | |
| 2024-12-22 | CONTRIBUTING: explain how to do benchmarking with a baseline | Ralf Jung | -0/+9 | |
| 2024-12-22 | miri-script: add option to compare with baseline results | Ralf Jung | -8/+50 | |
| 2024-12-22 | miri-script: support saving bench results in a baseline JSON file | Ralf Jung | -10/+60 | |
| 2024-12-21 | Merge pull request #4103 from RalfJung/remove-unused | Ralf Jung | -14/+5 | |
| remove an unused helper method | ||||
| 2024-12-21 | remove an unused helper method | Ralf Jung | -14/+5 | |
| 2024-12-21 | Merge pull request #4090 from RalfJung/sc-test | Ralf Jung | -204/+355 | |
| add more tests for SC access/fence consistency | ||||
| 2024-12-21 | Merge from rustc | The Miri Cronjob Bot | -6/+8 | |
| 2024-12-21 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-12-20 | Rollup merge of #134514 - bjorn3:more_driver_refactors, r=jieyouxu | DianQK | -6/+8 | |
| Improve dependency_format a bit * Make `DependencyList` an `IndexVec` rather than emulating one using a `Vec` (which was off-by-one as LOCAL_CRATE was intentionally skipped) * Update some comments for the fact that we now use `#[global_allocator]` rather than `extern crate alloc_system;`/`extern crate alloc_jemalloc;` for specifying which allocator to use. We still use a similar mechanism for the panic runtime, so refer to the panic runtime in those comments instead. * An unrelated refactor to `create_and_enter_global_ctxt` I forgot to include in https://github.com/rust-lang/rust/pull/134302. This refactor is too small to be worth it's own PR. | ||||
| 2024-12-20 | fmt | Ralf Jung | -411/+211 | |
| 2024-12-20 | Merge from rustc | Ralf Jung | -447/+472 | |
| 2024-12-20 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-12-20 | Rollup merge of #133103 - tiif:fnabi, r=RalfJung | Jacob Pratt | -446/+471 | |
| Pass FnAbi to find_mir_or_eval_fn https://github.com/rust-lang/miri/issues/4013 needs information from ``FnAbi``, hence it is passed to ``find_mir_or_eval_fn``. r? `@RalfJung` | ||||
| 2024-12-20 | Merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-12-20 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 | |
| 2024-12-19 | Make DependencyList an IndexVec | bjorn3 | -6/+8 | |
| 2024-12-19 | Pass FnAbi to find_mir_or_eval_fn | tiif | -446/+471 | |
| 2024-12-19 | add warning explaining the limitations of the native code mode | Ralf Jung | -10/+88 | |
| 2024-12-18 | Merge pull request #4072 from tiif/blockop | Oli Scherer | -114/+391 | |
| Implement blocking unnamed_socket | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |