2020-08-28 |
bors | Auto merge of #1525 - divergentdave:cargo-miri-targets... |
blob | commitdiff | raw |
2020-08-27 |
bors | Auto merge of #1530 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw |
2020-08-27 |
bors | Auto merge of #1528 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw |
2020-08-27 |
Ralf Jung | add encoding_rs OOB arithmetic |
blob | commitdiff | raw |
2020-08-22 |
bors | Auto merge of #1522 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-22 |
Ralf Jung | emphasize that some flags are unsound to use |
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-17 |
Ralf Jung | tweak alignment check docs |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | document -Zmiri-symbolic-alignment-check |
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 | document Miri extern functions |
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-15 |
bors | Auto merge of #1478 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-07-15 |
Ralf Jung | make cfg(miri) greppable |
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-06-08 |
bors | Auto merge of #1445 - JOE1994:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-08 |
Youngsuk Kim | Add a case to list of 'StackedBorrows violations' |
blob | commitdiff | raw | diff to current |
2020-05-31 |
bors | Auto merge of #1441 - RalfJung:sync-cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-30 |
Ralf Jung | update unsupported example in README (now that threadin... |
blob | commitdiff | raw | diff to current |
2020-05-17 |
bors | Auto merge of #1415 - RalfJung:test-suite-filter, r... |
blob | commitdiff | raw | diff to current |
2020-05-17 |
Ralf Jung | add test suite filter example to README and 'cargo... |
blob | commitdiff | raw | diff to current |
2020-05-10 |
bors | Auto merge of #1408 - RalfJung:comments, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-10 |
Ralf Jung | fix some comments, and run_compiler return type |
blob | commitdiff | raw | diff to current |
2020-05-10 |
bors | Auto merge of #1406 - RalfJung:miri-as-rustc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-10 |
Ralf Jung | fix dead link in README |
blob | commitdiff | raw | diff to current |
2020-05-09 |
bors | Auto merge of #1405 - RalfJung:stage-0, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-09 |
Ralf Jung | Typo |
blob | commitdiff | raw | diff to current |
2020-05-09 |
Ralf Jung | make Miri work in rustc bootstrap stage 0 |
blob | commitdiff | raw | diff to current |
2020-05-07 |
bors | Auto merge of #1397 - brson:tikv-2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-07 |
Ralf Jung | adjust wording |
blob | commitdiff | raw | diff to current |
2020-05-07 |
Brian Anderson | Add two more TiKV bugs to trophy case |
blob | commitdiff | raw | diff to current |
2020-05-02 |
bors | Auto merge of #1386 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-02 |
bors | Auto merge of #1383 - brson:tikv-trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-02 |
Ralf Jung | trophy case: consistent wording (X doing Y) |
blob | commitdiff | raw | diff to current |
2020-05-02 |
Ralf Jung | Adjust wording |
blob | commitdiff | raw | diff to current |
2020-05-01 |
Brian Anderson | Add another tikv stacked borrowing error to trophy... |
blob | commitdiff | raw | diff to current |
2020-04-30 |
bors | Auto merge of #1379 - RalfJung:macos-fn-name, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-30 |
Ralf Jung | README tweak |
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-30 |
bors | Auto merge of #1377 - brson:servo-trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-30 |
Ralf Jung | Tweak error wording |
blob | commitdiff | raw | diff to current |
2020-04-30 |
Brian Anderson | Add servo_arc to trophy case |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Update a comment in README about what concurrency check... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Add a warning that Miri does not check for data-races. |
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-25 |
bors | Auto merge of #1368 - Robbepop:add-new-trophy-for-inks... |
blob | commitdiff | raw | diff to current |
2020-04-25 |
Hero Bird | Update README.md |
blob | commitdiff | raw | diff to current |
2020-04-25 |
Hero Bird | Add miri trophy for LazyArray::swap (ink! PR) |
blob | commitdiff | raw | diff to current |
2020-04-23 |
bors | Auto merge of #1358 - dtolnay:ci, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-23 |
David Tolnay | Remove unneeded setup step from CI instructions in... |
blob | commitdiff | raw | diff to current |
2020-04-23 |
bors | Auto merge of #1356 - brson:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-23 |
Brian Anderson | Update README.md |
blob | commitdiff | raw | diff to current |
2020-04-23 |
Brian Anderson | Add ryu and tikv to trophy case |
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-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-14 |
Ralf Jung | tweak flag section in README |
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 #1329 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-13 |
Ralf Jung | note Miri's leak check abilities and that they are... |
blob | commitdiff | raw | diff to current |
2020-04-11 |
bors | Auto merge of #1321 - RalfJung:float, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-11 |
bors | Auto merge of #1320 - RalfJung:tests, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-11 |
bors | Auto merge of #1319 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-11 |
Ralf Jung | add push_str issue to trophy case |
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 #1304 - RalfJung:backtrace-sep, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-08 |
bors | Auto merge of #1313 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-08 |
Ralf Jung | add EbrCell to trophy case |
blob | commitdiff | raw | diff to current |
2020-04-05 |
bors | Auto merge of #1303 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-04 |
Ralf Jung | tweak README |
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-02 |
William Brown | Apply feedback |
blob | commitdiff | raw | diff to current |
2020-04-01 |
William Brown | Update readme to make supported codo clearer |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1265 - RalfJung:float-cast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-28 |
bors | Auto merge of #1267 - RalfJung:macos-dtors, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-27 |
bors | Auto merge of #1225 - JOE1994:rw_widestr, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-27 |
JOE1994 | exclude 'TERM' env_var to avoid terminfo trying to... |
blob | commitdiff | raw | diff to current |
2020-03-22 |
bors | Auto merge of #1249 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-22 |
Ralf Jung | mention cross-running in docs |
blob | commitdiff | raw | diff to current |
2020-03-21 |
bors | Auto merge of #1241 - RalfJung:dont-panic, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-20 |
bors | Auto merge of #1243 - RalfJung:instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-20 |
bors | Auto merge of #1244 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-20 |
Ralf Jung | add some more miri-detected issues |
blob | commitdiff | raw | diff to current |
2020-03-19 |
Ralf Jung | we also do not check floats for being init'd |
blob | commitdiff | raw | diff to current |
2020-03-18 |
bors | Auto merge of #1239 - elichai:2020-03-abort-intrinsics... |
blob | commitdiff | raw | diff to current |
2020-03-18 |
bors | Auto merge of #1238 - RalfJung:mir-opt-test, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-18 |
Ralf Jung | move repeated run of test suite (without and with MIR... |
blob | commitdiff | raw | diff to current |
2020-03-12 |
bors | Auto merge of #1213 - lcnr:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
bors | Auto merge of #1216 - RalfJung:env, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
bors | Auto merge of #1215 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
Ralf Jung | readme: mention the leaks we found |
blob | commitdiff | raw | diff to current |
2020-03-06 |
bors | Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-06 |
bors | Auto merge of #1211 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-06 |
Ralf Jung | README: add another bug Miri found |
blob | commitdiff | raw | diff to current |
next |