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
Sep 03, 2024 — Sep 03, 2025 Showing page 143 of 144 Search / Filter on:
Trying to fix STS model. There is still a bug here.	Cas Cremers	More...				over 13 years ago
Updated Makefile to redo only tests as needed.	Cas Cremers	More...				over 13 years ago
Added one-key variant for KEA+.	Cas Cremers	More...				over 13 years ago
Updated Makefile to run new tests.	Cas Cremers	More...				over 13 years ago
added speculative parallelism: factor 2x speedup for naxos on my machine	Simon Meier	More...				over 13 years ago
make file processing more robust	Simon Meier	More...				over 13 years ago
switch to 'SOLVED (trace found)'	Simon Meier	More...				over 13 years ago
also output 'summary of processed files' in dryRun mode	Simon Meier	More...				over 13 years ago
Fixing SignedDH-eCK model.	Cas Cremers	More...				over 13 years ago
Added STS and STS-mod models.	Cas Cremers	More...				over 13 years ago
fix NAXOS_eCK and NAXOS_eCK_PFS	Benedikt Schmidt	More...				over 13 years ago
simplify common sort constraints in disjunctions (x \|-> ~y /\ ..) \/ (x \|-> ~z)	Benedikt Schmidt	More...				over 13 years ago
ignore warnings from stupid alex generated lexer :-(	Simon Meier	More...				over 13 years ago
cleanup: don't sort proof methods in frontend + theory comments	Simon Meier	More...				over 13 years ago
use DFS cutting to stop on an attack by default	Simon Meier	More...				over 13 years ago
solve some of the wf-error in SignedDH_eCK..more work to be done	Simon Meier	More...				over 13 years ago
uncomment xor and mset support from default signature => after CSF	Simon Meier	More...				over 13 years ago
better wellformedness error message	Simon Meier	More...				over 13 years ago
parsing changes: arity 1 notation, signature checks	Simon Meier	More...				over 13 years ago
cleaned up and reactivated deducability heuristic	Simon Meier	More...				over 13 years ago
remove broken support for 'Requires' and 'Provides' trace atoms	Simon Meier	More...				over 13 years ago
list contributions of contributors	Simon Meier	More...				over 13 years ago
cleanup 'solveSimpleUpK' and comments on goals	Simon Meier	More...				over 13 years ago
adapted examples to changes in tool to make it paper-compatible	Simon Meier	More...				over 13 years ago
only list non-graph part in precomputed case distinctions	Simon Meier	More...				over 13 years ago
changes / renamings in source code	Simon Meier	More...				over 13 years ago
allow solving non-looping premises goals, if there are unsolved chains	Simon Meier	More...				over 13 years ago
Added eCK variant.	Cas Cremers	More...				over 13 years ago
add missing file	Benedikt Schmidt	More...				over 13 years ago
autoprover doesn't use induction anymore	Simon Meier	More...				over 13 years ago

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