4 Commits

Author	SHA1	Message	Date
Ralf Jung	cc4dd29f54	kill xargo dir and update docs	2018-11-27 08:16:58 +01:00
Ralf Jung	74635a57e2	re-do large parts of stacked borrows, now with proper support for partiall frozen data	2018-11-08 08:29:34 +01:00
Ralf Jung	8fe51ca669	try to find python3 on macOS	2018-10-30 15:07:40 +01:00
Ralf Jung	f6b1f9e487	rewrite cargo-miri test in Python	2018-10-30 11:26:53 +01:00