Changelog

• 5ca9efd Merge pull request #15 from Kuniwak/repld
• c94bf9e Structural: export the silent event as csdf.Tau
• 29e1249 Structural: register csdfrepld and csdfreplcmd in goreleaser and README
• 0a45bbd Behavioral: add csdfreplcmd client
• aabe839 Behavioral: add csdfrepld daemon and tools.ResolveSocketPath
• 40cee75 Behavioral: add csdf/animation/proto remote API
• 2fcf1d5 Structural: drive csdfrepl REPL through csdf/animation
• 2c01cf7 Structural: extract csdf/animation engine and renderers
• f8c31dc Structural: Add subcommand system
• 4d1b451 Merge pull request #14 from Kuniwak/livelockfree
• 1500bc1 Structural: register csdflivelockfree in goreleaser and README
• d81b705 Behavioral: implement csdflivelockfree verdict and witness output
• caf73e0 Structural: scaffold csdflivelockfree tool (options/version plumbing)
• 3f50028 Behavioral: add CheckLivelockFree τ-divergence checker to csdf
• d6d524a Merge pull request #13 from Kuniwak/pragma
• 09db6eb Fix ambiguous ignore_region grammar; pin first-match semantics
• 0b3ab33 Document CSDF-IGNORE regions in SYNTAX.md
• e54f58d Behavioral: add CSDF-IGNORE line-comment regions to parser
• 6875d4a Merge pull request #12 from Kuniwak/det
• 5fd6bac Remove unnecessary files
• 388662e Translate
• d614968 Fix notation
• f237c4f Wire csdfnorm into release build and document it
• 6f92bee Add csdfnorm command (behavioral)
• 6624038 Add csdf.Normalize: subset construction with tau-closure (behavioral)
• e1d946e Update
• 0a98563 Update
• e6126e8 Add REVIEW_COMMENT.md
• 8fea072 Add references