T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 22, 2024 — Jul 22, 2025 Showing page 137 of 144 Search / Filter on:
Updated experimental NAXOS model.	Cas Cremers	More...				over 13 years ago
cleanup: get rid of old 'Text.Isar' file	Simon Meier	More...				over 13 years ago
Export '<>' from 'Extension.Data.Monoid'	Simon Meier	More...				over 13 years ago
use H1/H2 in NAXOS example.	Benedikt Schmidt	More...				over 13 years ago
several mutually dependent changes: - use attoparsec to parse maude output - check that maude output is valid for signature - make MaudeSig abstract and precompute irreducible function symbols - represent disjunctions in equationstore as sets	Benedikt Schmidt	More...				over 13 years ago
Improving experimental NAXOS model further.	Cas Cremers	More...				over 13 years ago
use viewTerm2 in Sequent instead of "exp", ...	Benedikt Schmidt	More...				over 13 years ago
small simplification unifyRaw	Benedikt Schmidt	More...				over 13 years ago
Added KAS1 protocol and performed new timing run.	Cas Cremers	More...				over 13 years ago
fix #29: more compression for compact graphs and compressed sequents	Simon Meier	More...				over 13 years ago
removed old, superfluous 'MonolithicMain.hs'	Simon Meier	More...				over 13 years ago
Bugfix to averages script.	Cas Cremers	More...				over 13 years ago
Updated averaging script to more or less output the CSF'12 table in a file with the current measurements.	Cas Cremers	More...				over 13 years ago
fix #28: also compress intruder nodes with outgoing msg-edges	Simon Meier	More...				over 13 years ago
Updated NAXOS models using 'let'.	Cas Cremers	More...				over 13 years ago
list the actions for intruder nodeds without outgoing edges	Simon Meier	More...				over 13 years ago
fix #27: forgot to expose	Simon Meier	More...				over 13 years ago
remove unused `se` reference in Sequent.hs	Simon Meier	More...				over 13 years ago
fix #27: simplify variable indices before display in the GUI	Simon Meier	More...				over 13 years ago
introduced precise FreshT monad transformer	Simon Meier	More...				over 13 years ago
a stab at #28: more compact visualization	Simon Meier	More...				over 13 years ago
Functor and Applicative instances for the 'Dot' monad	Simon Meier	More...				over 13 years ago
Added script that I used for the time measurements.	Cas Cremers	More...				over 13 years ago
Minor update to TLS model.	Cas Cremers	More...				over 13 years ago
Added new case studies (DH2, KAS2) to the distribution list.	Cas Cremers	More...				over 13 years ago
Oops. No tabs, okay.	Cas Cremers	More...				over 13 years ago
Moved KAS2 and DH2 to CSF directoy.	Cas Cremers	More...				over 13 years ago
Remodeled KAS2 and NAXOS using a new protocol/property refactoring, added DH2.	Cas Cremers	More...				over 13 years ago
Made the URL to the server stand out more visually.	Cas Cremers	More...				over 13 years ago
Fixing spec and properties for KAS2.	Cas Cremers	More...				over 13 years ago

←
1
2
…
133
134
135
136
137
138
139
140
141
142
143
144
→