Ralf Jung
|
61f20761d3
|
Merge branch 'master' into stacked-borrows-2-phase
|
2018-12-03 11:11:32 +01:00 |
|
Ralf Jung
|
d11a6766ad
|
use assert
|
2018-12-03 10:26:39 +01:00 |
|
Ralf Jung
|
0e44876a2d
|
fix mutability gap: do not allow shared mutation when creating frozen reference
|
2018-12-03 09:15:18 +01:00 |
|
Ralf Jung
|
6df89de68a
|
we don't need no whitelist
|
2018-12-02 17:18:25 +01:00 |
|
Ralf Jung
|
e12d4bc70c
|
build libstd with minimal features
|
2018-12-02 14:05:14 +01:00 |
|
Ralf Jung
|
b2305da8d0
|
assert some sense
|
2018-12-02 13:30:09 +01:00 |
|
Ralf Jung
|
479eb3bd2b
|
support for basic (non-overlapping) 2-phase borrows
|
2018-12-02 13:30:09 +01:00 |
|
Ralf Jung
|
dcfc2f207e
|
do not even look for cargo metadata in 'cargo miri setup'
|
2018-12-02 10:29:57 +01:00 |
|
Ralf Jung
|
86e6470a12
|
update README to first describe the usual user setup, and to always set up a proper libstd
|
2018-11-30 09:23:44 +01:00 |
|
Ralf Jung
|
c10811a82d
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-11-28 16:15:56 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
26fe778c55
|
Typo
Co-Authored-By: RalfJung <post@ralfj.de>
|
2018-11-28 09:58:23 +01:00 |
|
Ralf Jung
|
6ca4fc7125
|
Merge remote-tracking branches 'origin/master' and 'ralf/shrink-whitelist' into memory-data-revived
|
2018-11-28 08:09:58 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
f42b708568
|
Merge branch 'master' into oli-obk-patch-1
|
2018-11-27 17:18:16 +01:00 |
|
Oliver Scherer
|
5958fa6a70
|
Use explicit dyn trait object
|
2018-11-27 16:20:15 +01:00 |
|
Oliver Scherer
|
edc2fb5f60
|
Expose some internals for priroda
|
2018-11-27 14:41:53 +01:00 |
|
Ralf Jung
|
97e010f5b9
|
barriers prevent deallocation
|
2018-11-27 14:26:23 +01:00 |
|
Ralf Jung
|
194710e112
|
no barriers for boxes
|
2018-11-27 14:26:23 +01:00 |
|
Ralf Jung
|
dd94930ee3
|
implement function barriers
|
2018-11-27 14:26:23 +01:00 |
|
Ralf Jung
|
215ec38624
|
track call IDs
|
2018-11-27 14:25:20 +01:00 |
|
Ralf Jung
|
e9370d2b74
|
adjust for memory_allocated hook, make RangeMap preallocated with a fixed size
|
2018-11-27 14:25:20 +01:00 |
|
Ralf Jung
|
53196554ec
|
inform the user when and where we are creating a cache dir
|
2018-11-27 13:12:52 +01:00 |
|
Ralf Jung
|
bd7f4076cd
|
we need to recursively create the dir
|
2018-11-27 11:43:02 +01:00 |
|
Ralf Jung
|
b91679539e
|
use proper platform cache dir
|
2018-11-27 11:26:53 +01:00 |
|
Ralf Jung
|
464dee8edf
|
std::ptr no longer needs whitelisting
|
2018-11-27 09:23:22 +01:00 |
|
Ralf Jung
|
07f78a37d4
|
tweaks
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
58982d655a
|
remove unneeded backtrace feature
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
82caed1a48
|
cargo miri setup: print when we are executing commands
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
b09dfc14a0
|
there are less places now to keep the flags in sync
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
cc4dd29f54
|
kill xargo dir and update docs
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
16ac7ec1b1
|
tweak comments, remove debug output
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
738133b379
|
complete setup routine: instal rust-src, build libstd, use it
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
c945e30d10
|
setup routine to install xargo when missing
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
6bd76c7ee1
|
cargo miri: factor package manifest logic into separate function
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
14d58ca8a9
|
fix clippy lint whitelisting
|
2018-11-27 08:16:58 +01:00 |
|
Oliver Scherer
|
32e93ed776
|
Update to Memory -> Allocation method move
|
2018-11-23 17:00:31 +01:00 |
|
Ralf Jung
|
68ba6cdbaa
|
fix for new Align type
|
2018-11-23 09:46:51 +01:00 |
|
Ralf Jung
|
094d07c114
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-11-22 08:21:05 +01:00 |
|
Ralf Jung
|
694d2490f1
|
slightly more verbose error msg
|
2018-11-21 16:02:38 +01:00 |
|
Ralf Jung
|
41f89beb3f
|
if let
|
2018-11-21 16:01:39 +01:00 |
|
Ralf Jung
|
ec8cc029c1
|
on a deref, check that we are not using a mutable ref with a frozen tag
|
2018-11-21 15:44:47 +01:00 |
|
Ralf Jung
|
984c3368a9
|
remove stabilized feature flag
|
2018-11-21 13:41:57 +01:00 |
|
Ralf Jung
|
6181b29f5d
|
bump Rust
|
2018-11-21 09:52:31 +01:00 |
|
Ralf Jung
|
f41decc6e1
|
Merge branch 'master' into cargo-miri-2018
|
2018-11-20 10:18:34 +01:00 |
|
Ralf Jung
|
cfa6397ad0
|
UnsafeCell no longer needs to be on the whitelist
|
2018-11-20 08:50:08 +01:00 |
|
Ralf Jung
|
6085865975
|
adjust for InboundsCheck parameter of memory bounds check
|
2018-11-20 08:45:25 +01:00 |
|
Ralf Jung
|
d619049b2d
|
Merge branch 'miri-backtrace' into mut-visitor
|
2018-11-20 08:29:51 +01:00 |
|
Ralf Jung
|
ef2ffed93f
|
port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri
|
2018-11-19 22:59:41 +01:00 |
|
Ralf Jung
|
19f8a9db7d
|
Boxes can also use the fast path
|
2018-11-17 12:35:58 +01:00 |
|
Ralf Jung
|
c847071355
|
add comment about not using builtin_deref
|
2018-11-17 12:33:44 +01:00 |
|
Ralf Jung
|
56f1ef325a
|
remove spurious assignments
|
2018-11-17 10:29:16 +01:00 |
|