T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 133 of 144 Search / Filter on:
rename lemma attribute: 'invariant' ~~> 'use_induction'	Simon Meier	More...				about 13 years ago
formatting wibbles	Simon Meier	More...				about 13 years ago
modeled and verified TESLA_Scheme1	Simon Meier	More...				about 13 years ago
formalized and interactively verified minimal stream protocol	Simon Meier	More...				about 13 years ago
solver tweaking: defer looping premises and split node-id equalities	Simon Meier	More...				about 13 years ago
simplify variable indices as part of prover	Simon Meier	More...				about 13 years ago
added support functions for terms with bound variables	Simon Meier	More...				about 13 years ago
updated stateful examples	Simon Meier	More...				about 13 years ago
wibbles in README	Simon Meier	More...				about 13 years ago
better README	Simon Meier	More...				about 13 years ago
mark README as markdown	Simon Meier	More...				about 13 years ago
started adapting the MANUAL to explain the new typing stuff	Simon Meier	More...				about 13 years ago
More complicated version of StatVerif example working again	Simon Meier	More...				about 13 years ago
Wrote a README explaining the repository structure	Simon Meier	More...				about 13 years ago
better support for unique fact instances	Simon Meier	More...				about 13 years ago
final model of StatVerif Example 1 - simple hardware device	Simon Meier	More...				about 13 years ago
added README	Simon Meier	More...				about 13 years ago
updated changelog for 0.5.0.0	Simon Meier	More...				about 13 years ago
reimplemented constraint solver	Simon Meier	More...				about 13 years ago
fix #53: migrate to yesod-1.0 and upgrade other dependencies	Simon Meier	More...				about 13 years ago
Revert "decrease version numbers"; back at 0.5.0.0	Simon Meier	More...				about 13 years ago
update Makefile for new filenames	Benedikt Schmidt	More...				about 13 years ago
update case-studies regression	Benedikt Schmidt	More...				about 13 years ago
decrease version numbers	Benedikt Schmidt	More...				about 13 years ago
add change log entry for 0.4.1.0	Benedikt Schmidt	More...				about 13 years ago
fix #66, fix #65, fix #64.	Benedikt Schmidt	More...				about 13 years ago
fix #67: detect whether prelude.maude is installed	Simon Meier	More...				about 13 years ago
use CanExp tag instead of variables in destruction rules for the subterm-theory	Benedikt Schmidt	More...				about 13 years ago
add notes for release tests	Benedikt Schmidt	More...				about 13 years ago
fix path displayed in help message on windows	Benedikt Schmidt	More...				about 13 years ago

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