Ralf Jung
|
cc4dd29f54
|
kill xargo dir and update docs
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
ef2ffed93f
|
port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri
|
2018-11-19 22:59:41 +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 |
|
Ralf Jung
|
d844792d76
|
fix format string to obtain desired output
|
2018-08-02 10:45:08 +02:00 |
|
Ralf Jung
|
18546308ce
|
mem(r)chr is working in miri now
|
2018-08-02 00:17:02 +02:00 |
|
Ralf Jung
|
c490151b16
|
memrchr currently does not work
|
2018-07-26 18:15:26 +02:00 |
|
Ralf Jung
|
851f2ab98e
|
test cargo miri output
|
2018-07-26 16:43:51 +02:00 |
|
Oliver Schneider
|
675587280f
|
Update cargo-miri
|
2018-06-03 13:08:51 +02:00 |
|
David Renshaw
|
7a755ce8f9
|
add a dependency to cargo-miri-test
|
2017-06-29 14:00:24 -04:00 |
|
Oliver Schneider
|
17090b8524
|
add tests for cargo miri and run them on travis
|
2017-01-28 11:57:53 +01:00 |
|