2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
blob | commitdiff | raw |
2021-07-25 |
bors | Auto merge of #1859 - RalfJung:global-system-mixup... |
blob | commitdiff | raw |
2021-07-25 |
bors | Auto merge of #1856 - RalfJung:no-mir, r=RalfJung |
blob | commitdiff | raw |
2021-07-25 |
bors | Auto merge of #1838 - atsmtat:fs-isolation, 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-20 |
Smit Soni | Fix use of deprecated `check_no_isolation` in posix... |
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-12 |
bors | Auto merge of #1850 - RalfJung:fmt, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-07-11 |
Ralf Jung | fmt: set force_multiline_blocks=true |
blob | commitdiff | raw | diff to current |
2021-06-15 |
bors | Auto merge of #1833 - hyd-dev:82261, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-15 |
bors | Auto merge of #1832 - hyd-dev:1776-follow-up, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-11 |
hyd-dev | Disallow `#[no_mangle]`/`#[export_name = ...]` function... |
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 #1829 - RalfJung:isolation, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Ralf Jung | isolated operations return EPERM; tweak isolation hint |
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-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-31 |
bors | Auto merge of #1820 - Aaron1011:rustup-const-err, r... |
blob | commitdiff | raw | diff to current |
2021-05-31 |
Aaron Hill | Rustup for const_err changes |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
blob | commitdiff | raw | diff to current |
2021-05-19 |
bors | Auto merge of #1804 - RalfJung:ptrless-allocs, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-19 |
Ralf Jung | update for Memory API changes |
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 | hand-held formatting for remaining files |
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 |
2020-12-10 |
bors | Auto merge of #1646 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-12-10 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-10-27 |
bors | Auto merge of #1601 - RalfJung:misc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-27 |
Ralf Jung | pointer tag tracking: also show when tag is being created |
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 | adjust diagnostics to alignment check mode |
blob | commitdiff | raw | diff to current |
2020-08-13 |
bors | Auto merge of #1504 - RalfJung:ill-formed-const, r... |
blob | commitdiff | raw | diff to current |
2020-08-13 |
Ralf Jung | add test for unused ill-formed constant |
blob | commitdiff | raw | diff to current |
2020-08-10 |
bors | Auto merge of #1503 - RalfJung:post-mono, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-10 |
Ralf Jung | accept ReferencedConstant errors in Miri (can happen... |
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-30 |
bors | Auto merge of #1492 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-30 |
Ralf Jung | rustup |
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 | Typos |
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 |
Ralf Jung | adjust to canonical_alloc_id removal |
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-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-23 |
bors | Auto merge of #1429 - RalfJung:discriminant_value,... |
blob | commitdiff | raw | diff to current |
2020-05-22 |
bors | Auto merge of #1374 - divergentdave:InvalidUndefBytes... |
blob | commitdiff | raw | diff to current |
2020-05-22 |
David Cook | Update to match rustc changes |
blob | commitdiff | raw | diff to current |
2020-05-09 |
bors | Auto merge of #1403 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-09 |
Ralf Jung | bump Rust, fix for renames |
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-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-30 |
bors | Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Generate fresh allocation ids for thread locals in... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
bors | Auto merge of #1370 - samrat:add-scalar-size-test,... |
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-27 |
David Cook | Review comments |
blob | commitdiff | raw | diff to current |
2020-04-24 |
David Cook | Add message before dumping alloc |
blob | commitdiff | raw | diff to current |
2020-04-22 |
David Cook | Reorder output |
blob | commitdiff | raw | diff to current |
2020-04-22 |
David Cook | Print hex dump of alloc on reading undef bytes |
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-18 |
bors | Auto merge of #1325 - RalfJung:float_to_int_unchecked... |
blob | commitdiff | raw | diff to current |
2020-04-16 |
bors | Auto merge of #1341 - RalfJung:force-ptr-everywhere... |
blob | commitdiff | raw | diff to current |
2020-04-16 |
Ralf Jung | ReadBytesAsPointer is always supported |
blob | commitdiff | raw | diff to current |
2020-04-15 |
bors | Auto merge of #1337 - RalfJung:intrinsic-tests, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-15 |
bors | Auto merge of #1334 - KrishnaSannasi:track-dealloc... |
blob | commitdiff | raw | diff to current |
2020-04-15 |
Ozaren | added deallocation tracking |
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 | mention new option in README and diagnostics |
blob | commitdiff | raw | diff to current |
2020-04-13 |
bors | Auto merge of #1328 - RalfJung:align-false-pos, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-13 |
Ralf Jung | for alignment errors, note that there might be false... |
blob | commitdiff | raw | diff to current |
2020-04-12 |
bors | Auto merge of #1322 - RalfJung:noref, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-12 |
Ralf Jung | avoid ref in matches |
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 | Add TerminationInfo::Deadlock, use in mutex shim |
blob | commitdiff | raw | diff to current |
2020-04-05 |
Ralf Jung | add empty line before backtrace, to separate it from... |
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 #1295 - RalfJung:ci-no-incremental, r... |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1283 - RalfJung:backtrace, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | adjust for span not being passed around any more |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | adjust stacktrace printing to rustc 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 |
next |