vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus

PlusCal <> TLA+ divergence detection

Open lemmy opened this issue 5 years ago • 0 comments

TLC (and the Toolbox) recently implemented functionality to detect PlusCal <> TLA+ divergence, which should be easy to implement for this extension too:

89359605-13d0e480-d67b-11ea-94be-894c8524da63

lemmy avatar Aug 11 '20 04:08 lemmy