Commit Graph

2344 Commits

Author SHA1 Message Date
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
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