CI: reject non-straight-line poly compute bodies#9
Draft
Kuhai9801 wants to merge 18 commits into
Draft
Conversation
…cialize-wildcard-arrays` pass (project-llzk#538)
* Setup pre-release files for release v2.1.2 * bump version number * cleanup changelog * Update pre-release counter for RC v2.1.2-rc1 * Finalize release v2.1.2 --------- Co-authored-by: tim-hoffman <tim-hoffman@users.noreply.github.com> Co-authored-by: Tim Hoffman <timothy.hoffman@veridise.com>
* Invariant op completed * Inner invariant operations * Changelog * Move new tests to a separate file * Remove trailing newline Co-authored-by: Ian Neal <ian@veridise.com> * Add remaining tests * Fix formatting * PR feedback * PR feedback * Fix formatting --------- Co-authored-by: Ian Neal <ian@veridise.com>
* Replace copied sparse analysis with adapter * Clarify sparse adapter comments * Move sparse adapter implementation out of header * Address sparse analysis review nits * Use typed call check in sparse tests
…lzk#558) * Topologically order poly auxiliary writes in compute Fixes project-llzk#551. * Use existing aux write order regression * Match changelog entry to branch name * Clarify aux write ordering comments * Use named aux assignment visit states * Address poly lowering review nits --------- Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
* Add quantifier ops * Remove unnecessary template parameter * Fix formatting * Fix shadowing error * Apply code review feedback * Update unittests/CAPI/Dialect/Boolean.cpp Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com> * Duplicate include * Change what type is used for quantifier block arg * Fix formatting * Export helper for extracting quant iter type * Make CAPI version return a null type if the input is wrong * Fix formatting * Add tests with complex types --------- Co-authored-by: Timothy Hoffman <4001421+tim-hoffman@users.noreply.github.com>
* Add support for @Product functions in the CAPI * Address nit
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
5 participants
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.
Fork CI validation for the independent upstream draft: Reject non-straight-line poly compute bodies.
Base: project-llzk/llzk-lib main at 5e749a0 via ci/poly-fixes-v5-base.
This draft is for verification only; upstream PR text will be updated with final CI results before publication.