]> Repositorios git - scryer-prolog.git/commitdiff
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)
Prove safety of RawBlock and support multi-threaded usages

1  2 
src/machine/stack.rs
src/machine/system_calls.rs

Simple merge
Simple merge