From 4cbd31220bf710ecc917941fa7d836cad8d6eef0 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 14 Jul 2019 09:34:08 +0200 Subject: [PATCH] update README about what we do not support --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 69c66db5214..9baaae568a2 100644 --- a/README.md +++ b/README.md @@ -38,8 +38,8 @@ cannot run all programs: * Miri runs the program as a platform-independent interpreter, so the program has no access to any platform-specific APIs or FFI. A few APIs have been implemented (such as printing to stdout) but most have not: for example, Miri - currently does not support concurrency, or networking, or file system access, - or gathering entropy from the system. + currently does not support concurrency, or SIMD, or networking, or file system + access. [rust]: https://www.rust-lang.org/ [mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md -- 2.44.0