| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-07-08 | Tentative fix for CI | Maxime Coste | |
| 2025-07-08 | Replace std::unique_ptr with a custom implementation | Maxime Coste | |
| <memory> is a costly header we can avoid by just implementing UniquePtr ourselves, which is a pretty straightforward in modern C++, this saves around 10% of the compilation time here. | |||
