Commit Graph

2840 Commits

Author SHA1 Message Date
Ralf Jung
0acfd32045
Merge pull request #759 from RalfJung/rustup
rustup for ... deprecation
2019-06-01 10:25:37 +02:00
Ralf Jung
dafd2e7202 rustup for ... deprecation 2019-06-01 10:04:49 +02:00
Ralf Jung
96444c11ee remove too expensive debug assertion 2019-05-31 16:34:22 +02:00
Ralf Jung
ec629cc0d5
Rustup (#752)
Rustup
2019-05-30 12:39:01 +02:00
Ralf Jung
c748323eb3 move fn_item/ptr tests to closures file 2019-05-30 11:01:22 +02:00
Ralf Jung
badbd57cee update for rustc warning about missing dyn 2019-05-30 10:58:30 +02:00
Ralf Jung
9dfbebdd5e
Merge pull request #751 from RalfJung/rc
test weak_into_raw
2019-05-29 23:46:33 +02:00
Ralf Jung
0dfc1c97c5 test weak_into_raw 2019-05-29 19:36:16 +02:00
Ralf Jung
a5224b0dc1
try to make the Windows CI not rebuild Miri (#750)
try to make the Windows CI not rebuild Miri
2019-05-29 15:52:56 +02:00
Ralf Jung
65a93eb3ee try to make the Windows CI not rebuild Miri 2019-05-29 12:58:44 +02:00
Ralf Jung
829969e8b1
miri build script: support building miri in debug mode; avoid rebuilding Miri on CI (#747)
miri build script: support building miri in debug mode;  avoid rebuilding Miri on CI
2019-05-29 12:58:32 +02:00
Ralf Jung
2427fee7f0
Merge branch 'master' into miri-build 2019-05-29 10:56:55 +02:00
Ralf Jung
b4b71e30bd
fix for rustc changes (#749)
fix for rustc changes
2019-05-29 10:56:37 +02:00
Ralf Jung
16cc5ddacb tweak logic for determining rustc default target 2019-05-29 09:39:49 +02:00
Ralf Jung
35b4d9fd8a print usage information on invalid command 2019-05-29 09:36:59 +02:00
Ralf Jung
e4cee77121 fix for rustc changes 2019-05-29 09:30:36 +02:00
Ralf Jung
f1e7572cad
update for rustc Scalar changes, test for pointer wrapping ICE (#744)
update for rustc Scalar changes, test for pointer wrapping ICE
2019-05-29 00:02:33 +02:00
Ralf Jung
b62ddc2cff bump Rust 2019-05-28 22:47:22 +02:00
Ralf Jung
381c2897b0 test for pointer wrapping ICE 2019-05-28 22:46:56 +02:00
Ralf Jung
7a7b853120 adjust for rustc changes 2019-05-28 22:46:56 +02:00
Ralf Jung
bf9f26401f also pass flags to install 2019-05-28 19:20:01 +02:00
Ralf Jung
d55d04780c reference cargo issue 2019-05-28 19:04:31 +02:00
Ralf Jung
328ecd1abf avoid rebuilding Miri on CI 2019-05-28 19:02:54 +02:00
Ralf Jung
ed0c6e8336 miri build script: support building miri in debug mode 2019-05-28 19:01:43 +02:00
Ralf Jung
3c930e48e1
add Miri build script (#745)
add Miri build script
2019-05-28 08:38:08 +02:00
Ralf Jung
543e57990c
Merge branch 'master' into miri-build 2019-05-27 23:26:22 +02:00
Ralf Jung
4e329ebab7
fix for latest rustc (#746)
fix for latest rustc
2019-05-27 20:56:14 +02:00
Ralf Jung
f10ab1991c fix error pattern 2019-05-27 19:37:31 +02:00
Ralf Jung
8b219a1329 fix for latest rustc 2019-05-27 18:50:32 +02:00
Ralf Jung
0b6b7dad8f fix more indentation 2019-05-27 15:35:48 +02:00
Ralf Jung
aa888c5593 remove redundant RUSTFLAGS 2019-05-27 15:24:37 +02:00
Ralf Jung
3a837cdedd add comment 2019-05-27 15:19:53 +02:00
Ralf Jung
a358590679 fix indentation 2019-05-27 15:05:55 +02:00
Ralf Jung
7f3a298f6d improve macOS-compatibility by being more awful 2019-05-27 15:02:17 +02:00
Ralf Jung
cf96396fcc make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET 2019-05-27 14:41:44 +02:00
Ralf Jung
eb85ced8c7 improve backtraces 2019-05-27 13:08:47 +02:00
Ralf Jung
ab1f60c910 comments 2019-05-27 13:04:18 +02:00
Ralf Jung
6420293af4 adjust readme to miri build script 2019-05-27 12:59:52 +02:00
Ralf Jung
c2791fc56a add 'miri' script to help build, test and run miri 2019-05-27 12:51:59 +02:00
Ralf Jung
aa868a8a21 dependency management 2019-05-27 09:47:41 +02:00
Oliver Scherer
5fdcf523c4
Merge pull request #742 from RalfJung/stacked-borrows-2
add more bugs we found to README; use consistent printing in Stacked Borrows
2019-05-24 14:13:25 +02:00
Ralf Jung
21fb14dba1 avoid printing the tag twice 2019-05-24 13:09:29 +02:00
Ralf Jung
5569fffe7d avoid having both Debug and Display for a type and using the wrong one 2019-05-24 10:09:23 +02:00
Ralf Jung
ff6f101074 add more bugs that Miri found 2019-05-24 10:09:23 +02:00
Ralf Jung
5bff6258a5
Merge pull request #741 from RalfJung/stacked-borrows-2
use prettier printing
2019-05-23 16:28:18 +02:00
Ralf Jung
1d92791965 use prettier printing 2019-05-23 15:54:50 +02:00
Ralf Jung
cf027587f0
Merge pull request #740 from RalfJung/stacked-borrows-2
hopefully improve error message a bit
2019-05-23 12:37:55 +02:00
Ralf Jung
3e33e54b5b hopefully improve error message a bit 2019-05-23 11:03:08 +02:00
Ralf Jung
75d97d9462
Merge pull request #738 from RalfJung/stacked-borrows-2
test for new read rules
2019-05-21 17:21:09 +02:00
Ralf Jung
74f98b3803 test for new read rules 2019-05-21 15:43:18 +02:00