| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-10-11 | intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semantics | Jed Brown | -0/+62 |
| 2024-10-11 | simplify Tree Borrows write-during-2phase example | Ralf Jung | -13/+15 |
| 2024-10-11 | rename RcBox in other places too | Jonathan Dönszelmann | -2/+2 |
| 2024-10-10 | Auto merge of #3960 - tiif:smallchange, r=RalfJung | bors | -5/+26 |
| 2024-10-10 | Pipe minor changes: diagnostics, flag support and comments | tiif | -5/+26 |
| 2024-10-10 | remove -Zmiri-panic-on-unsupported flag | Ralf Jung | -16/+0 |
| 2024-10-10 | remove handle_unsupported_foreign_item helper | Ralf Jung | -13/+0 |
| 2024-10-09 | syscall/eventfd2: add support | Frank Rehwinkel | -29/+9 |
| 2024-10-09 | syscall/eventfd2: add failing test | Frank Rehwinkel | -0/+29 |
| 2024-10-09 | Auto merge of #3946 - FrankReh:fix-over-synchronization-of-epoll, r=RalfJung | bors | -0/+117 |
| 2024-10-09 | epoll: change clock to be per event | Frank Rehwinkel | -17/+30 |
| 2024-10-09 | Fixed pthread_getname_np impl for glibc | Yoh Deadfall | -17/+61 |
| 2024-10-08 | epoll: test case showing too much clock sync | Frank Rehwinkel | -0/+104 |
| 2024-10-08 | fix behavior of release_clock() | Ralf Jung | -0/+51 |
| 2024-10-05 | Fix up tests | Michael Goulet | -2/+49 |
| 2024-10-05 | avoid pthread_attr_t in tests | Ralf Jung | -18/+24 |
| 2024-10-05 | Auto merge of #3943 - RalfJung:pthread-mutex-reentrant, r=RalfJung | bors | -14/+48 |
| 2024-10-05 | pthread mutex: better error in reentrant-locking-UB, also test PTHREAD_MUTEX_... | Ralf Jung | -14/+48 |
| 2024-10-04 | Implement LLVM x86 gfni intrinsics | Tobias Decking | -0/+518 |
| 2024-10-04 | Merge from rustc | The Miri Cronjob Bot | -7/+7 |
| 2024-10-03 | make sure we also detect mixed-size races that begin at different addresses | Ralf Jung | -1/+47 |
| 2024-10-03 | fmt | Ralf Jung | -2/+2 |
| 2024-10-03 | Merge from rustc | Ralf Jung | -245/+229 |
| 2024-10-02 | epoll: add vector clock to the epoll ready_list | Frank Rehwinkel | -109/+40 |
| 2024-10-02 | epoll: add data_race test | Frank Rehwinkel | -0/+108 |
| 2024-10-02 | bless miri tests | joboet | -7/+7 |
| 2024-09-30 | Auto merge of #131036 - RalfJung:miri-sync, r=RalfJung | bors | -121/+285 |
| 2024-09-29 | let rustfmt format imports | Ralf Jung | -87/+64 |
| 2024-09-29 | skip old getrandom crate on Solaris | Ralf Jung | -0/+5 |
| 2024-09-28 | Auto merge of #3918 - devnexen:solaris_arc4random_buf, r=RalfJung | bors | -0/+13 |
| 2024-09-28 | implements arc4random_buf shim for freebsd/solarish platforms. | David Carlier | -0/+13 |
| 2024-09-28 | add tests for validity of Box with custom allocator | Ralf Jung | -0/+99 |
| 2024-09-28 | Further clarificarion for atomic and UnsafeCell docs: | Ralf Jung | -0/+17 |
| 2024-09-28 | allow mixed-size atomic reads | Ralf Jung | -140/+175 |
| 2024-09-28 | miri: no longer complain about read-read races | Ralf Jung | -105/+37 |
| 2024-09-25 | Auto merge of #3915 - RalfJung:target-json-test, r=RalfJung | bors | -25/+24 |
| 2024-09-25 | switch custom target JSON test to a less exotic target | Ralf Jung | -25/+24 |
| 2024-09-25 | Android: Fixed tests for libc time API | Yoh Deadfall | -5/+25 |
| 2024-09-25 | avoid using HashMap in fs test | Ralf Jung | -3/+3 |
| 2024-09-25 | add test for std::random | Ralf Jung | -0/+5 |
| 2024-09-25 | fmt | The Miri Cronjob Bot | -1/+3 |
| 2024-09-25 | Merge from rustc | The Miri Cronjob Bot | -8/+48 |
| 2024-09-24 | be even more precise about "cast" vs "coercion" | Lukas Markeffsky | -1/+1 |
| 2024-09-23 | Rollup merge of #130727 - compiler-errors:objects, r=RalfJung | Michael Goulet | -8/+41 |
| 2024-09-23 | Check vtable projections for validity in miri | Michael Goulet | -8/+41 |
| 2024-09-23 | add test for new abort_unwind function | Ralf Jung | -0/+44 |
| 2024-09-23 | update miri test | joboet | -1/+1 |
| 2024-09-23 | miri: shim `CCRandomGenerateBytes` | joboet | -0/+7 |
| 2024-09-22 | Merge from rustc | Ralf Jung | -2/+2 |
| 2024-09-21 | Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlin | bors | -2/+2 |
