Move connectionset from analyzer

np-guard / models

Models for connectivity and network resources

https://pkg.go.dev/github.com/np-guard/models

Apache License 2.0

1 stars 0 forks source link

Closed elazarg closed 7 months ago

elazarg commented 7 months ago

Temporarily this adds a dependency on the synthesizer. It should be changed soon.

elazarg commented 7 months ago

The CI linter required multiple changes to stateful_test for some reason. The command line linter did not warn about most of them.

elazarg commented 7 months ago

Should also move statefuleness to models?

Done

elazarg commented 7 months ago

Moved some parts from synthesis here, and removed the dependency on the synthesis JSON format.

elazarg commented 7 months ago

Replaced by #10