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
Jul 29, 2024 — Jul 29, 2025 Showing page 132 of 144 Search / Filter on:
added TESLA 1 and 2 case studies	Simon Meier	More...				about 13 years ago
added untagged variant of NSLPK3 protocol	Simon Meier	More...				about 13 years ago
split top-level conjunctions when inserting lemmas	Simon Meier	More...				about 13 years ago
merge bugfixes from 0.6.1.0	Simon Meier	More...				about 13 years ago
version bump to 0.6.1.0	Simon Meier	More...				about 13 years ago
fix: typos in help message	Simon Meier	More...				about 13 years ago
regression tests, added missing CSF'12 case studies	Simon Meier	More...				about 13 years ago
fix: do not use parallel iterative deepening	Simon Meier	More...				about 13 years ago
updated changelog for bugfix release	Simon Meier	More...				about 13 years ago
version bump do development version 0.7.0.0	Simon Meier	More...				about 13 years ago
added 'source-repository' fields to .cabal files	Simon Meier	More...				about 13 years ago
version bump to 0.6.0.0	Simon Meier	More...				about 13 years ago
updated release instructions	Simon Meier	More...				about 13 years ago
updated CHANGES for 0.6.0.0	Simon Meier	More...				about 13 years ago
typo in Makefile	Simon Meier	More...				about 13 years ago
updated regressions tests	Simon Meier	More...				about 13 years ago
compiles again with 7.0.4	Simon Meier	More...				about 13 years ago
fixed: inverse, pair, and product goals are unsolved, but trivial	Simon Meier	More...				about 13 years ago
fixed bug: typing assumptions retained open Disj goals	Simon Meier	More...				about 13 years ago
cleaned up / include more case studies	Simon Meier	More...				about 13 years ago
updated MANUAL	Simon Meier	More...				about 13 years ago
Improved DJB spec using 'let'.	Cas Cremers	More...				about 13 years ago
add all case studies to Makefile	Simon Meier	More...				about 13 years ago
fix typo: used wrong default heuristic	Simon Meier	More...				about 13 years ago
better error messages for --heuristic flag	Simon Meier	More...				about 13 years ago
use parallel, iterative deepening for DFS attack search	Simon Meier	More...				about 13 years ago
fix #62: configurable heuristics and autoprover	Simon Meier	More...				about 13 years ago
more case studies and update of regressions tests	Simon Meier	More...				about 13 years ago
record 'time of creation' for all goals	Simon Meier	More...				about 13 years ago
cleanup and module movement	Simon Meier	More...				about 13 years ago

←
1
2
…
128
129
130
131
132
133
134
135
136
…
143
144
→