2021-09-02 |
DrMeepster | add support for #[start] |
blob | commitdiff | raw |
2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-07-25 |
bors | Auto merge of #1859 - RalfJung:global-system-mixup... |
blob | commitdiff | raw | diff to current |
2021-07-25 |
Ralf Jung | tell users how to disable the leak check |
blob | commitdiff | raw | diff to current |
2021-07-25 |
Ralf Jung | also ignore 'thread leaks' with -Zmiri-ignore-leaks |
blob | commitdiff | raw | diff to current |
2021-07-25 |
bors | Auto merge of #1856 - RalfJung:no-mir, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-07-24 |
Ralf Jung | show proper error when using a sysroot without MIR |
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-07-04 |
bors | Auto merge of #1845 - Smittyvb:fix-after-mir-alloc... |
blob | commitdiff | raw | diff to current |
2021-07-04 |
Smitty | Make work after mir-alloc-oom |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
blob | commitdiff | raw | diff to current |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
blob | commitdiff | raw | diff to current |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
blob | commitdiff | raw | diff to current |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Address review comments |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
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-03-14 |
bors | Auto merge of #1743 - RalfJung:callee-checks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Ralf Jung | when Miri calls a function ptr, make sure it has the... |
blob | commitdiff | raw | diff to current |
2021-02-20 |
bors | Auto merge of #1716 - tmiasko:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-20 |
Tomasz Miąsko | rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404 |
blob | commitdiff | raw | diff to current |
2021-02-18 |
bors | Auto merge of #1715 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-18 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
blob | commitdiff | raw | diff to current |
2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-28 |
bors | Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-01-26 |
Thom Chiovoloni | Allow configuring the failure rate with -Zmiri-compare... |
blob | commitdiff | raw | diff to current |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | add an option to track raw pointer tags in Stacked... |
blob | commitdiff | raw | diff to current |
2020-09-03 |
bors | Auto merge of #1532 - divergentdave:thread-panic-payloa... |
blob | commitdiff | raw | diff to current |
2020-09-03 |
David Cook | Per-thread errno storage |
blob | commitdiff | raw | diff to current |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and... |
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 | fix diagnostics printing when triggered during TLS... |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #1487 - pnadon:miri-rename-undef-uninit... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
Philippe Nadon | renamed ScalarMaybeUninit::not_undef to check_init |
blob | commitdiff | raw | diff to current |
2020-07-25 |
bors | Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-23 |
Ralf Jung | add a Miri extern fn to mark an allocation as being... |
blob | commitdiff | raw | diff to current |
2020-07-18 |
bors | Auto merge of #1436 - samrat:support-stdin-read, r... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
bors | Auto merge of #1480 - RalfJung:diagnostic-stacktrace... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Ralf Jung | fix non-fatal diagnostics stacktraces |
blob | commitdiff | raw | diff to current |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-02 |
bors | Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-02 |
Ralf Jung | add option to track call IDs |
blob | commitdiff | raw | diff to current |
2020-06-15 |
bors | Auto merge of #1451 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-15 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-06-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-25 |
bors | Auto merge of #1362 - vakaras:add-sync-primitives-cr1... |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Improve code readability and comments. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Implement support for synchronization primitives. |
blob | commitdiff | raw | diff to current |
2020-05-03 |
bors | Auto merge of #1387 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-03 |
Ralf Jung | bump Rust, fix warnings |
blob | commitdiff | raw | diff to current |
2020-04-30 |
bors | Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-29 |
Vytautas Astrauskas | Improve code readability and comments. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Improve style and comments. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Unify TLS dtors; move stepping outside. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Clarify comments about TLS destructor handling in Windo... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Fix support for MacOS. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Make an assert message consistent with other asserts. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Address some of the reviewers comments. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Implement basic support for concurrency (Linux only). |
blob | commitdiff | raw | diff to current |
2020-04-27 |
bors | Auto merge of #1354 - divergentdave:dump-alloc-on-undef... |
blob | commitdiff | raw | diff to current |
2020-04-22 |
bors | Auto merge of #1348 - RalfJung:raw-addr-of-align, r... |
blob | commitdiff | raw | diff to current |
2020-04-22 |
Ralf Jung | rustup |
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-19 |
bors | Auto merge of #1342 - divergentdave:pause-instruction... |
blob | commitdiff | raw | diff to current |
2020-04-18 |
bors | Auto merge of #1349 - RalfJung:machine-layouts, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-18 |
Ralf Jung | use pre-computed layouts some more |
blob | commitdiff | raw | diff to current |
2020-04-18 |
bors | Auto merge of #1325 - RalfJung:float_to_int_unchecked... |
blob | commitdiff | raw | diff to current |
2020-04-14 |
bors | Auto merge of #1331 - samrat:macos-mach-timebase-info... |
blob | commitdiff | raw | diff to current |
2020-04-14 |
bors | Auto merge of #1332 - RalfJung:disable-alignment-check... |
blob | commitdiff | raw | diff to current |
2020-04-13 |
Ralf Jung | add option to disable alignment checks |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1308 - RalfJung:miri, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1316 - RalfJung:compiletest, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1304 - RalfJung:backtrace-sep, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-07 |
bors | Auto merge of #1301 - RalfJung:global-leaks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-07 |
bors | Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-06 |
bors | Auto merge of #1157 - divergentdave:shim-pthread-try... |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Eagerly compute i32 and u32 layouts |
blob | commitdiff | raw | diff to current |
2020-04-05 |
Ralf Jung | update Windows leak comment |
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 |
next |