From bd12e4a96c73545aa59e236a9bc77837172469d7 Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Tue, 20 Jul 2021 18:09:35 -0400 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 1236dffa41a..c9c71f9d68e 100644 --- a/README.md +++ b/README.md @@ -51,6 +51,7 @@ venv/bin/python parquet_integration/write_parquet.py * Uses Rust's compiler whenever possible to prove that memory reads are sound * Reading parquet is 10-20x faster (single core) and deserialization is parallelizable * Writing parquet is 3-10x faster (single core) and serialization is parallelizable +* MIRI checks on non-IO components (MIRI and file systems are a bit funny atm) * parquet IO has no `unsafe` * IPC supports big endian * More predictable JSON reader