Update Forge version 5, for Spring 2026. #321
Merged
Conversation
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
…nd (#302) * fix: handle spaces and quotes in forge filenames w.r.t. run IDs * windows-specific test scripting * add to gitignore * remote temp file * fix for windows
Merging integer/set optimization into dev branch.
* fix: join parsing, regression test, note on 2nd issue * add: semantics test * add: tests, no-op change to parser for readability
* fix: join parsing, regression test, note on 2nd issue * add: semantics test * add: tests, no-op change to parser for readability * add: revisions to get core (strings, for the moment) to sterling * fix: unsat but no core * stop sending core in place of source * Froglet Error Message Changes (#306) * update: error messages --------- Co-authored-by: shoujohnny <johnson_shou@brown.edu>
This commit is part of the effort to add Typed Racket annotations to more of Forge's core files. However, the way that the AST was structured made using static types difficult: it wasn't always clear what the type of child nodes was, because node/expr/op contained the children field, and a relational expression might have children that are formulas, expressions, or integer expressions. Now these are broken down into different AST types.
Misc. code hardening, E2E suite in Playwright.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR takes development work since Spring 2025 into the
mainbranch.