Ralf Jung
|
9d0c1dd676
|
disable VecDeque test until the fix lands in rustc
|
2018-12-03 09:15:18 +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
|
21fd5fd168
|
Merge pull request #561 from solson/rustup
We don't need no whitelist
|
2018-12-03 09:13:12 +01:00 |
|
Ralf Jung
|
6df89de68a
|
we don't need no whitelist
|
2018-12-02 17:18:25 +01:00 |
|
Ralf Jung
|
c9bb212cae
|
Merge pull request #560 from RalfJung/libstd-features
build libstd with minimal features
|
2018-12-02 14:45:11 +01:00 |
|
Ralf Jung
|
e12d4bc70c
|
build libstd with minimal features
|
2018-12-02 14:05:14 +01:00 |
|
Ralf Jung
|
fe1769566b
|
Merge pull request #556 from Nemo157/skip-embedded-targets
Skip testing targets that don't ship libstd
|
2018-12-02 13:29:13 +01:00 |
|
Ralf Jung
|
7e9be4c082
|
Merge branch 'master' into skip-embedded-targets
|
2018-12-02 12:52:03 +01:00 |
|
Wim Looman
|
91f0b28ecc
|
Skip testing targets that don't ship libstd
|
2018-12-02 12:47:15 +01:00 |
|
Ralf Jung
|
819a5bc129
|
Merge pull request #558 from RalfJung/cargo-miri
do not even look for cargo metadata in 'cargo miri setup'
|
2018-12-02 10:46:11 +01:00 |
|
Ralf Jung
|
dcfc2f207e
|
do not even look for cargo metadata in 'cargo miri setup'
|
2018-12-02 10:29:57 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
a9eda8012c
|
Merge pull request #555 from RalfJung/readme
update README to first describe the usual user setup
|
2018-12-01 12:02:51 +01:00 |
|
Ralf Jung
|
3478c0c1e6
|
update contact channels
|
2018-11-30 22:23:20 +01:00 |
|
Ralf Jung
|
5032560eaa
|
add link within document
|
2018-11-30 09:31:09 +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
|
8d2bc97d7c
|
Merge pull request #553 from solson/rustup
Stacked Borrow: Barriers
|
2018-11-30 08:00:02 +01:00 |
|
Ralf Jung
|
3999db1159
|
new nightly, new luck
|
2018-11-30 07:26:20 +01:00 |
|
Ralf Jung
|
42e73b5536
|
async fn got fixed
|
2018-11-29 17:29:00 +01:00 |
|
Ralf Jung
|
fb72348e5f
|
disable async-fn, for now
|
2018-11-28 19:06:12 +01:00 |
|
Ralf Jung
|
c10811a82d
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-11-28 16:15:56 +01:00 |
|
Ralf Jung
|
3481e0906f
|
bump Rust version
|
2018-11-28 16:14:54 +01:00 |
|
Ralf Jung
|
559ad2db4a
|
Merge pull request #545 from solson/oli-obk-patch-1
Expose some things for priroda
|
2018-11-28 10:24:22 +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 |
|
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 |
|