Merge remote-tracking branch 'origin/main' into depth-bias-poc-hack

2026-07-30 23:44:28 -04:00 · 2026-05-27 15:59:54 -04:00
parent be771e1a83 a85f8c203d
commit 0b93dd9698
10 changed files with 340 additions and 53 deletions
@@ -30,6 +30,11 @@ public:

    ~FileStream();

+    /**
+     * \brief Flush buffered writes and throw if the flush fails.
+     */
+    void Flush();
+
    /**
     * \brief Open a file for reading at the given path.
     */