2020-10-28 |
bors | Auto merge of #1604 - RalfJung:std-debug-assert, r... |
blob | commitdiff | raw |
2020-10-28 |
bors | Auto merge of #1605 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw |
2020-10-28 |
Ralf Jung | remove outdated CI badges |
blob | commitdiff | raw |
2020-10-24 |
bors | Auto merge of #1598 - camelid:hide-readlink-error,... |
blob | commitdiff | raw | diff to current |
2020-10-24 |
bors | Auto merge of #1596 - camelid:fix-readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-23 |
Camelid | Fix README |
blob | commitdiff | raw | diff to current |
2020-10-22 |
bors | Auto merge of #1592 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-22 |
bors | Auto merge of #1590 - RalfJung:trophy, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-21 |
Ralf Jung | another TiKV bug for the trophy case :) |
blob | commitdiff | raw | diff to current |
2020-10-21 |
bors | Auto merge of #1589 - Aaron1011:enable-normal-backtrace... |
blob | commitdiff | raw | diff to current |
2020-10-20 |
Aaron Hill | Enable `backtrace` feature in the generated `Xargo... |
blob | commitdiff | raw | diff to current |
2020-10-11 |
bors | Auto merge of #1581 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-11 |
bors | Auto merge of #1580 - Aaron1011:feature/backtrace-fn... |
blob | commitdiff | raw | diff to current |
2020-10-11 |
Ralf Jung | Improve wording |
blob | commitdiff | raw | diff to current |
2020-10-11 |
bors | Auto merge of #1571 - lzutao:actions, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-11 |
Lzu Tao | Add a working github actions template |
blob | commitdiff | raw | diff to current |
2020-10-11 |
Ralf Jung | README: make our cross-interpretation feature stand... |
blob | commitdiff | raw | diff to current |
2020-10-10 |
Aaron Hill | Add an `fn_ptr` field to `MiriFrame` |
blob | commitdiff | raw | diff to current |
2020-10-09 |
bors | Auto merge of #1579 - lygstate:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-09 |
Yonggang Luo | Update README.md |
blob | commitdiff | raw | diff to current |
2020-10-04 |
bors | Auto merge of #1563 - lzutao:dummy-actions, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-09-28 |
bors | Auto merge of #1559 - Aaron1011:new-miri-backtrace... |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Ralf Jung | fix typo |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Require #[repr(C)] on MiriFrame |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Update README |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Use a 'flags' parameter instead of 'version' |
blob | commitdiff | raw | diff to current |
2020-09-28 |
Aaron Hill | Add API for capturing backtrace |
blob | commitdiff | raw | diff to current |
2020-09-19 |
bors | Auto merge of #1551 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-09-19 |
Ralf Jung | list two more aliasing problems we found in BTreeMap... |
blob | commitdiff | raw | diff to current |
2020-09-18 |
bors | Auto merge of #1549 - RalfJung:panic-abort, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-09-18 |
Ralf Jung | support panic=abort |
blob | commitdiff | raw | diff to current |
2020-09-17 |
bors | Auto merge of #1540 - RalfJung:cargo-miri-redone, r... |
blob | commitdiff | raw | diff to current |
2020-09-17 |
Ralf Jung | make sure subcrate tests have the right cwd |
blob | commitdiff | raw | diff to current |
2020-09-17 |
Ralf Jung | update docs, and also use MIRIFLAGS for the test suite |
blob | commitdiff | raw | diff to current |
2020-08-28 |
bors | Auto merge of #1525 - divergentdave:cargo-miri-targets... |
blob | commitdiff | raw | diff to current |
2020-08-27 |
bors | Auto merge of #1530 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-27 |
bors | Auto merge of #1528 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-27 |
Ralf Jung | add encoding_rs OOB arithmetic |
blob | commitdiff | raw | diff to current |
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 |
next |