2020-02-26 |
bors | Auto merge of #1152 - divergentdave:shim-directory... |
tree | commitdiff |
2020-02-23 |
bors | Auto merge of #1191 - RalfJung:cargup, r=RalfJung |
tree | commitdiff |
2020-02-23 |
Ralf Jung | cargo update |
tree | commitdiff |
2020-02-23 |
bors | Auto merge of #1167 - christianpoveda:shims-refactor... |
tree | commitdiff |
2020-02-22 |
bors | Auto merge of #1185 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2020-02-21 |
bors | Auto merge of #1187 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-02-21 |
Ralf Jung | fix test-cargo-miri |
tree | commitdiff |
2019-12-22 |
bors | Auto merge of #1101 - christianpoveda:stat-shim, r... |
tree | commitdiff |
2019-12-07 |
bors | Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung |
tree | commitdiff |
2019-12-07 |
bors | Auto merge of #1105 - RalfJung:readme, r=oli-obk |
tree | commitdiff |
2019-12-07 |
Ralf Jung | use recommended test exclusion technique in test |
tree | commitdiff |
2019-12-02 |
bors | Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung |
tree | commitdiff |
2019-12-02 |
Ralf Jung | also test built-in panics via should_panic |
tree | commitdiff |
2019-12-01 |
bors | Auto merge of #1087 - RalfJung:toolchain, r=oli-obk |
tree | commitdiff |
2019-12-01 |
bors | Auto merge of #1091 - RalfJung:run-test, r=RalfJung |
tree | commitdiff |
2019-12-01 |
Ralf Jung | run-test: make sure the sysroot building output does... |
tree | commitdiff |
2019-11-30 |
bors | Auto merge of #1089 - RalfJung:should-panic, r=RalfJung |
tree | commitdiff |
2019-11-30 |
Ralf Jung | test should_panic checking the panic string |
tree | commitdiff |
2019-11-19 |
bors | Auto merge of #693 - Aaron1011:feature/panic_unwind_fin... |
tree | commitdiff |
2019-11-19 |
Aaron Hill | Disable #[should_panic] test on Windows |
tree | commitdiff |
2019-11-17 |
Aaron Hill | Update captured test output |
tree | commitdiff |
2019-11-17 |
Aaron Hill | Add #[should_panic] test |
tree | commitdiff |
2019-11-17 |
bors | Auto merge of #1055 - RalfJung:panic-stub, r=RalfJung |
tree | commitdiff |
2019-11-15 |
bors | Auto merge of #1054 - RalfJung:win-num-cpus, r=RalfJung |
tree | commitdiff |
2019-11-15 |
Ralf Jung | test-cargo-miri: cargo update, re-enable windows num_cp... |
tree | commitdiff |
2019-11-09 |
Christian Poveda | Fix merge conflicts |
tree | commitdiff |
2019-11-08 |
bors | Auto merge of #1040 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-11-08 |
Ralf Jung | disable num_cpus on Windows for now |
tree | commitdiff |
2019-10-23 |
bors | Auto merge of #993 - christianpoveda:os_string_helper... |
tree | commitdiff |
2019-10-23 |
bors | Auto merge of #1017 - RalfJung:test, r=RalfJung |
tree | commitdiff |
2019-10-23 |
Ralf Jung | cargo update cargo-miri-test |
tree | commitdiff |
2019-09-30 |
Christian Poveda | Reserve fides for stdio and fix merge issues |
tree | commitdiff |
2019-09-28 |
bors | Auto merge of #957 - christianpoveda:ptr-align-offset... |
tree | commitdiff |
2019-09-28 |
bors | Auto merge of #967 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-09-28 |
Ralf Jung | cargo update for test-cargo-miri |
tree | commitdiff |
2019-08-29 |
bors | Auto merge of #937 - christianpoveda:fix-isolation... |
tree | commitdiff |
2019-08-29 |
Christian Poveda | Add cargo-miri test for no isolation |
tree | commitdiff |
2019-08-29 |
bors | Auto merge of #931 - RalfJung:retag-makes-my-head-hurt... |
tree | commitdiff |
2019-08-28 |
bors | Auto merge of #930 - RalfJung:build, r=RalfJung |
tree | commitdiff |
2019-08-28 |
Ralf Jung | more implicit |
tree | commitdiff |
2019-08-28 |
Ralf Jung | test that build scripts do not run in Miri |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #925 - christianpoveda:environ-shim,... |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #917 - RalfJung:isolation, r=oli-obk |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #924 - RalfJung:getrandom, r=RalfJung |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #922 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #921 - RalfJung:cargo-update, r=RalfJung |
tree | commitdiff |
2019-08-26 |
Ralf Jung | cargo update |
tree | commitdiff |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
tree | commitdiff |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
tree | commitdiff |
2019-08-07 |
bors | Auto merge of #895 - RalfJung:uninit, r=oli-obk |
tree | commitdiff |
2019-08-06 |
bors | Auto merge of #893 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-06 |
bors | Auto merge of #891 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-06 |
Ralf Jung | test-cargo-miri: cargo update |
tree | commitdiff |
2019-07-11 |
bors | Auto merge of #830 - RalfJung:check-place, r=RalfJung |
tree | commitdiff |
2019-07-10 |
Ralf Jung | force pointers before reborrowing; fixes cargo miri... |
tree | commitdiff |
2019-07-06 |
bors | Auto merge of #826 - RalfJung:uninit, r=RalfJung |
tree | commitdiff |
2019-07-06 |
bors | Auto merge of #808 - RalfJung:extra-fn, r=RalfJung |
tree | commitdiff |
2019-07-06 |
Ralf Jung | bump the version of getrandom that we test |
tree | commitdiff |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
tree | commitdiff |
2019-07-05 |
bors | Auto merge of #803 - christianpoveda:intptrcast-explici... |
tree | commitdiff |
2019-07-05 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2019-07-05 |
Ralf Jung | temporarily disable validation for 'cargo miri test... |
tree | commitdiff |
2019-07-01 |
Ralf Jung | Merge branch 'master' into rustup |
tree | commitdiff |
2019-06-30 |
bors | Auto merge of #801 - RalfJung:num_cpus, r=RalfJung |
tree | commitdiff |
2019-06-29 |
Ralf Jung | support num_cpus and test that |
tree | commitdiff |
2019-06-29 |
Ralf Jung | Merge remote-tracking branch 'ralf/machine' into rustup |
tree | commitdiff |
2019-06-28 |
bors | Auto merge of #796 - RalfJung:rand, r=RalfJung |
tree | commitdiff |
2019-06-28 |
Ralf Jung | bump rand to released 0.7 |
tree | commitdiff |
2019-06-12 |
Ralf Jung | Merge pull request #701 from RalfJung/rand |
tree | commitdiff |
2019-06-12 |
Ralf Jung | bump rand so that the test passes |
tree | commitdiff |
2019-06-12 |
Ralf Jung | test rand a bit more |
tree | commitdiff |
2019-05-17 |
Ralf Jung | test and support two-phase reborrows of raw pointers... |
tree | commitdiff |
2019-05-17 |
Ralf Jung | fix tests |
tree | commitdiff |
2019-05-15 |
Ralf Jung | deduplicate tests |
tree | commitdiff |
2019-04-22 |
Ralf Jung | Merge branch 'master' into exit |
tree | commitdiff |
2019-04-22 |
Ralf Jung | Merge pull request #709 from RalfJung/macos-rand |
tree | commitdiff |
2019-04-22 |
Ralf Jung | make run-test runnable from other directories |
tree | commitdiff |
2019-04-22 |
Ralf Jung | no need to allow any more |
tree | commitdiff |
2019-04-22 |
Ralf Jung | implement SecRandomCopyBytes for macOS RNG |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Merge pull request #710 from RalfJung/travis |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Travis: test cargo miri on foreign arch |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge pull request #698 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge branch 'master' into stacked-borrows-2 |
tree | commitdiff |
2019-04-18 |
Ralf Jung | remove some unneeded 'extern crate' |
tree | commitdiff |
2019-04-17 |
Ralf Jung | Merge pull request #692 from RalfJung/rand |
tree | commitdiff |
2019-04-16 |
Ralf Jung | Merge branch 'master' into rand |
tree | commitdiff |
2019-04-16 |
Ralf Jung | try to really fix tests on macOS |
tree | commitdiff |
2019-04-16 |
Ralf Jung | fix tests on macOS |
tree | commitdiff |
2019-04-16 |
Ralf Jung | pick better test names |
tree | commitdiff |
2019-04-16 |
Ralf Jung | fix ref file |
tree | commitdiff |
2019-04-16 |
Ralf Jung | stub out pthread_atfork to that we support thread_rng() |
tree | commitdiff |
2019-04-16 |
Ralf Jung | update cargo miri test to test rng crate a bit; this... |
tree | commitdiff |
2019-02-14 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into str... |
tree | commitdiff |
2019-02-13 |
Ralf Jung | Merge branch 'master' into format-padding |
tree | commitdiff |
2019-02-11 |
Ralf Jung | Merge branch 'master' into appveyor |
tree | commitdiff |
2019-02-10 |
Oliver Scherer | Merge pull request #624 from RalfJung/args |
tree | commitdiff |
2019-02-09 |
Ralf Jung | also enable passing arguments through from cargo-miri |
tree | commitdiff |
2019-02-09 |
Ralf Jung | implement passing arguments to the interpreted program |
tree | commitdiff |
2019-02-07 |
Oliver Scherer | Merge pull request #616 from RalfJung/cargo-miri |
tree | commitdiff |
2019-02-07 |
Ralf Jung | update test for cargo-miri |
tree | commitdiff |
next |