T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 4 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 22, 2024 — Jul 22, 2025 Showing page 136 of 144 Search / Filter on:
Introduced new NAXOS models.	Cas Cremers	More...				over 13 years ago
check *-restricted (relaxed notion) in Well-formedness (fixes issue #24)	Benedikt Schmidt	More...				over 13 years ago
'renamePrecise' rule variants to obtain nicer variable names and fix display of single-variant rules	Benedikt Schmidt	More...				over 13 years ago
change builtin to builtins	Benedikt Schmidt	More...				over 13 years ago
simplify some SubstVFresh code	Benedikt Schmidt	More...				over 13 years ago
Merge branch 'develop' of github.com:meiersi/tamarin-prover into develop	Cas Cremers	More...				over 13 years ago
Fixing some naming.	Cas Cremers	More...				over 13 years ago
fix #36: consistent usage of the Tamarin name	Simon Meier	More...				over 13 years ago
Merge branch 'develop' of github.com:meiersi/tamarin-prover into develop	Cas Cremers	More...				over 13 years ago
Added new favicon and worked on logo.	Cas Cremers	More...				over 13 years ago
fix #8: add Tutorial.spthy, reference MANUAL, and InvariantsExample.spthy	Simon Meier	More...				over 13 years ago
do not accept ^ and * if DH is not enabled	Benedikt Schmidt	More...				over 13 years ago
Cleanup of distributed protocol specs.	Cas Cremers	More...				over 13 years ago
fix #32: use red/green background to indicate status of subproofs	Simon Meier	More...				over 13 years ago
fix typo in key registration	Benedikt Schmidt	More...				over 13 years ago
updated tool description in .cabal file	Simon Meier	More...				over 13 years ago
fix #33: fix 'Text.Dot' bugs and use a balanced rendering algorithm	Simon Meier	More...				over 13 years ago
Added new TS1 model with inequalities. Weird.	Cas Cremers	More...				over 13 years ago
BUGFIX: Repair averages script.	Cas Cremers	More...				over 13 years ago
Updated results table.	Cas Cremers	More...				over 13 years ago
New KEA+ models with 'let'.	Cas Cremers	More...				over 13 years ago
nicer status message for interactive GUI startup	Simon Meier	More...				over 13 years ago
fix #31: add 'exists-trace' and 'all-traces' quantifiers	Simon Meier	More...				over 13 years ago
Cleanup of STS-MAC models.	Cas Cremers	More...				over 13 years ago
Updated to new NAXOS model from experimental.	Cas Cremers	More...				over 13 years ago
change heuristic to prefer disjunctions and protocol goals to actions	Benedikt Schmidt	More...				over 13 years ago
simplify NAXOS model by removing duplicate identities from Sid fact.	Benedikt Schmidt	More...				over 13 years ago
Updated DH2, KAS1 and KAS2 models with new Sid/Accept setup.	Cas Cremers	More...				over 13 years ago
Updated averages script with some refactoring.	Cas Cremers	More...				over 13 years ago
move NFData instance to lib/utils	Benedikt Schmidt	More...				over 13 years ago

←
1
2
…
132
133
134
135
136
137
138
139
140
…
143
144
→