Search results

In certain cases proofs emited with --prove cannot be revalidated

Status: Open.

#881 In tamarin-prover/tamarin-prover;

· kmilner opened on Jul 7, 2026

Some proofs produced by single-threaded and multi-threaded Tamarin are mutually incompatible.

Status: Open.

#871 In tamarin-prover/tamarin-prover;

· kmilner opened on Jun 17, 2026

SapicRanking needs revision

SAPIC

Status: Open.

#868 In tamarin-prover/tamarin-prover;

· rkunnema opened on Jun 11, 2026

Performance regression in freshOrdering after #811

Status: Open.

#858 In tamarin-prover/tamarin-prover;

· kevinmorio opened on May 6, 2026

ImportError after installing tree_sitter_spthy as a Python package

Status: Open.

#853 In tamarin-prover/tamarin-prover;

· LH104729 opened on Apr 21, 2026

Constant function symbol in equivalence mode

observational-equivalence

Status: Open.

Bug

#849 In tamarin-prover/tamarin-prover;

· rsasse opened on Mar 30, 2026

Reload file functionality does not release RAM

Status: Open.

#848 In tamarin-prover/tamarin-prover;

· felixlinker opened on Mar 27, 2026

New CI and regression test architecture needed

Status: Open.

#843 In tamarin-prover/tamarin-prover;

· jdreier opened on Mar 18, 2026

Unexpected behavior in export queries when using GSVerif

Status: Open.

#839 In tamarin-prover/tamarin-prover;

· dmahmo opened on Mar 12, 2026

Fresh sort in Sapic+ and pattern matching

SAPIC

Status: Open.

Feature

#835 In tamarin-prover/tamarin-prover;

· dmahmo opened on Mar 10, 2026

Release 1.12 - NixOS version

Status: Open.

#828 In tamarin-prover/tamarin-prover;

· rsasse opened on Mar 8, 2026

--parse-only produces output that cannot be parsed

Status: Open.

#819 In tamarin-prover/tamarin-prover;

· jdreier opened on Feb 19, 2026