T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 107 of 144 Search / Filter on:
Added instructions to compile on MacOS X.	Ralf Sasse	More...				almost 10 years ago
Merge branch 'master' into develop	Ralf Sasse	More...				almost 10 years ago
Bump version number to 1.1.0 for develop.	Ralf Sasse	More...				almost 10 years ago
Merge branch 'develop' into 'master' for release.	Ralf Sasse	More...				almost 10 years ago
Version number upgraded to 1.0.0 for release to master.	Ralf Sasse	More...				almost 10 years ago
Update INSTALL.md	Cas Cremers	More...				almost 10 years ago
Update INSTALL.md	Ralf Sasse	More...				almost 10 years ago
Merge pull request #164 from tamarin-prover/feature-improved-graph-output	Ralf Sasse	More...				almost 10 years ago
Added new command line option quit-on-warning that does as advertised: it quits the current specification file with any warning.	Ralf Sasse	More...				almost 10 years ago
Added ARPKI example	Ralf Sasse	More...				almost 10 years ago
Regression output changed due to modified heuristics	Ralf Sasse	More...				almost 10 years ago
Merge remote-tracking branch 'origin/develop' into feature-improved-graph-output	Ralf Sasse	More...				almost 10 years ago
Changed regression example output due to injective instances being a multi-line comment now	Ralf Sasse	More...				almost 10 years ago
Added runtime information and memory requirement for SAPIC case study	Ralf Sasse	More...				almost 10 years ago
Merge pull request #157 from samscott89/develop	Ralf Sasse	More...				almost 10 years ago
Merge pull request #162 from tamarin-prover/feature-sapic-heuristics	Ralf Sasse	More...				almost 10 years ago
Clarified in README that SAPIC is not required.	Robert Künnemann	More...				almost 10 years ago
Added README file for PKCS#11/templatepolicy	Robert Künnemann	More...				almost 10 years ago
Added example PKCS#11 with template-based policy	Robert Künnemann	More...				almost 10 years ago
Merge pull request #161 from tamarin-prover/feature-sapic-heuristics	Ralf Sasse	More...				almost 10 years ago
Merge feature-sapic-heuristics-pkcs11 ..	Robert Künnemann	More...				almost 10 years ago
Include login name in image cache directory	Katriel Cohn-Gordon	More...				almost 10 years ago
Merge remote-tracking branch 'origin/develop' into feature-improved-graph-output	Ralf Sasse	More...				almost 10 years ago
Merge pull request #159 from tamarin-prover/feature-FirstLast-heuristic	Ralf Sasse	More...				almost 10 years ago
added explanation for L_ and F_ usage in manual	Ralf Sasse	More...				almost 10 years ago
added link to readme for improved graph output into initial readme	Ralf Sasse	More...				almost 10 years ago
Additional documentation on cleandot	Ralf Sasse	More...				almost 10 years ago
renamed group-protocols folder to sp14 to follow standard naming conventions	Ralf Sasse	More...				almost 10 years ago
Bump version to 0.8.6.3	Simon Meier	More...				almost 10 years ago
Bump version to 0.8.6.2.	Simon Meier	More...				almost 10 years ago

←
1
2
…
103
104
105
106
107
108
109
110
111
…
143
144
→