Nightly Staging #27
Open
Nightly Staging #27
+23,693
−1,341
Conversation
This file contains 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
…e generation on behalf of (com ...) can function properly
Show strictness in lambda, contrasted with non-strict interpretation
…st ... we might relax this
… nicer architecture and more verification
…we need. Considering whether to put opts in there too.
… facade over an optimizer trait
…owned by context. Next, to separate individual optimization states into separate strategies
This reverts commit 6a81f31.
…d-conditions 20230827 cse fix undominated conditions
20230928 speed up cldb printing
…30421-nightly-rebuild
Bump for tests
…-evaluating CSE variables when they don't dominate all conditions in their path.
…rating common subexpressions
20231002 cse fix
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 is used to stage ci runs for merge to dev, which is a parallel channel for people using modern chialisp.