T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 30, 2024 — Jul 30, 2025 Showing page 141 of 144 Search / Filter on:
more/better information on console	Simon Meier	More...				over 13 years ago
deactivated overwriting (saving) the local file for release	Simon Meier	More...				over 13 years ago
added Cas' idea on better visualization	Simon Meier	More...				over 13 years ago
updated links to homepage in .hs sources	Simon Meier	More...				over 13 years ago
rename TS3xxx.spthy to TS3xxx.spth-nonterm	Simon Meier	More...				over 13 years ago
deployment of CSF'12 case studies finalized	Simon Meier	More...				over 13 years ago
moved STS protocols to csf12 example directory	Simon Meier	More...				over 13 years ago
re-ran case-studies after Cas' changes	Simon Meier	More...				over 13 years ago
Improved/broke most case studies. Time will tell.	Cas Cremers	More...				over 13 years ago
Updating models.	Cas Cremers	More...				over 13 years ago
Oops. Doesn't work.	Cas Cremers	More...				over 13 years ago
Further cleanup.	Cas Cremers	More...				over 13 years ago
Cleaning up models.	Cas Cremers	More...				over 13 years ago
add missing AUTHORS file	Simon Meier	More...				over 13 years ago
polished help-message / console status information	Simon Meier	More...				over 13 years ago
simplified .cabal file slightly	Simon Meier	More...				over 13 years ago
copyright notices in tamarin-prover source code	Simon Meier	More...				over 13 years ago
copyright notices in term library	Simon Meier	More...				over 13 years ago
copyright notices in utils library	Simon Meier	More...				over 13 years ago
preparing for release	Simon Meier	More...				over 13 years ago
merged minor changes to case studies section	Simon Meier	More...				over 13 years ago
Added (fairly) consistent remarks.	Cas Cremers	More...				over 13 years ago
Added paper references.	Cas Cremers	More...				over 13 years ago
Added PFS model for the UM protocol	Cas Cremers	More...				over 13 years ago
added times / some fixes to intro	Simon Meier	More...				over 13 years ago
Cleaning up and simplifying STS models.	Cas Cremers	More...				over 13 years ago
-Wall cleaning: fewer orphan instances	Simon Meier	More...				over 13 years ago
simplified `cutOnAttackDFS`	Simon Meier	More...				over 13 years ago
also use STS-MAC variants for case studies	Simon Meier	More...				over 13 years ago
added _analyzed file for regression testing	Simon Meier	More...				over 13 years ago

←
1
2
…
136
137
138
139
140
141
142
143
144
→