Taiju Tsuiki

[DO NOT MERGE] Use TextDecoder in stream mode

1

This is not a real fix. Just to report an issue of the current code. If a command output contains a non-ASCII character, whose UTF-8 representation needs multiple bytes for...

Align the result of `operator new` to `alignof(max_align_t)`

1

The C++ spec requires the result of `operator new` to be aligned to `alignof(max_align_t)`, which is 16 on x86_64 Linux. However, lean's `operator new` returns 8 byte aligned memory under...