2022-06-28 |
bors | Auto merge of #2280 - RalfJung:int2ptr, r=RalfJung |
blob | commitdiff | raw |
2022-06-28 |
Ralf Jung | tweak int2ptr diagnostics |
blob | commitdiff | raw |
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 |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | avoid integer overflow in ptr-to-int cast |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | allow dangling ptr-to-int casts; use force_bits for... |
blob | commitdiff | raw | diff to current |
2019-07-01 |
bors | Auto merge of #815 - RalfJung:memory-audit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-01 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-30 |
bors | Auto merge of #809 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-30 |
Ralf Jung | add some tracing to intptrcast |
blob | commitdiff | raw | diff to current |
2019-06-30 |
bors | Auto merge of #804 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-30 |
Ralf Jung | fix comparing function pointers with intptrcast |
blob | commitdiff | raw | diff to current |
2019-06-30 |
bors | Auto merge of #801 - RalfJung:num_cpus, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-29 |
bors | Auto merge of #795 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | support num_cpus and test that |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | don't compute residue twice |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | more sensible slack |
blob | commitdiff | raw | diff to current |
next |