Oliver Scherer
|
5958fa6a70
|
Use explicit dyn trait object
|
2018-11-27 16:20:15 +01:00 |
|
Ralf Jung
|
fb2d0ff943
|
Merge pull request #549 from RalfJung/readme
fix README install instructions
|
2018-11-27 16:05:05 +01:00 |
|
Ralf Jung
|
b72398de74
|
fix README install instructions
|
2018-11-27 14:48:46 +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
|
58309956c1
|
for now, we allow Undef in raw pointers as we do in integers
|
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
|
80a6e73942
|
Merge pull request #543 from RalfJung/auto-libstd
Automatically build libstd
|
2018-11-27 14:22:45 +01:00 |
|
Ralf Jung
|
fbd7d119ae
|
use new dir for CI and docs
|
2018-11-27 13:12:55 +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
|
4459d14243
|
Merge remote-tracking branch 'origin/master' into auto-libstd
|
2018-11-27 11:26:25 +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
|
9dd0048e66
|
install directly from git repo
|
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
|
bb47df94dd
|
use cargo miri setup for CI
|
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 S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
5a8ed25aa8
|
Merge pull request #544 from RalfJung/let_
do not use 'let _', it is strange
|
2018-11-26 18:06:54 +01:00 |
|
Ralf Jung
|
7d623f73cc
|
do not use 'let _', it is strange
|
2018-11-26 15:31:53 +01:00 |
|
Ralf Jung
|
6f9ee8b9e5
|
Merge pull request #536 from RalfJung/self-referential-generator
test self-referential generator
|
2018-11-26 11:52:44 +01:00 |
|
Ralf Jung
|
1edba2337b
|
Merge branch 'master' into self-referential-generator
|
2018-11-26 09:47:22 +01:00 |
|
Ralf Jung
|
e6948fa6ea
|
Merge pull request #519 from solson/allocations
Update to Memory -> Allocation method move
|
2018-11-26 09:47:00 +01:00 |
|
Ralf Jung
|
ac9649b7c0
|
bump Rust version
|
2018-11-26 08:54:24 +01:00 |
|
Ralf Jung
|
49ffb981e9
|
Merge remote-tracking branch 'origin/master' into allocations
|
2018-11-26 08:54:05 +01:00 |
|
Ralf Jung
|
afb03d38d7
|
Merge pull request #541 from solson/rustup
fix for new Align type
|
2018-11-24 14:06:21 +01:00 |
|
Ralf Jung
|
82d4146a6c
|
bump Rust
|
2018-11-24 11:58:43 +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
|
3798a8edb2
|
Merge pull request #538 from solson/rustup
remove stabilized feature flag
|
2018-11-22 08:50:57 +01:00 |
|
Ralf Jung
|
1703d31eac
|
bump rust
|
2018-11-22 08:21:26 +01:00 |
|
Ralf Jung
|
094d07c114
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-11-22 08:21:05 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
e26ecc42c8
|
Merge pull request #540 from RalfJung/partially-invalidate-mut
test that we support partial invalidation of mutable references
|
2018-11-21 19:31:21 +01:00 |
|
Ralf Jung
|
6eb153aca2
|
Merge branch 'master' into partially-invalidate-mut
|
2018-11-21 16:53:19 +01:00 |
|
Ralf Jung
|
17d085198c
|
Merge pull request #539 from RalfJung/no-frozen-mut
on a deref, check that we are not using a mutable ref with a frozen tag
|
2018-11-21 16:52:36 +01:00 |
|
Ralf Jung
|
04794c4c2a
|
test that we support partial invalidation of mutable references
|
2018-11-21 16:08:46 +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 |
|