Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Z3Prover/FirewallChecker issues and pull requests
#15 - Add tutorial with how-to integrate with other firewalls implementations
Issue -
State: open - Opened by ligurio almost 3 years ago
- 3 comments
#14 - Upgraded to .NET 5.0, upgraded Microsoft.Z3 package
Pull Request -
State: closed - Opened by ahelwer almost 3 years ago
- 1 comment
#13 - Upgraded nuget packages and added CI/CD workflow
Pull Request -
State: closed - Opened by ahelwer almost 4 years ago
- 1 comment
#12 - Updated nuget packages and added CI/CD workflow
Pull Request -
State: closed - Opened by ahelwer almost 4 years ago
#11 - Upgraded nuget packages
Pull Request -
State: closed - Opened by ahelwer almost 4 years ago
#10 - Upgraded to dotnet core 3.1 and z3 4.8.8
Pull Request -
State: closed - Opened by ahelwer over 4 years ago
#9 - Upgraded Z3 package, changed blog post link
Pull Request -
State: closed - Opened by ahelwer almost 5 years ago
#8 - Error parsing Internet and Intranet Predefined set of computers
Issue -
State: open - Opened by filippobottega almost 5 years ago
- 4 comments
#7 - Firewall rules in Italian language
Issue -
State: open - Opened by filippobottega almost 5 years ago
- 5 comments
#6 - Upgraded to .NET Core 3.0
Pull Request -
State: closed - Opened by ahelwer about 5 years ago
#5 - Upgraded Z3 package to 4.8.6
Pull Request -
State: closed - Opened by ahelwer about 5 years ago
#4 - Specified x64 PlatformTarget, upgraded Z3 NuGet package
Pull Request -
State: closed - Opened by ahelwer over 5 years ago
#3 - Upgraded to .NET Core
Pull Request -
State: closed - Opened by ahelwer over 5 years ago
#2 - Upgraded to Z3 4.8.1, use Z3 NuGet package
Pull Request -
State: closed - Opened by ahelwer almost 6 years ago
#1 - Release the FirewallChecker code as open source
Pull Request -
State: closed - Opened by ahelwer almost 6 years ago