2019-09-28 |
bors | Auto merge of #957 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw |
2019-09-16 |
bors | Auto merge of #945 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw |
2019-09-14 |
bors | Auto merge of #953 - RalfJung:contributing, r=oli-obk |
blob | commitdiff | raw |
2019-09-14 |
Ralf Jung | add CONTRIBUTING guide |
blob | commitdiff | raw |
2019-08-29 |
bors | Auto merge of #937 - christianpoveda:fix-isolation... |
blob | commitdiff | raw | diff to current |
2019-08-29 |
Christian Poveda | Add cargo-miri test for no isolation |
blob | commitdiff | raw | diff to current |
2019-08-29 |
bors | Auto merge of #935 - christianpoveda:blacklist-env... |
blob | commitdiff | raw | diff to current |
2019-08-29 |
Christian Poveda | Small corrections |
blob | commitdiff | raw | diff to current |
2019-08-28 |
Christian Poveda | Add -Zmiri-env-exclude flag |
blob | commitdiff | raw | diff to current |
2019-08-27 |
bors | Auto merge of #925 - christianpoveda:environ-shim,... |
blob | commitdiff | raw | diff to current |
2019-08-27 |
bors | Auto merge of #917 - RalfJung:isolation, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-08-23 |
Ralf Jung | change flag name: enable-communication -> disable-isolation |
blob | commitdiff | raw | diff to current |
2019-08-23 |
bors | Auto merge of #914 - christianpoveda:use-host-rng,... |
blob | commitdiff | raw | diff to current |
2019-08-20 |
Christian Poveda | Update -Zmiri-enable-communication docs |
blob | commitdiff | raw | diff to current |
2019-08-14 |
bors | Auto merge of #894 - christianpoveda:env-vars-communica... |
blob | commitdiff | raw | diff to current |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #898 - christianpoveda:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
blob | commitdiff | raw | diff to current |
2019-08-06 |
Christian Poveda | Update readme |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #884 - Aaron1011:fix/linux-getrandom... |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #887 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
Ralf Jung | add getrandom bug |
blob | commitdiff | raw | diff to current |
2019-08-02 |
bors | Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-07-31 |
Ralf Jung | test-miri is no longer a thing |
blob | commitdiff | raw | diff to current |
2019-07-30 |
bors | Auto merge of #867 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-30 |
Ralf Jung | move CI remark down to CI section |
blob | commitdiff | raw | diff to current |
2019-07-30 |
bors | Auto merge of #865 - RalfJung:readme, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-07-30 |
Ralf Jung | call out more clearly what we do not test; update parag... |
blob | commitdiff | raw | diff to current |
2019-07-25 |
bors | Auto merge of #857 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-25 |
Ralf Jung | link to UB definition |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #853 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #852 - lzutao:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
Ralf Jung | readme: move flags and env vars up above dev |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
blob | commitdiff | raw | diff to current |
2019-07-14 |
bors | Auto merge of #840 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-14 |
Ralf Jung | update README about what we do not support |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | don't call Stacked Borrows hooks at all when validation... |
blob | commitdiff | raw | diff to current |
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 |
next |