Search results

[BUG] Cache key missing some properties

bugSomething isn't workingSomething isn't working

Status: Open.

#52 In tamarin-prover/batch-tamarin;

· nikstuckenbrock opened on Nov 24, 2025

[Feature] Switch to uv

enhancementNew feature or requestNew feature or request

Status: Open.

#50 In tamarin-prover/batch-tamarin;

· nikstuckenbrock opened on Nov 8, 2025

[Feature] Add linter to project

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In tamarin-prover/batch-tamarin;

· nikstuckenbrock opened on Nov 8, 2025

[BUG] Lemmas marked as timed out way before reaching the time limit

bugSomething isn't workingSomething isn't working

PRIORITY 0UrgentUrgent

Status: Open.

Bug

#40 In tamarin-prover/batch-tamarin;

· racoucho1u opened on Oct 15, 2025

Docker Orchestration branch (WIP) : [BUG] Memory Limit and Timed Out tasks are not differenciated than errors for docker tasks

bugSomething isn't workingSomething isn't working

PRIORITY 2Could be nice to haveCould be nice to have

Status: Open.

Bug

#35 In tamarin-prover/batch-tamarin;

· lmandrelli opened on Aug 7, 2025

[Feature] Reruned tasks included in the report

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

PRIORITY 1ImportantImportant

Status: Open.

Feature

#34 In tamarin-prover/batch-tamarin;

· lmandrelli opened on Aug 7, 2025

[BUG] Table and charts templating when there is a long task result

bugSomething isn't workingSomething isn't working

PRIORITY 3Usefull, but not necessaryUsefull, but not necessary

Status: Open.

Bug

#30 In tamarin-prover/batch-tamarin;

· lmandrelli opened on Jul 29, 2025

[Feature] Compile tamarin + Docker Image

enhancementNew feature or requestNew feature or request

PRIORITY 2Could be nice to haveCould be nice to have

Status: Open.

Feature

#9 In tamarin-prover/batch-tamarin;

· lmandrelli opened on Jun 27, 2025

[Feature] Better CLI reporting

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

PRIORITY 0UrgentUrgent

Status: Open.

Feature

#8 In tamarin-prover/batch-tamarin;

· lmandrelli opened on Jun 27, 2025

Specifying partial order on jobs and reduce the number of Tamarin calls

enhancementNew feature or requestNew feature or request

PRIORITY 3Usefull, but not necessaryUsefull, but not necessary

Status: Open.

Feature

#4 In tamarin-prover/batch-tamarin;

· cascremers opened on Jun 26, 2025