2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw |
2019-07-03 |
Ralf Jung | don't call Stacked Borrows hooks at all when validation... |
blob | commitdiff | raw |
2019-07-02 |
bors | Auto merge of #818 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-02 |
Ralf Jung | add another bug we found to the list |
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 | test even more size-alignment combinations. found a... |
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-25 |
bors | Auto merge of #790 - RalfJung:readme, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-06-25 |
Ralf Jung | add snippet for running Miri on CI |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2019-06-13 |
Ralf Jung | README: mention to cargo update, mention rustup-toolcha... |
blob | commitdiff | raw | diff to current |
2019-06-11 |
Ralf Jung | Merge pull request #766 from RalfJung/sysroot |
blob | commitdiff | raw | diff to current |
2019-06-11 |
Ralf Jung | Merge branch 'master' into sysroot |
blob | commitdiff | raw | diff to current |
2019-06-09 |
Ralf Jung | do not handle MIRI_SYSROOT in the driver at all, rely... |
blob | commitdiff | raw | diff to current |
2019-05-28 |
Ralf Jung | add Miri build script (#745) |
blob | commitdiff | raw | diff to current |
2019-05-27 |
Ralf Jung | Merge branch 'master' into miri-build |
blob | commitdiff | raw | diff to current |
2019-05-27 |
Ralf Jung | make miri script smarter: auto-determine MIRI_SYSROOT... |
blob | commitdiff | raw | diff to current |
2019-05-27 |
Ralf Jung | adjust readme to miri build script |
blob | commitdiff | raw | diff to current |
2019-05-24 |
Oliver Scherer | Merge pull request #742 from RalfJung/stacked-borrows-2 |
blob | commitdiff | raw | diff to current |
2019-05-24 |
Ralf Jung | add more bugs that Miri found |
blob | commitdiff | raw | diff to current |
2019-05-21 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into master.2 |
blob | commitdiff | raw | diff to current |
2019-05-20 |
Oliver Scherer | Merge pull request #734 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-05-20 |
Ralf Jung | expand explanation of how we treat validity invariants |
blob | commitdiff | raw | diff to current |
2019-04-26 |
Oliver Scherer | Merge pull request #714 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-04-26 |
Ralf Jung | trophy case: add rand; separate definite bugs from... |
blob | commitdiff | raw | diff to current |
2019-04-21 |
Ralf Jung | Merge pull request #704 from RalfJung/dev |
blob | commitdiff | raw | diff to current |
2019-04-21 |
Ralf Jung | Merge branch 'master' into dev |
blob | commitdiff | raw | diff to current |
2019-04-20 |
Ralf Jung | add section on the no MIR error |
blob | commitdiff | raw | diff to current |
2019-04-19 |
Ralf Jung | Merge pull request #697 from RalfJung/linked-list |
blob | commitdiff | raw | diff to current |
2019-04-19 |
Ralf Jung | add LinkedList test and mention the bug Miri found... |
blob | commitdiff | raw | diff to current |
2019-04-19 |
Ralf Jung | rewirte development part of README |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Oliver Scherer | Merge pull request #694 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-04-17 |
Ralf Jung | document -Zmiri-seed |
blob | commitdiff | raw | diff to current |
2019-04-06 |
Ralf Jung | Merge branch 'master' into 2phase-on-edition |
blob | commitdiff | raw | diff to current |
2019-04-06 |
Ralf Jung | Merge pull request #671 from timotree3/patch-1 |
blob | commitdiff | raw | diff to current |
2019-04-06 |
Ralf Jung | Merge branch 'master' into patch-1 |
blob | commitdiff | raw | diff to current |
2019-04-06 |
Ralf Jung | Merge branch 'master' into patch-1 |
blob | commitdiff | raw | diff to current |
2019-04-04 |
Ralf Jung | Merge pull request #673 from RalfJung/travis |
blob | commitdiff | raw | diff to current |
2019-04-04 |
Ralf Jung | adjust README |
blob | commitdiff | raw | diff to current |
2019-03-31 |
Timo | README: Fix missing link |
blob | commitdiff | raw | diff to current |
2019-03-31 |
Timo | README: Update to RalfJung's suggestion... |
blob | commitdiff | raw | diff to current |
2019-03-31 |
Timo | README: Suggest using a previous nightly, revert other... |
blob | commitdiff | raw | diff to current |
2019-03-30 |
Timo | Add alternative for how to install if rustup fails |
blob | commitdiff | raw | diff to current |
2019-03-30 |
0xflotus | fixed environment |
blob | commitdiff | raw | diff to current |
2019-03-28 |
Ralf Jung | Merge pull request #669 from 0xflotus/patch-1 |
blob | commitdiff | raw | diff to current |
2019-03-28 |
0xflotus | fixed environment |
blob | commitdiff | raw | diff to current |
2019-03-26 |
Oliver Scherer | Merge pull request #666 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-03-26 |
Ralf Jung | explain Miri limitations |
blob | commitdiff | raw | diff to current |
2019-03-25 |
Oliver Scherer | Merge pull request #665 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-03-25 |
Ralf Jung | update README to suggest installing Miri as a component |
blob | commitdiff | raw | diff to current |
2019-03-10 |
Ralf Jung | Merge pull request #660 from rust-lang/readme |
blob | commitdiff | raw | diff to current |
2019-03-10 |
Ralf Jung | mention --exclude-should-panic |
blob | commitdiff | raw | diff to current |
2019-03-08 |
Ralf Jung | Merge pull request #657 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-03-08 |
Ralf Jung | README |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Ralf Jung | Merge pull request #635 from alexreg/cosmetic-2 |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Alexander Regueiro | Various cosmetic improvements. |
blob | commitdiff | raw | diff to current |
2019-02-24 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into btree |
blob | commitdiff | raw | diff to current |
2019-02-23 |
Ralf Jung | Merge pull request #642 from taiki-e/update-links |
blob | commitdiff | raw | diff to current |
2019-02-23 |
Taiki Endo | Update some links |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Ralf Jung | Merge pull request #634 from RalfJung/trophy-case |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Ralf Jung | link to bug list from intro |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Ralf Jung | collect some bugs that we found |
blob | commitdiff | raw | diff to current |
2019-02-14 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into str... |
blob | commitdiff | raw | diff to current |
2019-02-13 |
Ralf Jung | Merge branch 'master' into format-padding |
blob | commitdiff | raw | diff to current |
2019-02-11 |
Ralf Jung | Merge branch 'master' into appveyor |
blob | commitdiff | raw | diff to current |
2019-02-10 |
Oliver Scherer | Merge pull request #624 from RalfJung/args |
blob | commitdiff | raw | diff to current |
2019-02-09 |
Ralf Jung | explain arument passing in the docs |
blob | commitdiff | raw | diff to current |
2019-02-07 |
Ralf Jung | Merge pull request #617 from RalfJung/cargo-miri |
blob | commitdiff | raw | diff to current |
2019-02-07 |
Ralf Jung | update docs |
blob | commitdiff | raw | diff to current |
2019-02-05 |
Ralf Jung | Merge pull request #609 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2019-02-05 |
Ralf Jung | explain how to run cargo miri with a locally compiled... |
blob | commitdiff | raw | diff to current |
2019-02-05 |
Ralf Jung | update development instructions in README |
blob | commitdiff | raw | diff to current |
2018-12-28 |
Oliver Scherer | Merge pull request #592 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2018-12-28 |
Ralf Jung | fix install command |
blob | commitdiff | raw | diff to current |
2018-12-24 |
Ralf Jung | Merge pull request #586 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-12-23 |
Ralf Jung | update README for some tracing being available on nightlies |
blob | commitdiff | raw | diff to current |
2018-12-20 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-12-19 |
Ralf Jung | Merge pull request #580 from RalfJung/cargo-miri |
blob | commitdiff | raw | diff to current |
2018-12-19 |
Ralf Jung | document the cargo-miri feature |
blob | commitdiff | raw | diff to current |
2018-12-19 |
Ralf Jung | remove outdated README comment |
blob | commitdiff | raw | diff to current |
2018-12-18 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into cargo... |
blob | commitdiff | raw | diff to current |
2018-12-12 |
Oliver Scherer | Merge pull request #570 from RalfJung/targets |
blob | commitdiff | raw | diff to current |
2018-12-12 |
Ralf Jung | do not auto-detect the targets in the sysroot, instead... |
blob | commitdiff | raw | diff to current |
2018-12-10 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #566 from RalfJung/foreign-full-mir |
blob | commitdiff | raw | diff to current |
2018-12-10 |
Ralf Jung | MIRI_SYSROOT is no longer needed for development agains... |
blob | commitdiff | raw | diff to current |
2018-12-02 |
Ralf Jung | Merge branch 'master' into skip-embedded-targets |
blob | commitdiff | raw | diff to current |
2018-12-01 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #555 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2018-11-30 |
Ralf Jung | update contact channels |
blob | commitdiff | raw | diff to current |
2018-11-30 |
Ralf Jung | add link within document |
blob | commitdiff | raw | diff to current |
2018-11-30 |
Ralf Jung | update README to first describe the usual user setup... |
blob | commitdiff | raw | diff to current |
2018-11-28 |
Ralf Jung | Merge remote-tracking branches 'origin/master' and... |
blob | commitdiff | raw | diff to current |
2018-11-27 |
Oliver S̶c̶h̶n̶e̶i... | Merge branch 'master' into oli-obk-patch-1 |
blob | commitdiff | raw | diff to current |
2018-11-27 |
Ralf Jung | Merge pull request #549 from RalfJung/readme |
blob | commitdiff | raw | diff to current |
2018-11-27 |
Ralf Jung | fix README install instructions |
blob | commitdiff | raw | diff to current |
2018-11-27 |
Ralf Jung | Merge pull request #543 from RalfJung/auto-libstd |
blob | commitdiff | raw | diff to current |
2018-11-27 |
Ralf Jung | use new dir for CI and docs |
blob | commitdiff | raw | diff to current |
next |