This repository was archived by the owner on Sep 9, 2025. It is now read-only.

Commits

History for

Commits on Mar 20, 2023

Use handle equality
Hendrik van Antwerpen
committed
Use HashArena for symbol stack keys
Hendrik van Antwerpen
committed
Switch to HashArena for PartialPaths
Hendrik van Antwerpen
committed
Replace derived Niche implementation with explicit trait-friendly ones
Hendrik van Antwerpen
committed
Add traits to various arena types
Hendrik van Antwerpen
committed
Bring back nice arena types
Hendrik van Antwerpen
committed
Support any Arena for List
Hendrik van Antwerpen
committed
Support any Arena for Deque
Hendrik van Antwerpen
committed
Support any Arena for ReversibleList
Hendrik van Antwerpen
committed
Introduce arena trait
Hendrik van Antwerpen
committed
Add interning arena
Hendrik van Antwerpen
committed
Store scope and symbol stacks in fixed direction
Hendrik van Antwerpen
committed

Commits on Mar 9, 2023

Drop scope stack linearity
Hendrik van Antwerpen
committed

Commits on Mar 8, 2023

Remove all things Path
Hendrik van Antwerpen
committed
Cleanup control flow
Hendrik van Antwerpen
committed
Remove incoming edge count optimization
Hendrik van Antwerpen
committed
Make similar path detection optional during path stitching
Hendrik van Antwerpen
committed
Remove similar path detection from path finding
Hendrik van Antwerpen
committed
Check similarity against the extended paths, not the original
Hendrik van Antwerpen
committed
Implement similar path detection based on equals
Hendrik van Antwerpen
committed
Remove similar path detection
Hendrik van Antwerpen
committed
Short-circuit shadowing test when paths diverge
Hendrik van Antwerpen
committed
Include more details in panic
Hendrik van Antwerpen
committed

Commits on Mar 6, 2023

Replace vector by enum set
Hendrik van Antwerpen
committed
Clarify various resolve method names and add test
Hendrik van Antwerpen
committed
Only apply to precondition, though
Hendrik van Antwerpen
committed
Properly apply bindings
Hendrik van Antwerpen
committed
Replace `should_extend` predicate with preconditions without stack variables in `ForwardPartialPathStitcher`
Hendrik van Antwerpen
committed
Add method to eliminate precondition stack variables
Hendrik van Antwerpen
committed
Add note about unnecessary half-open symbol stacks in the path database
Hendrik van Antwerpen
committed
Ensure the resolved scope is added tot he correct scope stack, which may not be the precondition
Hendrik van Antwerpen
committed
Do not unwrap in cycle detector, since it cannot guarantee itself that this is safe
Hendrik van Antwerpen
committed
Use new cycle detection in Paths as well
Hendrik van Antwerpen
committed
Refine cycle detection logic
Hendrik van Antwerpen
committed

Commits on Mar 3, 2023

Replace unwrap with expect
Hendrik van Antwerpen
committed