add verification exercise (b1e30dc2) · Commits · nsg / Public / Adv-net-2024-Exercises · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

A

Adv-net-2024-Exercises
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

Admin message

To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch

b1e30dc2

Commit b1e30dc2 authored 5 months ago by sctibor

Downloads
- Patches
- Plain Diff

add verification exercise

parent c539744b

Loading

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

4-Verification/.gitignore 1 addition, 0 deletions

4-Verification/.gitignore
4-Verification/README.md 182 additions, 0 deletions

4-Verification/README.md
4-Verification/__init__.py 0 additions, 0 deletions

4-Verification/__init__.py
4-Verification/network.py 249 additions, 0 deletions

4-Verification/network.py
4-Verification/route_map.py 127 additions, 0 deletions

4-Verification/route_map.py
4-Verification/routing_semantics.py 145 additions, 0 deletions

4-Verification/routing_semantics.py
4-Verification/routing_state.py 263 additions, 0 deletions

4-Verification/routing_state.py
4-Verification/verification.py 78 additions, 0 deletions

4-Verification/verification.py

with 1045 additions and 0 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment