Skip to content

Comments

feat(gui): minimal support for coincident edge constraints#39

Merged
rohanku merged 8 commits intomainfrom
draw-dims
Oct 2, 2025
Merged

feat(gui): minimal support for coincident edge constraints#39
rohanku merged 8 commits intomainfrom
draw-dims

Conversation

@rahulk29
Copy link
Contributor

@rahulk29 rahulk29 commented Oct 2, 2025

Also use index maps/sets instead of hash maps/sets for determinism.

@rahulk29 rahulk29 self-assigned this Oct 2, 2025
@rahulk29 rahulk29 requested a review from rohanku October 2, 2025 06:48
@rohanku rohanku merged commit f20a507 into main Oct 2, 2025
1 check passed
@rohanku rohanku deleted the draw-dims branch October 2, 2025 07:08
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