]> Repositorios git - scryer-prolog.git/commit
Merge pull request #3331 from adri326/rawblock-safety
authorMark Thom <[email protected]>
Thu, 11 Jun 2026 07:38:04 +0000 (00:38 -0700)
committerGitHub <[email protected]>
Thu, 11 Jun 2026 07:38:04 +0000 (00:38 -0700)
commitdaaab1cb3738c13274b5ad82a1047639bc13bc36
tree1a3a6a31d71bf4914138c5f2f14e39207494bff9
parente12d3f14c10cd2775007981ca59b7816c5e0a2f2
parentf395d554a5f265084459f1565bcd84f8997b0eb7
Merge pull request #3331 from adri326/rawblock-safety

Prove safety of RawBlock and support multi-threaded usages
src/machine/stack.rs
src/machine/system_calls.rs