Skip to content

[Interp] Max Iters Error#162

Closed
Nikil-Shyamsunder wants to merge 35 commits intomainfrom
max-iters-error
Closed

[Interp] Max Iters Error#162
Nikil-Shyamsunder wants to merge 35 commits intomainfrom
max-iters-error

Conversation

@Nikil-Shyamsunder
Copy link
Copy Markdown
Collaborator

@Nikil-Shyamsunder Nikil-Shyamsunder commented Jan 24, 2026

Address #106 and #94

Nikil-Shyamsunder and others added 30 commits January 14, 2026 12:44
…, but fails in the expected way once it is implemented
This reverts commit 041ac8d.
@ngernest
Copy link
Copy Markdown
Contributor

Note: this PR has been subsumed by #165 (now merged)

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