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

Commits

History for

onstack-orientation

Commits on Mar 20, 2023

Store scope and symbol stacks in fixed direction
Hendrik van Antwerpen
committed

Commits on Mar 8, 2023

Remove all things Path
Hendrik van Antwerpen
committed
Make similar path detection optional during path stitching
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

Commits on Mar 6, 2023

Replace `should_extend` predicate with preconditions without stack variables in `ForwardPartialPathStitcher`
Hendrik van Antwerpen
committed
Add note about unnecessary half-open symbol stacks in the path database
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

Add comment clarifying tuple of queues
Hendrik van Antwerpen
committed
Use separate names for list of appended things, and the arena
Hendrik van Antwerpen
committed

Commits on Feb 27, 2023

Unify cycle detector implementations
Hendrik van Antwerpen
committed
Appended partial paths do not have to shared across stitchers
Hendrik van Antwerpen
committed
Add stub arenas for holding appened paths adn edges for cycle detection
Hendrik van Antwerpen
committed
Rename CycleDetector to SimilarPathDetector
Hendrik van Antwerpen
committed
Fixes in cycle detection
Hendrik van Antwerpen
committed
Rename concatenate to append_partial_path and add prepend_partial_path operation
Hendrik van Antwerpen
committed
Fix cycle detection logic, and add tests for productive paths
Hendrik van Antwerpen
committed
Store handles instead of paths whenever possible
Hendrik van Antwerpen
committed
Implement per-path cycle detection
Hendrik van Antwerpen
committed

Commits on Feb 7, 2023

Add option to limit which candidate paths are extended during stitching
Hendrik van Antwerpen
committed

Commits on Feb 3, 2023

Drop legacy compatibility stitcher
Hendrik van Antwerpen
committed
Use path convenience methods in more places
Hendrik van Antwerpen
committed
Replicate old partial path behavior based on minimal partial paths set
Hendrik van Antwerpen
committed

Commits on Feb 2, 2023

Never extend or append without resolving, to prevent invalid paths being created
Hendrik van Antwerpen
committed

Commits on Aug 23, 2022

Support cancellation
Hendrik van Antwerpen
committed

Commits on Jun 29, 2022

Call correct method instead
Hendrik van Antwerpen
committed
Add methods and C API function to change deque direction of paths in the database
Hendrik van Antwerpen
committed

Commits on May 17, 2022

Don't add divergent partial paths to database
dcreager
committed

Commits on Mar 3, 2022

Allow stitching from arbitrary partial paths
dcreager
committed

Commits on Feb 17, 2022

Bound the amount of work performed in each phase
dcreager
committed

Commits on Dec 17, 2021