From: Mark Thom Date: Thu, 11 Jun 2026 07:38:04 +0000 (-0700) Subject: Merge pull request #3331 from adri326/rawblock-safety X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=daaab1cb3738c13274b5ad82a1047639bc13bc36;p=scryer-prolog.git Merge pull request #3331 from adri326/rawblock-safety Prove safety of RawBlock and support multi-threaded usages --- daaab1cb3738c13274b5ad82a1047639bc13bc36