T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 15 hours ago. based on code collected about 15 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 134 of 144 Search / Filter on:
fix failing (because of different renamings) unit-tests	Benedikt Schmidt	More...				about 13 years ago
bumped to development version 0.5.0.0	Simon Meier	More...				about 13 years ago
Bugfix to alignment of final part of intro page.	Cas Cremers	More...				about 13 years ago
Underscore convention for theory file names should be propagated to distributed files list.	Cas Cremers	More...				about 13 years ago
Left-top Tamarin name now links to main page instead of to software page.	Cas Cremers	More...				about 13 years ago
Synchronised protocol theory names with file names.	Cas Cremers	More...				about 13 years ago
Updated measurements.	Cas Cremers	More...				about 13 years ago
Cleanup of JKL models and added inequalities.	Cas Cremers	More...				about 13 years ago
modify autoprove link	Benedikt Schmidt	More...				about 13 years ago
typo	Benedikt Schmidt	More...				about 13 years ago
reference 127.0.0.1 instead of 'localhost' in console message	Simon Meier	More...				about 13 years ago
fixed: path to MANUAL was wrong in help message	Simon Meier	More...				about 13 years ago
added two missing modules to .cabal file	Simon Meier	More...				about 13 years ago
adapt Makefile for changed output	Benedikt Schmidt	More...				about 13 years ago
updated regression tests: now using Integer variable indices	Simon Meier	More...				about 13 years ago
fix #59: for the second time: use Integer values for variable indices	Simon Meier	More...				about 13 years ago
Revert "fix #59: use Integer values for variable indices"	Simon Meier	More...				about 13 years ago
fix #56: removed 'may loop' comments from overview	Simon Meier	More...				about 13 years ago
updated regression tests	Simon Meier	More...				about 13 years ago
fix #59: use Integer values for variable indices	Simon Meier	More...				about 13 years ago
fix #51: reviewed code and added some more comments	Simon Meier	More...				about 13 years ago
Merge branch 'develop' of github.com:meiersi/tamarin-prover into develop	Cas Cremers	More...				about 13 years ago
Semantic naming as requested.	Cas Cremers	More...				about 13 years ago
fix #57	Benedikt Schmidt	More...				about 13 years ago
add 'a' for autoprove to help page and use 'keys' class	Benedikt Schmidt	More...				about 13 years ago
UI changes: - reenable killThread and postTheory - 'a' for autoprove - fix multiline headers in js - fix issue #1	Benedikt Schmidt	More...				about 13 years ago
only bind web server to 127.0.0.1	Benedikt Schmidt	More...				about 13 years ago
fix comment	Benedikt Schmidt	More...				about 13 years ago
Updated the logo background by subtly blurring some parts of the formula.	Cas Cremers	More...				over 13 years ago
Typo in protocol model comment fixed.	Cas Cremers	More...				over 13 years ago

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