8000 Commits · tamarin-prover/tamarin-prover · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jul 1, 2025

Commits on Jun 30, 2025

Replace oracles with tactics for regression tests (#746)

BTom-GH
and
jdreier
authored
Better fact usage wellformedness warnings (#737)

BTom-GH
and
jdreier
authored
Run `make sapic-case-studies-fast` from regressionTests.py (#744)

rkunnema
and
Robert Künnemann
authored
Remove restrictions for deduction checks. (#738)

authored

Commits on Jun 23, 2025

Fix parsing of rule attributes. (#741)

rkunnema
and
Robert Künnemann
authored

Commits on Jun 20, 2025

Compule role from top-level process name for clustering. (#739)

rkunnema
and
Robert Künnemann
authored
Wellformedness check for processes: detect unmatched unlocks (#734)

rkunnema
and
Robert Künnemann
authored
Pretty-print attribute with quotes, parse with quotes instead of double (#730)

rkunnema
and
Robert Künnemann
authored
17e3d56

Commits on Jun 18, 2025

Fix color hash computation (#740)
kevinmorio
authored

Commits on Jun 17, 2025

fix : added a condition for the "wellformedness errors" warning when loading a theory interactively (#735)
BTom-GH
authored

Commits on Jun 16, 2025

Print typed function symbols in Maude Signature (again). (#729)

rkunnema
and
Robert Künnemann
authored

Commits on Jun 10, 2025

Commits on Jun 6, 2025

Additions to gitignore and some commenting there. (#732)

rkunnema
and
Robert Künnemann
authored
Added link to GSVerif repository (#731)

rkunnema
and
Robert Künnemann
authored

Commits on May 22, 2025

Commits on May 16, 2025

Extend ProVerif export module (#725)

authored

Commits on Apr 10, 2025

Fix bilinear pairing equation in the manual.
rsasse
committed

Commits on Mar 26, 2025

Fix copy paste error in maude signature pretty print (#719)

niklasmedinger
and
Niklas Medinger
authored

Commits on Mar 18, 2025

Update link to examples (#717)
mjal
authored

Commits on Mar 7, 2025

Added vector-based version of Tamarin logo (CC-BY). (#715)
cascremers
authored

Commits on Mar 4, 2025

manual: Fix link to tree-sitter (#714)
kevinmorio
authored

Commits on Feb 21, 2025

Improved wellformedness messages and regression tests on github, fixed regression targets (#704)
jdreier
authored

Commits on Feb 18, 2025

Refactor tamarin-prover-accountability (#686)

authored

Commits on Feb 17, 2025

~~Lemma editing in the GUI (#683)~~

felixlinker
and
4-Pawn
authored

Commits on Feb 4, 2025

~~Attempt at fixing deployment error for manual.~~
~~cascremers~~
~~committed~~
~~Rewrite prover regression (#700)~~
~~felixlinker~~
~~authored~~

Commits on Feb 3, 2025

~~Refactor tamaring-prover-sapic~~

arcz
authored and
rkunnema
committed

Commits on Jan 31, 2025

~~Aligning default presort heuristic for tactics on default heuristic for proofs (#705)~~

racoucho1u
and
maiwenn
authored
~~Update workflow function `upload-artifact` (#706)~~

rkunnema
and
Robert Künnemann
authored

~~Previous~~

~~Next~~

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Docs

Contact

0