Skip to content
#

formal-methods

Star

Here are 243 public repositories matching this topic...

Language: All
Filter by language
All 243 Python 30 Java 20 TeX 20 Coq 12 Alloy 10 Haskell 10 OCaml 10 C++ 9 C 8 Ada 7
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated
vscode-tlaplus

tlaplus / vscode-tlaplus

Star 210
Open

Support constant operators detection

alygin
alygin commented Oct 4, 2019

The TlaDocumentSymbolsProvider stumbles on operators while parsing constants and doesn't report them as model symbols. As a result, const operator names don't appear in the outline panel and in completion suggestions. Such operators also prevent parsing of the following constants.

A simple case:

CONSTANT Foo(_), Bar

Neither Foo nor Bar makes it to the model symbols list

Read more
enhancement good first issue

Improve this page

Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."

Learn more