Skip to main content

Module incremental

logicaffeine_verify

Module incremental 

Source
Expand description

Incremental Verification

Cache verification results, track dependencies, invalidate only what changed.

Structs§

CachedResult
Cached verification result.
ChangeEvent
A change event.
VerificationCache
Verification cache.

Functions§

hash_property
Compute a hash for a property expression.
verify_incremental
Verify properties incrementally.

Type Aliases§

PropertyHash
A hash of a property for caching.