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
Sep 29, 2024 — Sep 29, 2025 Showing page 137 of 144 Search / Filter on:
Cleanup of STS-MAC models.	Cas Cremers	More...				over 13 years ago
Updated to new NAXOS model from experimental.	Cas Cremers	More...				over 13 years ago
change heuristic to prefer disjunctions and protocol goals to actions	Benedikt Schmidt	More...				over 13 years ago
simplify NAXOS model by removing duplicate identities from Sid fact.	Benedikt Schmidt	More...				over 13 years ago
Updated DH2, KAS1 and KAS2 models with new Sid/Accept setup.	Cas Cremers	More...				over 13 years ago
Updated averages script with some refactoring.	Cas Cremers	More...				over 13 years ago
move NFData instance to lib/utils	Benedikt Schmidt	More...				over 13 years ago
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

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