| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-22 | make sure './miri many-seeds ./miri run' does not re-invoke the auto-ops | Ralf Jung | -1/+2 |
| 2023-08-22 | respect CARGO_EXTRA_FLAGS in more places | Ralf Jung | -7/+18 |
| 2023-08-22 | bump serde | Ralf Jung | -34/+33 |
| 2023-08-21 | fix MIRI_AUTO_OPS not having an effect any more | Ralf Jung | -2/+8 |
| 2023-08-21 | update recommended RA config | Ralf Jung | -4/+5 |
| 2023-08-21 | fmt | The Miri Conjob Bot | -1/+1 |
| 2023-08-21 | Merge from rustc | The Miri Conjob Bot | -93/+252 |
| 2023-08-21 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-20 | Auto merge of #3032 - RalfJung:serde, r=RalfJung,oli-obk | bors | -2/+8 |
| 2023-08-20 | pin a version of serde without intransparent unreproducible binary blobs | Ralf Jung | -2/+8 |
| 2023-08-20 | interpret: have assert_* intrinsics call the panic machinery instead of a dir... | Ralf Jung | -19/+84 |
| 2023-08-20 | interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the... | Ralf Jung | -39/+133 |
| 2023-08-19 | custom_mir: change Call() terminator syntax to something more readable | Ralf Jung | -35/+35 |
| 2023-08-17 | Auto merge of #3031 - RalfJung:foreign-read, r=RalfJung | bors | -3/+17 |
| 2023-08-17 | tree borrows: more comments in foreign_read transition | Ralf Jung | -3/+17 |
| 2023-08-16 | Auto merge of #3027 - ttsugriy:range-map, r=RalfJung | bors | -5/+2 |
| 2023-08-16 | Avoid unnecessary Vec resize. | Taras Tsugrii | -5/+2 |
| 2023-08-16 | on out-of-bounds error, show where the allocation was created | Ralf Jung | -8/+46 |
| 2023-08-16 | Auto merge of #2940 - saethlin:use-after-free-spans, r=RalfJung | bors | -18/+229 |
| 2023-08-16 | Auto merge of #3028 - ttsugriy:range-map-find-offset, r=RalfJung | bors | -20/+15 |
| 2023-08-16 | Merge from rustc | The Miri Conjob Bot | -1/+0 |
| 2023-08-16 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-16 | Auto merge of #114689 - m-ou-se:stabilize-thread-local-cell-methods, r=thomcc | bors | -1/+0 |
| 2023-08-15 | Replace hand-written binary search with Vec::binary_search_by. | Taras Tsugrii | -20/+15 |
| 2023-08-15 | Tidy up the implementation | Ben Kimock | -12/+9 |
| 2023-08-15 | Explain why we save spans for some memory types and not others | Ben Kimock | -0/+2 |
| 2023-08-15 | Auto merge of #2972 - RalfJung:c-mem-functions, r=RalfJung | bors | -6/+46 |
| 2023-08-15 | C string function shims: consistently treat "invalid" pointers as UB | Ralf Jung | -6/+46 |
| 2023-08-15 | Auto merge of #3018 - ttsugriy:ttsugriy-patch-1, r=RalfJung | bors | -1/+1 |
| 2023-08-12 | Merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-12 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-08-11 | Include spans in use-after-free diagnostics | Ben Kimock | -18/+230 |
| 2023-08-11 | Auto merge of #3025 - eduardosm:float-to-int, r=RalfJung | bors | -117/+132 |
| 2023-08-11 | Auto merge of #114735 - RalfJung:miri, r=RalfJung | bors | -55/+1795 |
| 2023-08-11 | Remove `float_to_int_unchecked` and inline it into its call sites | Eduardo Sánchez Muñoz | -39/+56 |
| 2023-08-11 | Add checked float-to-int helper function | Eduardo Sánchez Muñoz | -83/+81 |
| 2023-08-11 | llvm.prefetch is not a math function | Ralf Jung | -2/+1 |
| 2023-08-11 | Auto merge of #2989 - eduardosm:x86-intrinsics, r=RalfJung | bors | -0/+1720 |
| 2023-08-11 | Auto merge of #3023 - RalfJung:gamma, r=RalfJung | bors | -3/+43 |
| 2023-08-11 | miri: implement some `llvm.x86.sse.*` intrinsics and add tests | Eduardo Sánchez Muñoz | -0/+1720 |
| 2023-08-10 | add gamma function shims | Ralf Jung | -2/+42 |
| 2023-08-10 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2023-08-10 | replace AsAny hack by trait upcasting :) | Ralf Jung | -31/+22 |
| 2023-08-10 | Stabilize thread local cell methods. | Mara Bos | -1/+0 |
| 2023-08-09 | Auto merge of #3021 - ttsugriy:bin-search, r=RalfJung | bors | -17/+6 |
| 2023-08-09 | expand comment | Ralf Jung | -0/+1 |
| 2023-08-09 | Use Vec's binary search instead of hand-written one. | Taras Tsugrii | -17/+5 |
| 2023-08-09 | rustc: Move `crate_types` from `Session` to `GlobalCtxt` | Vadim Petrochenkov | -1/+1 |
| 2023-08-08 | [nit][typo] Remove "currently" that breaks reading flow. | Taras Tsugrii | -1/+1 |
| 2023-08-08 | Auto merge of #3020 - rust-lang:rustup-2023-08-08, r=RalfJung | bors | -6/+6 |
