GitHub repository: DistributedClocks/TraceChecker
Primary language: Scala
Created: 2021-04-20T10:44:40Z
Description: Domain-specific language definitions for checking + explaining properties of distributed traces