Search results

Variables that share names with builtins are incorrectly flagged as errors

Status: Open.

#12 In tamarin-prover/vscode-tamarin;

· niklasmedinger opened on Dec 16, 2024

Functions in lemmas are incorrectly detected as action facts

Status: Open.

#11 In tamarin-prover/vscode-tamarin;

· niklasmedinger opened on Dec 16, 2024

Add <code>.splib</code> as alternate extension.

Status: Open.

#10 In tamarin-prover/vscode-tamarin;

· cascremers opened on Dec 12, 2024

Tamarin's input language not properly registered as "language" inside VSC.

Status: Open.

#9 In tamarin-prover/vscode-tamarin;

· cascremers opened on Dec 12, 2024

The natural-numbers builtin is not highlighted correctly

Status: Open.

#8 In tamarin-prover/vscode-tamarin;

· jdreier opened on Oct 28, 2024

No highlighting on free variables in lemmas due to prefix errors

Status: Open.

#7 In tamarin-prover/vscode-tamarin;

· AlphonsedeV opened on Oct 23, 2024