Log of testing/proverif
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| a04c644b | testing/proverif: also build interactive ProVerif as proverif-interact | Marian Buschsieweke | 2026-01-11 22:36 |
| 0c615eed | testing/proverif: new aport | Marian Buschsieweke | 2026-01-06 11:01 |
| Commit | Subject | Author | Time (UTC) |
|---|---|---|---|
| a04c644b | testing/proverif: also build interactive ProVerif as proverif-interact | Marian Buschsieweke | 2026-01-11 22:36 |
| 0c615eed | testing/proverif: new aport | Marian Buschsieweke | 2026-01-06 11:01 |