Skip to content

Remove assumes - #38

Merged
vrindisbacher merged 1 commit into
masterfrom
gradual
Aug 20, 2025
Merged

vrindisbacher merged 1 commit into
masterfrom
gradual

Conversation

@ranjitjhala

Copy link
Copy Markdown
  1. Delete a bunch that are not needed with lazy-overflow
  2. Convert a bunch into runtime checks
  3. Categorize-ish the remainder

@vrindisbacher
vrindisbacher merged commit 426d727 into master Aug 20, 2025
0 of 12 checks passed
@vrindisbacher
vrindisbacher deleted the gradual branch August 20, 2025 00:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants