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 |
|
Ralf Jung
|
6d65c8553a
|
Merge pull request #736 from rust-lang/rustup
prepare for MaybeUninit stabilization
|
2019-05-21 09:57:44 +02:00 |
|
Ralf Jung
|
fa70c0e809
|
Merge remote-tracking branch 'origin/master' into master.2
|
2019-05-21 08:54:18 +02:00 |
|
Ralf Jung
|
5a4e1cdd86
|
update Rust
|
2019-05-21 08:54:15 +02:00 |
|
Oliver Scherer
|
c2e88b3869
|
Merge pull request #734 from RalfJung/readme
expand explanation of how we treat validity invariants
|
2019-05-20 11:10:19 +02:00 |
|
Ralf Jung
|
0c85dbf3df
|
prepare for MaybeUninit stabilization
|
2019-05-20 10:53:34 +02:00 |
|
Ralf Jung
|
df36c2bb7d
|
expand explanation of how we treat validity invariants
|
2019-05-20 09:32:01 +02:00 |
|
Ralf Jung
|
f761450aba
|
Merge pull request #732 from RalfJung/stacked-borrows-2
fix typo
|
2019-05-19 22:42:33 +02:00 |
|
Ralf Jung
|
5c54a58c06
|
typo
|
2019-05-19 14:04:59 +02:00 |
|
Ralf Jung
|
78210a5758
|
Use drain instead of manually rolling it ourselves (#731)
Use `drain` instead of manually rolling it ourselves
|
2019-05-19 13:53:30 +02:00 |
|