2022-07-28 |
bors | Auto merge of #2426 - saethlin:unix-exec, r=RalfJung |
blob | commitdiff | raw |
2022-07-25 |
bors | Auto merge of #2422 - RalfJung:integers, r=oli-obk |
blob | commitdiff | raw |
2022-07-23 |
Ralf Jung | pass clippy::cast_sign_loss and clippy::cast_possible_wrap |
blob | commitdiff | raw |
2022-07-22 |
bors | Auto merge of #2384 - RalfJung:vtables, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-22 |
Ralf Jung | adjust for symbolic vtables |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2404 - RalfJung:mix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
Ralf Jung | handle get_alloc_extra the same throughout Stacked... |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2403 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2402 - RalfJung:cargo-target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2391 - RalfJung:stderr, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-19 |
bors | Auto merge of #2390 - RalfJung:debug, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-19 |
bors | Auto merge of #2350 - RalfJung:remove-deprecated, r... |
blob | commitdiff | raw | diff to current |
2022-07-12 |
Ralf Jung | remove deprecated options |
blob | commitdiff | raw | diff to current |
2022-07-06 |
bors | Auto merge of #2338 - RalfJung:format, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-06 |
Ralf Jung | tweak format strings |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2280 - RalfJung:int2ptr, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Ralf Jung | tweak int2ptr diagnostics |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2279 - RalfJung:adjacent-allocs, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Ralf Jung | finally we can actually have adjacent allocations :) |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2278 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Ralf Jung | make use of get_alloc_info |
blob | commitdiff | raw | diff to current |
2022-06-28 |
bors | Auto merge of #2275 - RalfJung:permissive-provenance... |
blob | commitdiff | raw | diff to current |
2022-06-28 |
Ralf Jung | show int2ptr warning once for each span (but don't... |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | typo |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | fmt |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | more int2ptr cast tests, and fix casting of addresses... |
blob | commitdiff | raw | diff to current |
2022-06-27 |
Ralf Jung | make permissive provenance and raw-ptr tagging the... |
blob | commitdiff | raw | diff to current |
2022-06-25 |
bors | Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-25 |
bors | Auto merge of #2196 - carbotaniuman:permissive-stacked... |
blob | commitdiff | raw | diff to current |
2022-06-25 |
Ralf Jung | implement 'delimited' expose tracking so we still detec... |
blob | commitdiff | raw | diff to current |
2022-06-24 |
Ralf Jung | make the tests pass |
blob | commitdiff | raw | diff to current |
2022-06-24 |
Ralf Jung | reorganize exposure code a bit |
blob | commitdiff | raw | diff to current |
2022-05-25 |
bors | Auto merge of #2157 - RalfJung:tests, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-25 |
bors | Auto merge of #2151 - RalfJung:numbers, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-05-25 |
Ralf Jung | enable number validity checking and ptr::invalid checki... |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2149 - RalfJung:tests, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2147 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2148 - RalfJung:compare-exchange-weak... |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2146 - RalfJung:int2ptr, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
Ralf Jung | clean up int2ptr code a bit |
blob | commitdiff | raw | diff to current |
2022-05-23 |
bors | Auto merge of #2059 - carbotaniuman:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-23 |
carbotaniuman | Initial work on permissive provenance |
blob | commitdiff | raw | diff to current |
2022-04-20 |
bors | Auto merge of #2071 - RalfJung:provenance, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-20 |
Ralf Jung | avoid into_pointer_or_addr and into_parts in visit_free... |
blob | commitdiff | raw | diff to current |
2022-04-05 |
bors | Auto merge of #2047 - RalfJung:no-extras, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-05 |
Ralf Jung | adjust for MemoryExtra being merged into Machine |
blob | commitdiff | raw | diff to current |
2022-04-01 |
bors | Auto merge of #2045 - RalfJung:strict-provenance, r... |
blob | commitdiff | raw | diff to current |
2022-04-01 |
Ralf Jung | add -Zmiri-strict-provenance |
blob | commitdiff | raw | diff to current |
2021-12-08 |
bors | Auto merge of #1933 - 5225225:1931-condvar-false-positi... |
blob | commitdiff | raw | diff to current |
2021-12-06 |
bors | Auto merge of #1930 - tavianator:avoid-adjacent-allocat... |
blob | commitdiff | raw | diff to current |
2021-12-06 |
Ralf Jung | final tweaks |
blob | commitdiff | raw | diff to current |
2021-12-03 |
Tavian Barnes | intptrcast: Never allocate two objects directly adjecent |
blob | commitdiff | raw | diff to current |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
blob | commitdiff | raw | diff to current |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
blob | commitdiff | raw | diff to current |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-05-16 |
Ralf Jung | format much of Miri |
blob | commitdiff | raw | diff to current |
2021-04-04 |
bors | Auto merge of #1755 - RalfJung:cargo-update, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-04-04 |
Ralf Jung | bump miri dependencies |
blob | commitdiff | raw | diff to current |
2020-08-03 |
bors | Auto merge of #1495 - samrat:fd-trait, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #1489 - RalfJung:tls-alloc-ids, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Ralf Jung | adjust to canonical_alloc_id removal |
blob | commitdiff | raw | diff to current |
2020-06-27 |
bors | Auto merge of #1460 - RalfJung:modules, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-27 |
Ralf Jung | module organization: move platform-specific code to... |
blob | commitdiff | raw | diff to current |
2020-05-01 |
bors | Auto merge of #1381 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-01 |
Ralf Jung | rustup; fix for changed error messages |
blob | commitdiff | raw | diff to current |
2020-04-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
blob | commitdiff | raw | diff to current |
2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
blob | commitdiff | raw | diff to current |
2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | rustup for import changes |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1270 - RalfJung:incremental, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1279 - divergentdave:open_O_EXCL, r... |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1281 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
Ralf Jung | adjust for librustc rename; reduce 'extern crate' to... |
blob | commitdiff | raw | diff to current |
2020-03-19 |
bors | Auto merge of #1219 - RalfJung:error-cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-19 |
Ralf Jung | adjust for error reform |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1202 - RalfJung:symbols, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | HashMap -> FxHashMap |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1190 - RalfJung:canonical-alloc-id,... |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | canonicalize alloc ID for ptr-to-int cast |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1118 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustfmt all the things |
blob | commitdiff | raw | diff to current |
2019-11-09 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-11-08 |
bors | Auto merge of #1044 - RalfJung:uprust, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-08 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2019-09-08 |
bors | Auto merge of #942 - rust-lang:rustup, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-09-06 |
Oliver Scherer | Rustup |
blob | commitdiff | raw | diff to current |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #877 - christianpoveda:ldexp-shim, r... |
blob | commitdiff | raw | diff to current |
2019-08-03 |
bors | Auto merge of #878 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-03 |
Ralf Jung | fix for error refactoring |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #852 - lzutao:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | use checked arithmetic in intrptrcast |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
next |