From d4dbbb8b45769462cefcb9d872c2a0fc620c1953 Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Tue, 20 Jul 2021 16:55:19 -0400 Subject: [PATCH 1/2] Update README.md --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index e0da169d9de..8093d526841 100644 --- a/README.md +++ b/README.md @@ -51,13 +51,11 @@ 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` +\* parquet IO has no `unsafe` * IPC supports big endian * More predictable JSON reader * `MutableArray` API to work with arrays in-place. * Generalized parsing of CSV based on logical data types -* conditional compilation based on cargo `features` to reduce dependencies and size * faster IPC reader (different design that avoids an extra copy of all data) * IPC supports 2.0 (compression) From e7ab51f98ecea1bc0a6c98ac87c754f8b9da1020 Mon Sep 17 00:00:00 2001 From: Andrew Lamb Date: Tue, 20 Jul 2021 17:13:23 -0400 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8093d526841..1236dffa41a 100644 --- a/README.md +++ b/README.md @@ -51,7 +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 -\* parquet IO has no `unsafe` +* parquet IO has no `unsafe` * IPC supports big endian * More predictable JSON reader * `MutableArray` API to work with arrays in-place.