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

Commits

History for

onvea_problem_4

Commits on Jul 4, 2023

Small tweaks to the storage API
Hendrik van Antwerpen
committed
Add methods to clear `SQLiteReader` instances
Hendrik van Antwerpen
committed

Commits on Jun 21, 2023

Replace `PartialPath::find_*` with `ForwardPartialPathStitcher::find_*`
Hendrik van Antwerpen
committed
Only add to the precondition if this is actually possible.
Hendrik van Antwerpen
committed
Do we have a variable? Non, peut-être?
Hendrik van Antwerpen
committed

Commits on Jun 20, 2023

Add GraphEdges instead of () and support file filtering
Hendrik van Antwerpen
committed
Disallow recursive stack unifications
Hendrik van Antwerpen
committed
Redesign `Appendable`
Hendrik van Antwerpen
committed

Commits on Jun 14, 2023

Promote Appendable::Ctx to proper type parameter
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 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
Add method to eliminate precondition stack variables
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
Refine cycle detection logic
Hendrik van Antwerpen
committed

Commits on Mar 3, 2023

Replace unwrap with expect
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
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
Factor out join computation
Hendrik van Antwerpen
committed
Fix cycle detection logic, and add tests for productive paths
Hendrik van Antwerpen
committed