This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.
active 2024-06-26 → 2024-09-05 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 72 days from 2024-06-26 to 2024-09-05. Pushes: 6 total, peak 3 in a day. Pull requests: 2 total, peak 2 in a day. Issues: 2 total, peak 2 in a day. Comments: 1 total, peak 1 in a day. Stars: 3 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| RandallYe | 11 | 6 | 2 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue#1RandallYe2024-08-01 10:35This should be LA_I_snd_msg, not A_I_snd_msg
- Pull request#2RandallYe2024-08-01 10:35
- Pull request#2RandallYe2024-08-01 10:34
- Issue comment#1RandallYe2024-08-01 10:31This should be LA_I_snd_msg, not A_I_snd_msg
- Issue#1RandallYe2024-08-01 10:29This should be LA_I_snd_msg, not A_I_snd_msg
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.