T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 19 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 19, 2024 — Aug 19, 2025 Showing page 131 of 144 Search / Filter on:
fixed wibbles in Tutorial and added it to regressions tests	Simon Meier	More...				about 13 years ago
updated case studies (added Minimal_Loop_Example)	Simon Meier	More...				about 13 years ago
fix #82: generate proper base and step case for induction	Simon Meier	More...				about 13 years ago
test: induction and a property satisfied by the empty trace only	Simon Meier	More...				about 13 years ago
prepare CHANGE-log for 0.8.0.0	Simon Meier	More...				about 13 years ago
fix #68: add shortcut for characterization	Simon Meier	More...				about 13 years ago
fix #74: Cedric's homepage is up again	Simon Meier	More...				about 13 years ago
updated regression tests	Simon Meier	More...				about 13 years ago
fix #83: use the new theory of injective fact instances	Simon Meier	More...				about 13 years ago
improve loop-tracing messages in simplifier	Simon Meier	More...				about 13 years ago
adapted Minimal loop example to thesis.	Simon Meier	More...				about 13 years ago
typo in the Minimal_Create_Use_Destroy example.	Simon Meier	More...				about 13 years ago
fix #77: avoid unnecessary variable indices in formulas	Simon Meier	More...				about 13 years ago
improve term infrastructure for PreciseFresh monad	Simon Meier	More...				about 13 years ago
-Wall cleaned one module	Simon Meier	More...				about 13 years ago
added 'freshness scoping' to MonadFresh	Simon Meier	More...				about 13 years ago
fix #78: rename 'Last' ~> 'last'	Simon Meier	More...				about 13 years ago
added experiment on using induction for message deduction	Simon Meier	More...				about 13 years ago
note on Unicode syntax for conclusion goals	Simon Meier	More...				about 13 years ago
use ▶-symbol for premise goals, as in thesis	Simon Meier	More...				about 13 years ago
fix and export Unicode-subscript support from 'utils'	Simon Meier	More...				about 13 years ago
update intruder_variants_dh	Benedikt Schmidt	More...				about 13 years ago
replace exponentiation tags by normal form condition	Benedikt Schmidt	More...				about 13 years ago
export function symbol strings for inv and exp	Benedikt Schmidt	More...				about 13 years ago
switch intruder rule names to ByteString for consistency with function symbols	Benedikt Schmidt	More...				about 13 years ago
added a minimal looping example - to be used in thesis	Simon Meier	More...				about 13 years ago
guarded formulas: always remove 'Ex ... . ... & False'	Simon Meier	More...				about 13 years ago
save space: use Unicode characters for formulas	Simon Meier	More...				about 13 years ago
prettier constraint systems in HTML output	Simon Meier	More...				about 13 years ago
fix: check for has-no-graph-part was wrong	Simon Meier	More...				about 13 years ago

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