2018-08-16 |
Ralf Jung | rustup for big refactor; kill most of validation
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | Fix remaining windows hooks
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | avoid recompiling miri for 2nd test run; avoid unreadable...
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | fix windows hooks
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | try using types with lower alignment, maybe that helps...
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | fix rustc_tests
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | fix layout in discriminant_value
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | update README: 'cargo miri' with full MIR; consistent...
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | fix 'cargo miri test' for full MIR, and run it on CI
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | bump toolchain
|
commit | commitdiff | tree |
2018-08-14 |
Ralf Jung | remove unnecessary features
|
commit | commitdiff | tree |
2018-08-13 |
Ralf Jung | document and fully use rust-toolchain file
|
commit | commitdiff | tree |
2018-08-02 |
Ralf Jung | remove dependency on lazy_static and regex by getting...
|
commit | commitdiff | tree |
2018-08-02 |
Ralf Jung | fix format string to obtain desired output
|
commit | commitdiff | tree |
2018-08-01 |
Ralf Jung | mem(r)chr is working in miri now
|
commit | commitdiff | tree |
2018-08-01 |
Ralf Jung | Revert "Disable blood letting edge features"
|
commit | commitdiff | tree |
2018-07-31 |
Ralf Jung | make sure that StorageDead invalidates the backing...
|
commit | commitdiff | tree |
2018-07-30 |
Ralf Jung | clarify error message when sysroot was not found
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | nicer diff formating
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | memrchr currently does not work
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | dont test cargo miri output on mac. no idea what that...
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | detect another printing function for nicer error
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | also show the output (though we lost the interleaving)
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | we no longer need to mess with the environment in our...
|
commit | commitdiff | tree |
2018-07-26 |
Ralf Jung | test `cargo miri` output
|
commit | commitdiff | tree |
2018-07-22 |
Ralf Jung | fix vecs.rs path
|
commit | commitdiff | tree |
2018-07-22 |
Ralf Jung | use default-run
|
commit | commitdiff | tree |
2018-07-17 |
Ralf Jung | also fix rustc_tests
|
commit | commitdiff | tree |
2018-07-16 |
Ralf Jung | fix for latest rust nightly
|
commit | commitdiff | tree |
2018-07-16 |
Ralf Jung | TLS on Windows
|
commit | commitdiff | tree |
2018-07-16 |
Ralf Jung | shim some Windows functions
|
commit | commitdiff | tree |
2018-07-16 |
Ralf Jung | appveyor: put 64bit config first, it seems to usually...
|
commit | commitdiff | tree |
2018-07-16 |
Ralf Jung | run fullMIR tests in appveyor
|
commit | commitdiff | tree |
2018-07-16 |
Ralf Jung | no longer run rustc on the tests; instead make sure...
|
commit | commitdiff | tree |
2018-07-15 |
Ralf Jung | update rustc build instructions to mention keep-stage
|
commit | commitdiff | tree |
2018-07-15 |
Ralf Jung | Test some new capabilities we gained from a rustc update
|
commit | commitdiff | tree |
2018-07-15 |
Ralf Jung | handle all foreign items like we handle C ABI shims
|
commit | commitdiff | tree |
2018-07-15 |
Ralf Jung | port some tests to check the new error format
|
commit | commitdiff | tree |
2018-07-15 |
Ralf Jung | make sure we show error messages even when we cannot...
|
commit | commitdiff | tree |
2018-07-14 |
Ralf Jung | refine rustc build instructions
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | testsuite: put everything into a single test to fix...
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | update debugging instructions in the README
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | colored test output!
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | remove xargo logic; instead rely on MIRI_SYSROOT being...
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | don't run all compile-fail tests with full MIR
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | ignore panic test on Windows
|
commit | commitdiff | tree |
2018-07-12 |
memoryleak47 | typo
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | move tests that no longer need MIR out of fullmir
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | fix many tests and ignore some others; enable compile_fail...
|
commit | commitdiff | tree |
2018-07-12 |
Ralf Jung | bump dependencies
|
commit | commitdiff | tree |
2018-07-11 |
Ralf Jung | use -Zmiri-start-fn as a clue to REQUIRE the lang item...
|
commit | commitdiff | tree |
2018-07-11 |
Ralf Jung | document -Zmiri-start-fn; make its logic more clear
|
commit | commitdiff | tree |
2018-07-11 |
Ralf Jung | without aux builds, we don't need to set always-encode...
|
commit | commitdiff | tree |
2018-07-11 |
Ralf Jung | stop producing binaries
|
commit | commitdiff | tree |
2018-07-11 |
Ralf Jung | fix deprecation warning: use dirs crate for home_dir
|
commit | commitdiff | tree |
2017-09-25 |
Ralf Jung | fix oom2 test
|
commit | commitdiff | tree |
2017-09-25 |
Ralf Jung | use exchange_malloc lang item for Box statements
|
commit | commitdiff | tree |
2017-09-22 |
Ralf Jung | get rid of ad-hoc inhabitedness test
|
commit | commitdiff | tree |
2017-09-19 |
Ralf Jung | update compiletest
|
commit | commitdiff | tree |
2017-09-18 |
Ralf Jung | fix AppVeyor URL
|
commit | commitdiff | tree |
2017-09-18 |
Ralf Jung | README: show AppVeyor status
|
commit | commitdiff | tree |
2017-09-16 |
Ralf Jung | get rid of the --miri_host_target hack
|
commit | commitdiff | tree |
2017-09-16 |
Ralf Jung | use ui test mode rather than mir-opt
|
commit | commitdiff | tree |
2017-09-16 |
Ralf Jung | add an undef validation test
|
commit | commitdiff | tree |
2017-09-16 |
Ralf Jung | validation: allow undef integers and raw pointers,...
|
commit | commitdiff | tree |
2017-09-16 |
Ralf Jung | validation: check that int, float etc. are not undef
|
commit | commitdiff | tree |
2017-09-15 |
Ralf Jung | Storage{Live,Dead} in generators got fixed
|
commit | commitdiff | tree |
2017-09-14 |
Ralf Jung | fix rustc_tests build
|
commit | commitdiff | tree |
2017-09-14 |
Ralf Jung | travis: more consistent cargo flags (--locked, --release)
|
commit | commitdiff | tree |
2017-09-14 |
Ralf Jung | validation: remove a hack that is no longer necessary
|
commit | commitdiff | tree |
2017-09-14 |
Ralf Jung | rustup
|
commit | commitdiff | tree |
2017-09-13 |
Ralf Jung | Something in panic handling fails validation with full-MIR
|
commit | commitdiff | tree |
2017-09-13 |
Ralf Jung | Disable the address-of-ZST test for now; it is buggy...
|
commit | commitdiff | tree |
2017-09-13 |
Ralf Jung | use catch expression to handle the 'release undef'...
|
commit | commitdiff | tree |
2017-09-13 |
Ralf Jung | enable validation for a bunch of more tests
|
commit | commitdiff | tree |
2017-09-13 |
Ralf Jung | identify write locks by lvalues, not regions
|
commit | commitdiff | tree |
2017-09-13 |
Ralf Jung | rustup (part 1/2)
|
commit | commitdiff | tree |
2017-09-09 |
Ralf Jung | restrict cur_frame visibility
|
commit | commitdiff | tree |
2017-09-09 |
Ralf Jung | there are more tests we can enable again
|
commit | commitdiff | tree |
2017-09-09 |
Ralf Jung | only test on master
|
commit | commitdiff | tree |
2017-09-09 |
Ralf Jung | fix warnings in tests; update validation whitelist
|
commit | commitdiff | tree |
2017-09-09 |
Ralf Jung | we can enable a bunch of tests for validation again
|
commit | commitdiff | tree |
2017-09-09 |
Ralf Jung | clean up suspensions when function ends
|
commit | commitdiff | tree |
2017-09-09 |
Oliver Schneider | rustup
|
commit | commitdiff | tree |
2017-09-06 |
Ralf Jung | disable optimized tests until rustc is fixed
|
commit | commitdiff | tree |
2017-09-06 |
Ralf Jung | use latest xargo; this fixes the libstd build problem
|
commit | commitdiff | tree |
2017-09-06 |
Ralf Jung | enable a test that works just fine
|
commit | commitdiff | tree |
2017-09-06 |
Oliver Schneider | Rustup
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | update compiletest; we do not need tempdir any more
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | no reason not to run tests in miri (once someone writes...
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | make sure the lock file is not changed when building...
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | also update rustc_test
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | update backtrace to newly released version
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | rename variables to match new type name
|
commit | commitdiff | tree |
2017-09-04 |
Ralf Jung | disable validation in failing tests for now
|
commit | commitdiff | tree |
2017-08-29 |
Ralf Jung | test new From instances for Rc
|
commit | commitdiff | tree |
2017-08-28 |
Oliver Schneider | Turn off validation for some compile-fail tests
|
commit | commitdiff | tree |
2017-08-27 |
Ralf Jung | rustc #43457 got fixed, we can enable more tests
|
commit | commitdiff | tree |
2017-08-26 |
Ralf Jung | reorder lets so that build_dir is deleted last
|
commit | commitdiff | tree |
2017-08-26 |
Ralf Jung | use tempdir to create a dedicated directory for each...
|
commit | commitdiff | tree |
next |