We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Merge pull request #79 from umutdural/63-calculus-annotations-disallo… …w-unsound-recursion calculus: disallow unsound recursion with call graph analysis
Caesar 2.1.2
vscode-ext: use new invocation for lsp server
Caesar 2.1.0 release
version 2.0.8
version 2.0.7
version 2.0.6
version 2.0.5
version 2.0.4
vscode-ext: more error handling