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 20, 2024 — Jul 20, 2025 Showing page 130 of 144 Search / Filter on:
updated times of regression tests	Simon Meier	More...				about 13 years ago
better parallelization: 12% speedup, 25% memory increase	Simon Meier	More...				about 13 years ago
Fixed typo.	Cas Cremers	More...				about 13 years ago
fix #69: pretty error messages for guardedness errors	Simon Meier	More...				about 13 years ago
fix #86: turn on eager blackholing	Simon Meier	More...				about 13 years ago
removed obsolete code	Simon Meier	More...				about 13 years ago
remove support for sort MSet	Benedikt Schmidt	More...				about 13 years ago
wibble	Benedikt Schmidt	More...				about 13 years ago
fix #87: add action equalities	Benedikt Schmidt	More...				about 13 years ago
Merge branch 'develop' of github.com:tamarin-prover/tamarin-prover into develop	Simon Meier	More...				about 13 years ago
Added image sources files used for the Tamarin webpage for the Institute.	Cas Cremers	More...				about 13 years ago
fix #81: reduce memory usage of autoprover	Simon Meier	More...				about 13 years ago
replace remaining uses of KUFact constructor with kuFact "smart" constructor	Benedikt Schmidt	More...				about 13 years ago
fix #84: display injective fact instances in GUI	Simon Meier	More...				about 13 years ago
removed: outdated static HTML file generation code	Simon Meier	More...				about 13 years ago
some polishing of 'isForbiddenExp'	Simon Meier	More...				about 13 years ago
updated CHANGES	Simon Meier	More...				about 13 years ago
added notepad++ syntax highlighting file	Simon Meier	More...				about 13 years ago
ignore "grep warning" error	Benedikt Schmidt	More...				about 13 years ago
update regression test data	Benedikt Schmidt	More...				about 13 years ago
update examples (remove exp-tag for KU actions)	Benedikt Schmidt	More...				about 13 years ago
fix #85: cache images in OS temp dir	Simon Meier	More...				about 13 years ago
updated link to homepage	Simon Meier	More...				about 13 years ago
case-studies: grep -iR for 'warning' and 'error'	Simon Meier	More...				about 13 years ago
fix #43: report failed wf-checks in summary	Simon Meier	More...				about 13 years ago
added minimal typing example to case studies	Simon Meier	More...				about 13 years ago
developed minimal typing example	Simon Meier	More...				about 13 years ago
added typing assertion example from machine-checked proofs paper	Simon Meier	More...				about 13 years ago
fix: removed bogus edit/delete icons on lemmas	Simon Meier	More...				about 13 years ago
fixed wibbles in Tutorial and added it to regressions tests	Simon Meier	More...				about 13 years ago

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