Merge pull request #3257 from jix/tribuf-formal
authorJannis Harder <me@jix.one>
Mon, 25 Apr 2022 14:23:06 +0000 (16:23 +0200)
committerGitHub <noreply@github.com>
Mon, 25 Apr 2022 14:23:06 +0000 (16:23 +0200)
commite0e31bfc5c4e40a64b96990f8875010202d3ca96
treef42eb2d96bdf58b4795dfd897e965a181a03c166
parent3c0f3504c60198a52148f023498acbd5472db632
parentbc48500548a46b232dd708434587a7706ed0f7f1
Merge pull request #3257 from jix/tribuf-formal

tribuf: `-formal` option: convert all to logic and detect conflicts