The Wayback Machine - https://web.archive.org/web/20220430084837/https://github.com/topics/formal-methods
Skip to content
#

formal-methods

Star

Here are 252 public repositories matching this topic...

Language: All
Filter by language
All 252 Python 32 Java 24 TeX 19 Coq 12 Alloy 11 OCaml 11 Haskell 10 C++ 9 C 8 Rust 8
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

project-oak / oak

Star 788
Open

Update devcontainer setup to use our docker scripts, instead of replicating their behavior

1
jul-sh
jul-sh commented Apr 13, 2022

The devcontainer presently does not use our docker scripts (scripts/docker_run, and scripts/fix_docker_user_and_run), instead mirroring their behavior in regards to user permissions: https://github.com/project-oak/oak/blob/bd071bad6822ec83d7b27a4abd0c2ee78a4d8915/.devcontainer.json#L23

It would be nice if the docker container would instead use (parts of) these scripts. This would allow it to ma

Read more
good first issue
Find more good first issues
vscode-tlaplus

tlaplus / vscode-tlaplus

Star 218
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