Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / NetworkVerification / Timepiece
Modular network control plane verification tool, using temporal invariants to define modular interfaces
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/NetworkVerification%2FTimepiece
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: C#
Repo Size: 3.17 MB
Dependencies:
34
Created: over 2 years ago
Updated: 4 months ago
Last pushed: 4 months ago
Last synced: 4 months ago
Topics: control-plane, modular-verification, temporal-reasoning, verification
Files
Loading...
Readme
Loading...
Dependencies
- IPAddressRange 4.2.0
- Microsoft.NET.Test.Sdk 17.2.0-preview-20220401-08
- ZenLib 3.1.1
- ZenLib.Generators 0.1.3
- xunit 2.4.2-pre.12
- IPAddressRange 4.2.0
- Newtonsoft.Json 13.0.1
- QuikGraph 2.3.0
- System.CommandLine 2.0.0-beta3.22114.1
- ZenLib 3.1.1
- Microsoft.NET.Test.Sdk 17.2.0-preview-20220401-08
- coverlet.collector 3.1.0
- xunit 2.4.2-pre.12
- xunit.runner.visualstudio 2.4.3
- ZenLib 3.1.1
- actions/checkout v3 composite
- actions/setup-dotnet v3 composite
Dockerfile
docker
- build latest build
- mcr.microsoft.com/dotnet/aspnet 7.0 build
- mcr.microsoft.com/dotnet/sdk 7.0 build
- run latest build
- coverlet.collector 6.0.0 development
- Microsoft.NET.Test.Sdk 17.7.2
- xunit 2.5.3
- xunit.runner.visualstudio 2.5.3
- coverlet.collector 6.0.0 development
- Microsoft.NET.Test.Sdk 17.7.2
- Newtonsoft.Json 13.0.3
- xunit 2.5.3
- xunit.runner.visualstudio 2.5.3
- Microsoft.NET.Test.Sdk 17.3.2
- coverlet.collector 6.0.0
- xunit 2.4.2
- xunit.runner.visualstudio 2.4.5