apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

[FEATURE] Add general annotations to the JSON representation

Open Kukovec opened this issue 3 years ago • 0 comments

Where available, the JSON encoding should include information about all of the known annotations (not just types).

Kukovec avatar May 04 '21 15:05 Kukovec