issues
search
Z3Prover
/
FirewallChecker
A self-contained firewall checker
MIT License
101
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add tutorial with how-to integrate with other firewalls implementations
#15
ligurio
opened
3 years ago
3
Upgraded to .NET 5.0, upgraded Microsoft.Z3 package
#14
ahelwer
closed
3 years ago
1
Upgraded nuget packages and added CI/CD workflow
#13
ahelwer
closed
4 years ago
1
Updated nuget packages and added CI/CD workflow
#12
ahelwer
closed
4 years ago
0
Upgraded nuget packages
#11
ahelwer
closed
4 years ago
0
Upgraded to dotnet core 3.1 and z3 4.8.8
#10
ahelwer
closed
4 years ago
0
Upgraded Z3 package, changed blog post link
#9
ahelwer
closed
4 years ago
0
Error parsing Internet and Intranet Predefined set of computers
#8
filippobottega
opened
5 years ago
4
Firewall rules in Italian language
#7
filippobottega
opened
5 years ago
5
Upgraded to .NET Core 3.0
#6
ahelwer
closed
5 years ago
0
Upgraded Z3 package to 4.8.6
#5
ahelwer
closed
5 years ago
0
Specified x64 PlatformTarget, upgraded Z3 NuGet package
#4
ahelwer
closed
5 years ago
0
Upgraded to .NET Core
#3
ahelwer
closed
5 years ago
0
Upgraded to Z3 4.8.1, use Z3 NuGet package
#2
ahelwer
closed
5 years ago
0
Release the FirewallChecker code as open source
#1
ahelwer
closed
6 years ago
0