FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

State the assumptions on Symbols, MaxOffset and BuffSz by lemmy · Pull Request #230 · tlaplus/Examples · GitHub

State the assumptions on Symbols, MaxOffset and BuffSz - #230

Open
lemmy wants to merge 1 commit into
masterfrom
mku-braf
Open

State the assumptions on Symbols, MaxOffset and BuffSz#230
lemmy wants to merge 1 commit into
masterfrom
mku-braf

Conversation

lemmy commented Aug 22, 2026

Copy link
Copy Markdown
Member

@Calvin-L, you contributed the braf spec in #145: Could you please confirm that these assumptions are correct. SymbolsIsNonEmpty is the one worth a second look, since it restricts models.

Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant


Back | FazBrowse Home | New Git URL