Back to search
Top Contributors
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.
Stars
43
Forks
7
Watchers
43
Open Issues
22
Overall repository health assessment
No package.json found
This might not be a Node.js project
fix: fix 6 output management bugs (report formatting, duplicate events, metrics filter)
705edceView on GitHubfix: fix 6 reporting and observer bugs found via experiment output analysis
c129c71View on GitHubfix: fix 5 reporting bugs producing incorrect experiment output artifacts
7edf4e0View on GitHubMerge PR #101: refactor(webapp): replace NiceCRUD with PydanticForm + dead code removal
aa0f7ecView on GitHubchore: update panther_ivy submodule to production (merged PRs)
c5d13eaView on GitHubMerge pull request #88 from ElNiak/dependabot/pip/pylint-gte-2.17.0-and-lt-5.0
d9cde0cView on GitHubMerge pull request #86 from ElNiak/dependabot/pip/chardet-gte-5.0.0-and-lt-7.0
4211523View on GitHubMerge pull request #85 from ElNiak/dependabot/pip/twine-gte-4.0.0-and-lt-7.0
3b5998fView on GitHubfeat: ivy-lsp workspace auto-detection to reduce indexing noise
07a3ae2View on GitHubchore: update panther_ivy submodule (ivy-lsp quality refactoring)
5d0421eView on GitHubfix: resolve 78 test failures (51 failed + 27 errors) with zero regressions
0f528fcView on GitHubfix: remove duplicate keyword args in observer factory builder functions
a2034acView on GitHubrefactor: remove dead code (results, sequence_diagram, tutorial) and fix cli_click references
136572fView on GitHubfix: address PR review findings — shell safety, dead code, DRY helpers
faae556View on GitHubrefactor: remove unnecessary "Click" references from comments and docstrings
7783ee6View on GitHub