Meet the team
See all 1 on GitHub →
Commit activity
Last 12 weeks · 0 commits
Community health
2 of 6 standards met
42
✓README✓License○Contributing○Code of Conduct○Issue Template○PR Template
Recent PRs & issues
Quiet · 1 in progress · Last activity 5y ago
See all on GitHub →
RadixIteratorValidation RadixSeekLowerBound
Recent fixes
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.
Structured data for AI agents
Repository: mitchellh/tlaplus-radix-tree. Description: TLA+ modules, specifications, and models for Radix trees. Stars: 34, 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: 5y ago. Community health: 42%. Top contributors: mitchellh.