Last 12 weeks · 0 commits
2 of 6 standards met
Thank you for sharing this, I really enjoyed reading RadixIteratorValidation.tla! I found it nice and readable, the only thing that was a bit hard for me to follow was , especially the in https://github.com/mitchellh/tlaplus-radix-tree/blob/7bb8284cca78be013711a2a631393189a554723f/RadixTrees.tla#L56 was tripping me up, I think it would be clearer to just use . I saw in this comment that you prefer this implementation over the approach suggested by @hwayne and was wondering about the reasons? It seems like it would make the implementation simpler, e.g.
Repository: mitchellh/tlaplus-radix-tree. Description: TLA+ modules, specifications, and models for Radix trees. Stars: 33, Forks: 2. Primary language: TLA. Languages: TLA (96.3%), Makefile (2.1%), Nix (1.6%). License: MIT. Open PRs: 1, open issues: 0. Last activity: 4y ago. Community health: 42%. Top contributors: mitchellh.