Commits

History for

Commits on Nov 20, 2023

Use stitcher config only for functions that wrap a stitcher, not for stitcher itself
Hendrik van Antwerpen
committed
2216fda
Add support for stitcher configuration
Hendrik van Antwerpen
committed
87d312a

Commits on Sep 13, 2023

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

Commits on Apr 14, 2023

Follow common naming convention for iter methods
Hendrik van Antwerpen
committed
20dc8ab

Commits on Apr 3, 2023

Implement Display for AssertionSource
Hendrik van Antwerpen
committed
81cdff4
Make AsserionSource::*_iter methods public
Hendrik van Antwerpen
committed
623f11e

Commits on Feb 3, 2023

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

Commits on Feb 1, 2023

Add defines and refers assertions
Hendrik van Antwerpen
committed
08bc811

Commits on Aug 23, 2022

Support cancellation
Hendrik van Antwerpen
committed
c4ea5d7

Commits on Mar 29, 2022

Apply shadowing
Hendrik van Antwerpen
committed
5acf041

Commits on Mar 28, 2022

Include definition names in errors
Hendrik van Antwerpen
committed
514b9ba

Commits on Mar 21, 2022

Break up large function
Hendrik van Antwerpen
committed
35696af

Commits on Mar 10, 2022

Add assertions API
Hendrik van Antwerpen
committed
6ba3a0e

Loading