Skip to content
#

formal-methods

Star

Here are 183 public repositories matching this topic...

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

alygin / vscode-tlaplus

Star
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

You can’t perform that action at this time.