2021-12-08 |
bors | Auto merge of #1933 - 5225225:1931-condvar-false-positi... |
blob | commitdiff | raw |
2021-12-06 |
bors | Auto merge of #1930 - tavianator:avoid-adjacent-allocat... |
blob | commitdiff | raw |
2021-12-06 |
Ralf Jung | final tweaks |
blob | commitdiff | raw |
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 |
2019-06-29 |
Ralf Jung | tweak inttoptr allocation behavior |
blob | commitdiff | raw | diff to current |
2019-06-29 |
Ralf Jung | Merge remote-tracking branch 'ralf/machine' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-28 |
bors | Auto merge of #794 - RalfJung:alignment-sanity, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-06-28 |
Ralf Jung | ptr-to-int alignment sanity check |
blob | commitdiff | raw | diff to current |
2019-06-26 |
bors | Auto merge of #779 - christianpoveda:intptrcast-model... |
blob | commitdiff | raw | diff to current |
2019-06-26 |
Christian Poveda | Fix alignment of base addresses |
blob | commitdiff | raw | diff to current |
2019-06-25 |
Christian Poveda | Fix merge conflicts |
blob | commitdiff | raw | diff to current |
2019-06-24 |
Christian Poveda | Reorganize MemoryExtra and AllocExtra structures |
blob | commitdiff | raw | diff to current |
2019-06-24 |
Christian Poveda | Rename new fields and move rng to MemoryExtra |
blob | commitdiff | raw | diff to current |
2019-06-21 |
Christian Poveda | Implement intptrcast methods |
blob | commitdiff | raw | diff to current |
|