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
Sep 03, 2024 — Sep 03, 2025 Showing page 144 of 144 Search / Filter on:
added FIXME's in Sequent.hs	Simon Meier	More...				over 13 years ago
Rewriting (All P => F) to not(Ex P)	Cas Cremers	More...				over 13 years ago
Undoing limitations on one key per agent and comments.	Cas Cremers	More...				over 13 years ago
Ordering consistency.	Cas Cremers	More...				over 13 years ago
Fixed hash arguments order.	Cas Cremers	More...				over 13 years ago
fix solveSimpleUpK and other smaller cleanups	Benedikt Schmidt	More...				over 13 years ago
some cleanups in lib/term	Benedikt Schmidt	More...				over 13 years ago
Join back facts.	Cas Cremers	More...				over 13 years ago
Fixing hash_1 and hash_2 usage as expected.	Cas Cremers	More...				over 13 years ago
Consistent formulations.	Cas Cremers	More...				over 13 years ago
Added comments.	Cas Cremers	More...				over 13 years ago
Added comments.	Cas Cremers	More...				over 13 years ago
Started to synchronise eCK model with description in paper.	Cas Cremers	More...				over 13 years ago
remove support for unguarded existentials	Simon Meier	More...				over 13 years ago
ensure that typing lemma is guarded	Simon Meier	More...				over 13 years ago
removed old link to 'scyther-proof' examples	Simon Meier	More...				over 13 years ago
rename tool directory to 'tamarin-prover'	Simon Meier	More...				over 13 years ago

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