Commit Graph

2414 Commits

Author SHA1 Message Date
Ralf Jung
8d1e1179a1 fix benches 2018-12-08 10:47:50 +01:00
Ralf Jung
f06e25f9b2 bump Rust version, fix build 2018-12-08 10:38:36 +01:00
Ralf Jung
228663248c Merge remote-tracking branch 'origin/master' into rustup 2018-12-08 10:33:14 +01:00
Ralf Jung
676204b9ca
Merge pull request #565 from RalfJung/fixme
add FIXME test for coercing &mut to *const
2018-12-07 18:37:10 +01:00
Ralf Jung
d5d1b1e4f3 add FIXME test for coercing &mut to *const 2018-12-07 18:01:59 +01:00
Ralf Jung
bbdc3380d5 fix tests 2018-12-07 10:15:25 +01:00
Ralf Jung
1a41ce6319 Merge remote-tracking branch 'origin/master' into stacked-borrows-2-phase 2018-12-07 09:03:15 +01:00
Ralf Jung
173ad363a0
Merge pull request #559 from RalfJung/fixme
remove/fix outdated FIXMEs in tests
2018-12-03 11:48:41 +01:00
Ralf Jung
61f20761d3
Merge branch 'master' into stacked-borrows-2-phase 2018-12-03 11:11:32 +01:00
Ralf Jung
0cb3bf7912
Merge branch 'master' into fixme 2018-12-03 10:52:59 +01:00
Ralf Jung
5bde40cb63
Merge pull request #557 from RalfJung/fix-mutability-gap
fix mutability gap: do not allow shared mutation when creating frozen reference
2018-12-03 10:49:12 +01:00
Ralf Jung
b6e5822601 add FIXME 2018-12-03 10:28:32 +01:00
Ralf Jung
d11a6766ad use assert 2018-12-03 10:26:39 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
e73d0a3bca
Merge branch 'master' into fixme 2018-12-03 09:38:32 +01:00
Ralf Jung
04057432c1 bump nightly 2018-12-03 09:15:18 +01:00
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
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
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
36a2b89522 remove a whole lot of unnecessary attributes 2018-12-02 11:26:09 +01:00
Ralf Jung
429d84f068 remove/fix outdated FIXMEs in tests 2018-12-02 11:14:24 +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