Ralf Jung
|
b6a4556cb9
|
use show_error to terminate
|
2018-12-12 17:05:23 +01:00 |
|
Ralf Jung
|
ed83cc2600
|
use RUSTC_WRAPPER for the cargo hook
|
2018-12-12 17:03:40 +01:00 |
|
Ralf Jung
|
6b376dc394
|
get rid of to_bytes hack
|
2018-12-11 14:32:59 +01:00 |
|
Ralf Jung
|
383d215386
|
make some functions private to StackedBorrows
|
2018-12-11 14:18:51 +01:00 |
|
Ralf Jung
|
9de605b32f
|
avoid repeating signatures in EvalContext extension traits
|
2018-12-11 14:16:58 +01:00 |
|
Ralf Jung
|
05f2b2ed3d
|
remove support for not having libstd MIR
|
2018-12-10 12:26:20 +01:00 |
|
Ralf Jung
|
b50662d68c
|
fix CI
|
2018-12-10 12:21:39 +01:00 |
|
Ralf Jung
|
b8e6af49d9
|
fix setting the manifest path manually when using cargo miri
|
2018-12-10 10:53:32 +01:00 |
|
Ralf Jung
|
b6eb2cd08e
|
cargo miri: support foreign targets
|
2018-12-10 09:53:14 +01:00 |
|
Ralf Jung
|
c84c1527e2
|
factor grabbing of cargo options into separate function and make it better
|
2018-12-10 09:28:24 +01:00 |
|
Ralf Jung
|
f06e25f9b2
|
bump Rust version, fix build
|
2018-12-08 10:38:36 +01:00 |
|
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 |
|