]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad614b6) | patch
RawBlock: finish proof of safety and defragment after growing
authorEmilie Burgun <[email protected]>
Sun, 10 May 2026 18:00:02 +0000 (20:00 +0200)
committerEmilie Burgun <[email protected]>
Sun, 10 May 2026 20:36:11 +0000 (22:36 +0200)
commitf395d554a5f265084459f1565bcd84f8997b0eb7
tree2711437837e97773e3542d2ca8b695baa594e074tree | snapshot
parentad614b684ced51d1d34aa7882be2c02c5f29ae1bcommit | diff
RawBlock: finish proof of safety and defragment after growing

After calling `grow()`, the new head would jump to `old_capacity` rather
than staying to the same offset.

In practice this only loses a few bytes at most.
src/raw_block.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust