@pervognsen Can you do something interesting for verifying reachability invariants? E.g. "Either a node is in the freelist or it's reachable from one of the following roots by following next pointers."
=> More informations about this toot | View the thread | More toots from tmyklebu@mastodon.gamedev.place
=> View pervognsen@mastodon.social profile
text/geminiThis content has been proxied by September (ba2dc).