2019-07-31 |
Ralf Jung | reorder for clarity |
blob | commitdiff | raw |
2019-07-31 |
Ralf Jung | dedup code a bit |
blob | commitdiff | raw | diff to current |
2019-07-31 |
Ralf Jung | test suite: be fine with warnings when running on rustc CI |
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 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | update miri-seed handling for run-pass test suite |
blob | commitdiff | raw | diff to current |
2019-07-20 |
bors | Auto merge of #848 - RalfJung:rustc-tests, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-20 |
Ralf Jung | disable some compile-fail tests for rustc |
blob | commitdiff | raw | diff to current |
2019-07-11 |
bors | Auto merge of #833 - RalfJung:win, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-11 |
Ralf Jung | reenable all tests on Windows |
blob | commitdiff | raw | diff to current |
2019-07-10 |
bors | Auto merge of #831 - lzutao:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-10 |
Lzu Tao | Remove SliceConcatExt import |
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-05 |
bors | Auto merge of #803 - christianpoveda:intptrcast-explici... |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Ralf Jung | temporarily disable validation on Windows |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Ralf Jung | temporarily disable intptrcast advanced testing on... |
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 | dont add the -Zmiri-seed flag twice |
blob | commitdiff | raw | diff to current |
2019-07-02 |
Ralf Jung | run all run-pass tests with intrptrcast. makes many... |
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-04-22 |
Ralf Jung | Merge branch 'master' into exit |
blob | commitdiff | raw | diff to current |
2019-04-21 |
Ralf Jung | Merge pull request #710 from RalfJung/travis |
blob | commitdiff | raw | diff to current |
2019-04-21 |
Ralf Jung | Travis: test cargo miri on foreign arch |
blob | commitdiff | raw | diff to current |
2019-04-07 |
Ralf Jung | Merge pull request #678 from RalfJung/test-env |
blob | commitdiff | raw | diff to current |
2019-04-07 |
Ralf Jung | rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarif... |
blob | commitdiff | raw | diff to current |
2019-04-07 |
Ralf Jung | compiletest can just propagate MIRI_SYSROOT from the... |
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 | Removed copyright notices. |
blob | commitdiff | raw | diff to current |
2018-12-20 |
Ralf Jung | Merge branch 'master' into rustup |
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-18 |
Ralf Jung | Merge pull request #574 from solson/rustup2 |
blob | commitdiff | raw | diff to current |
2018-12-18 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup2 |
blob | commitdiff | raw | diff to current |
2018-12-13 |
Ralf Jung | we have no whitelist any more, go back to opt-level 3 |
blob | commitdiff | raw | diff to current |
2018-12-12 |
Ralf Jung | Merge pull request #573 from RalfJung/rustc-wrapper |
blob | commitdiff | raw | diff to current |
2018-12-12 |
Ralf Jung | fix warning |
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 | use rustc_version also to parse host in compiletest |
blob | commitdiff | raw | diff to current |
2018-12-10 |
Ralf Jung | the test suite assumes a libstd with full MIR; run... |
blob | commitdiff | raw | diff to current |
2018-12-07 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into stack... |
blob | commitdiff | raw | diff to current |
2018-12-03 |
Ralf Jung | Merge pull request #559 from RalfJung/fixme |
blob | commitdiff | raw | diff to current |
2018-12-03 |
Ralf Jung | Merge branch 'master' into stacked-borrows-2-phase |
blob | commitdiff | raw | diff to current |
2018-12-03 |
Ralf Jung | Merge branch 'master' into fixme |
blob | commitdiff | raw | diff to current |
2018-12-03 |
Oliver S̶c̶h̶n̶e̶i... | Merge branch 'master' into fixme |
blob | commitdiff | raw | diff to current |
2018-12-02 |
Ralf Jung | Merge pull request #556 from Nemo157/skip-embedded... |
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-02 |
Wim Looman | Skip testing targets that don't ship libstd |
blob | commitdiff | raw | diff to current |
2018-12-02 |
Ralf Jung | remove/fix outdated FIXMEs in tests |
blob | commitdiff | raw | diff to current |
2018-11-20 |
Ralf Jung | Merge pull request #535 from RalfJung/tests-edition... |
blob | commitdiff | raw | diff to current |
2018-11-20 |
Ralf Jung | use 2018 edition for tests |
blob | commitdiff | raw | diff to current |
2018-11-20 |
Ralf Jung | Merge branch 'miri-backtrace' into mut-visitor |
blob | commitdiff | raw | diff to current |
2018-11-16 |
Ralf Jung | Merge pull request #524 from RalfJung/escape-to-raw |
blob | commitdiff | raw | diff to current |
2018-11-16 |
Ralf Jung | stacked borrows is broken without full MIR |
blob | commitdiff | raw | diff to current |
2018-11-16 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into escap... |
blob | commitdiff | raw | diff to current |
2018-11-15 |
Ralf Jung | Separate deref and access into different operations... |
blob | commitdiff | raw | diff to current |
2018-11-09 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #515 from RalfJung/test |
blob | commitdiff | raw | diff to current |
2018-11-09 |
Ralf Jung | bump compiletest so that we can share the tempdir(... |
blob | commitdiff | raw | diff to current |
2018-11-09 |
Ralf Jung | remove unused import |
blob | commitdiff | raw | diff to current |
2018-11-09 |
Ralf Jung | use custom test runner so that we can get proper test... |
blob | commitdiff | raw | diff to current |
2018-11-03 |
Ralf Jung | Merge pull request #506 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-11-02 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-11-01 |
Ralf Jung | stub Retag hook; fix tests for removal of -Zmir-emit... |
blob | commitdiff | raw | diff to current |
2018-10-30 |
Ralf Jung | Merge pull request #492 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-10-30 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-30 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #499 from RalfJung/test-opt |
blob | commitdiff | raw | diff to current |
2018-10-30 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-29 |
Ralf Jung | opt level 3 works again :) |
blob | commitdiff | raw | diff to current |
2018-10-26 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-23 |
Ralf Jung | also run compile-fail tests with and without optimizations |
blob | commitdiff | raw | diff to current |
2018-10-22 |
Ralf Jung | Merge pull request #487 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-10-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-19 |
Ralf Jung | Merge pull request #488 from RalfJung/start-fn |
blob | commitdiff | raw | diff to current |
2018-10-19 |
Ralf Jung | automalically use start-fn if we have all the MIR |
blob | commitdiff | raw | diff to current |
2018-10-17 |
Ralf Jung | reenable some tests that work now, and organize them... |
blob | commitdiff | raw | diff to current |
2018-10-16 |
Ralf Jung | Merge pull request #484 from RalfJung/mir-opt |
blob | commitdiff | raw | diff to current |
2018-10-16 |
Ralf Jung | test with opt levels 0 and 1 |
blob | commitdiff | raw | diff to current |
2018-10-12 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #477 from RalfJung/miri-validate |
blob | commitdiff | raw | diff to current |
2018-10-12 |
Ralf Jung | enable validation for compile-fail tests, and add some... |
blob | commitdiff | raw | diff to current |
2018-10-12 |
Ralf Jung | whitelist std::ptr::read |
blob | commitdiff | raw | diff to current |
2018-10-11 |
Ralf Jung | do not validate start-fn code |
blob | commitdiff | raw | diff to current |
2018-10-11 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #474 from RalfJung/miri-validate |
blob | commitdiff | raw | diff to current |
2018-10-11 |
Ralf Jung | enable validation per default, but add a flag to disabl... |
blob | commitdiff | raw | diff to current |
2018-07-30 |
Ralf Jung | Merge branch 'master' into sanity_checks |
blob | commitdiff | raw | diff to current |
2018-07-26 |
Ralf Jung | Merge pull request #415 from RalfJung/cargo-miri |
blob | commitdiff | raw | diff to current |
2018-07-26 |
Ralf Jung | we no longer need to mess with the environment in our... |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Ralf Jung | Merge branch 'master' into hack_branch_for_miri_do_not_... |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Ralf Jung | Merge branch 'master' into readme |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Oliver Schneider | Merge pull request #408 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Oliver Schneider | Merge branch 'master' into hack_branch_for_miri_do_not_... |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Ralf Jung | no longer run rustc on the tests; instead make sure... |
blob | commitdiff | raw | diff to current |
2018-07-13 |
Ralf Jung | Merge branch 'master' into eq-hash |
blob | commitdiff | raw | diff to current |
2018-07-12 |
Ralf Jung | Merge pull request #400 from RalfJung/tests |
blob | commitdiff | raw | diff to current |
2018-07-12 |
Ralf Jung | testsuite: put everything into a single test to fix... |
blob | commitdiff | raw | diff to current |
2018-07-12 |
Ralf Jung | Merge pull request #398 from RalfJung/tests |
blob | commitdiff | raw | diff to current |
2018-07-12 |
Ralf Jung | Merge branch 'master' into tests |
blob | commitdiff | raw | diff to current |
next |