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

Commits

History for

Commits on Sep 13, 2023

Allow `ForwardPartialPathStitcher` to work directly on a `SQLiteReader`
Hendrik van Antwerpen
committed

Commits on Apr 14, 2023

Follow common naming convention for iter methods
Hendrik van Antwerpen
committed

Commits on Apr 3, 2023

Implement Display for AssertionSource
Hendrik van Antwerpen
committed
Make AsserionSource::*_iter methods public
Hendrik van Antwerpen
committed

Commits on Feb 3, 2023

Replicate old partial path behavior based on minimal partial paths set
Hendrik van Antwerpen
committed
Use partial paths + stitching for tests and visualization
Hendrik van Antwerpen
committed

Commits on Feb 1, 2023

Add defines and refers assertions
Hendrik van Antwerpen
committed

Commits on Aug 23, 2022

Support cancellation
Hendrik van Antwerpen
committed

Commits on Mar 29, 2022

Apply shadowing
Hendrik van Antwerpen
committed

Commits on Mar 28, 2022

Include definition names in errors
Hendrik van Antwerpen
committed

Commits on Mar 21, 2022

Break up large function
Hendrik van Antwerpen
committed

Commits on Mar 10, 2022

Add assertions API
Hendrik van Antwerpen
committed

Loading