This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
active 2023-12-19 → 2024-05-31 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 165 days from 2023-12-19 to 2024-05-31. Pushes: 99 total, peak 29 in a day. Pull requests: 15 total, peak 14 in a day. Issues: 0 total, peak 0 in a day. Comments: 2 total, peak 1 in a day. Stars: 12 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 |
|---|---|---|---|---|
| ElNiak | 92 | 85 | 6 | 1 |
| dependabot[bot] | 24 | 14 | 9 | 1 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 12 stars here means stars gained during the window, not the repo's star count.