Repository navigation
Conversation
added cody name to alire.toml
Implement flex-grow distribution
Use SPARK-legal fixed-point conversions
Add pull request template
Test Hypothetical_Main edge cases
Rerun the engine numbers on current main (flex-grow is merged, so content is now 536 tall) and correct the mismatch notes: the remaining gaps come from missing stretch and align-items: center. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01568q7xUoydYKeS7B1KnVV2
Joel: record milestone 1 targets
Stretch items without a cross size to fill the line
Align items on the cross axis (align-items, align-self}
Prove Distribute_Grow with loop invariants (18 -> 6 unproved)
Justify items along the main axis (justify-content)
Update milestone 1 table, fix engine comments, test align inheritance
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
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.
Added 12 edge-case checks to test how the Flexbox engine handles
empty arrays, overflowing items, zero-size containers, conflicting
minimum/maximum sizes, and grow rounding.
The new tests identified two failures involving minimum and maximum
size conflicts. Updated the Clamp function to prioritize the minimum
size when the limits conflict.
Validation: