-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
[Feature] Adding support for accountability lemmas
enhancementNew feature or requestNew feature or requestStatus: Open.#56 In tamarin-prover/batch-tamarin;[Feature] Make traces (counterexamples, exist-traces) directly viewable from the summary html file
enhancementNew feature or requestNew feature or requestStatus: Open.#54 In tamarin-prover/batch-tamarin;[BUG] Lemmas marked as timed out way before reaching the time limit
bugSomething isn't workingSomething isn't workingPRIORITY 0UrgentUrgentStatus: Open.#40 In tamarin-prover/batch-tamarin;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 workingPRIORITY 2Could be nice to haveCould be nice to haveStatus: Open.#35 In tamarin-prover/batch-tamarin;[Feature] Reruned tasks included in the report
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersPRIORITY 1ImportantImportantStatus: Open.#34 In tamarin-prover/batch-tamarin;[BUG] Table and charts templating when there is a long task result
bugSomething isn't workingSomething isn't workingPRIORITY 3Usefull, but not necessaryUsefull, but not necessaryStatus: Open.#30 In tamarin-prover/batch-tamarin;[Feature] Compile tamarin + Docker Image
enhancementNew feature or requestNew feature or requestPRIORITY 2Could be nice to haveCould be nice to haveStatus: Open.#9 In tamarin-prover/batch-tamarin;[Feature] Better CLI reporting
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersPRIORITY 0UrgentUrgentStatus: Open.#8 In tamarin-prover/batch-tamarin;Specifying partial order on jobs and reduce the number of Tamarin calls
enhancementNew feature or requestNew feature or requestPRIORITY 3Usefull, but not necessaryUsefull, but not necessaryStatus: Open.#4 In tamarin-prover/batch-tamarin;