Expand description
vela diff — structural comparison of two frontiers.
Structs§
- Confidence
Change - Contradiction
Summary - Dependency
Summary - Diff
Json Envelope - Diff
Result - Result of comparing two frontiers.
- Diff
Sources - Diff
Summary - Event
LogDiff - Field
Change - Finding
Summary - Projection
Diff - Proof
State Diff - Proposal
State Diff - Review
Impact - Review
Summary - Semantic
Pair - Stats
Comparison