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 18, 2024 — Jul 18, 2025 Showing page 135 of 144 Search / Filter on:
Small improvements to the manual writing.	Cas Cremers	More...				about 13 years ago
Bringing graph borders in line with table border on intro page.	Cas Cremers	More...				over 13 years ago
Merge branch 'develop' of github.com:meiersi/tamarin-prover into develop	Cas Cremers	More...				over 13 years ago
New intropage with new logo design.	Cas Cremers	More...				over 13 years ago
Working towards new logo setup.	Cas Cremers	More...				over 13 years ago
when renaming terms with minimum variable index k, do not waste the indices from freshIdent to freshIdent + k.	Benedikt Schmidt	More...				over 13 years ago
Solving left-alignment problems, minor cleanup of GUI.	Cas Cremers	More...				over 13 years ago
updated regression tests	Simon Meier	More...				over 13 years ago
Authors/developed at cleanup.	Cas Cremers	More...				over 13 years ago
Added color overview for interface.	Cas Cremers	More...				over 13 years ago
Minor cleanup on authors list.	Cas Cremers	More...				over 13 years ago
Even less saturation.	Cas Cremers	More...				over 13 years ago
Merge branch 'develop' of github.com:meiersi/tamarin-prover into develop	Cas Cremers	More...				over 13 years ago
Less saturation on request.	Cas Cremers	More...				over 13 years ago
added Cas as contributor to the GUI	Simon Meier	More...				over 13 years ago
Redesign of interface.	Cas Cremers	More...				over 13 years ago
Updated quick introduction to be more concise and look nicer.	Cas Cremers	More...				over 13 years ago
Cleaning up some redundant information in the opening page.	Cas Cremers	More...				over 13 years ago
rename 'stop-on-attack' ~> 'stop-on-trace'	Simon Meier	More...				over 13 years ago
bump versions to 0.4.0.0 - preparing for #40	Simon Meier	More...				over 13 years ago
cleanup: removed some old files, added remaining issues to github	Simon Meier	More...				over 13 years ago
fix parsing associativity of ==>	Simon Meier	More...				over 13 years ago
fix #42: update changelog	Simon Meier	More...				over 13 years ago
wibble in development source files	Simon Meier	More...				over 13 years ago
also simplify variable indices in proofs in theory index	Simon Meier	More...				over 13 years ago
Stored new measurements.	Cas Cremers	More...				over 13 years ago
Bugfix to syntax highlighter for Vim.	Cas Cremers	More...				over 13 years ago
BUGFIX to averages script.	Cas Cremers	More...				over 13 years ago
Wrote 'Tamarin' in small caps, also in HTML.	Cas Cremers	More...				over 13 years ago
Produced a new logo and favicon design and integrated into web server.	Cas Cremers	More...				over 13 years ago

←
1
2
…
131
132
133
134
135
136
137
138
139
…
143
144
→