np-guard/vmware-analyzer issues and pull requests

#202 - Reorg testings

Pull Request - State: open - Opened by haim-kermany 10 days ago
Labels: size/L

#202 - Reorg testings

Pull Request - State: open - Opened by haim-kermany 10 days ago
Labels: size/L

#201 - 67 path string

Pull Request - State: closed - Opened by ShiriMoran 10 days ago
Labels: size/XL

#201 - 67 path string

Pull Request - State: closed - Opened by ShiriMoran 10 days ago
Labels: size/XL

#200 - In synthesis abstract model: add effective rules

Issue - State: open - Opened by ShiriMoran 11 days ago

#200 - In synthesis abstract model: add effective rules

Issue - State: open - Opened by ShiriMoran 11 days ago

#199 - 174 different id examples

Pull Request - State: closed - Opened by ShiriMoran 11 days ago
Labels: size/L

#199 - 174 different id examples

Pull Request - State: closed - Opened by ShiriMoran 11 days ago
Labels: size/L

#198 - Create groups from tags

Pull Request - State: closed - Opened by haim-kermany 11 days ago - 2 comments
Labels: size/M

#197 - In sythesis: add tag-based labels to VMs

Issue - State: closed - Opened by ShiriMoran 11 days ago - 1 comment
Labels: v0.1

#197 - In sythesis: add tag-based labels to VMs

Issue - State: closed - Opened by ShiriMoran 11 days ago - 1 comment
Labels: v0.1

#196 - README for synthesis

Issue - State: open - Opened by ShiriMoran 11 days ago
Labels: v0.1

#196 - README for synthesis

Issue - State: open - Opened by ShiriMoran 11 days ago
Labels: v0.1

#195 - added document

Pull Request - State: closed - Opened by ShiriMoran 11 days ago
Labels: size/XS

#195 - added document

Pull Request - State: closed - Opened by ShiriMoran 11 days ago
Labels: size/XS

#194 - extend OutputParameters to allow configuring log file

Issue - State: open - Opened by haim-kermany 11 days ago

#194 - extend OutputParameters to allow configuring log file

Issue - State: open - Opened by haim-kermany 11 days ago

#193 - 183 remove subset optimization bug

Pull Request - State: closed - Opened by ShiriMoran 11 days ago
Labels: size/M

#193 - 183 remove subset optimization bug

Pull Request - State: closed - Opened by ShiriMoran 11 days ago
Labels: size/M

#192 - create groups from tags

Issue - State: closed - Opened by haim-kermany 12 days ago - 1 comment
Labels: v0.1

#192 - create groups from tags

Issue - State: closed - Opened by haim-kermany 12 days ago - 1 comment
Labels: v0.1

#191 - Optimize abstract rules also in the global scope

Issue - State: open - Opened by ShiriMoran 13 days ago
Labels: v0.1

#191 - Optimize abstract rules also in the global scope

Issue - State: open - Opened by ShiriMoran 13 days ago
Labels: v0.1

#190 - finalize expr based tests

Issue - State: open - Opened by ShiriMoran 13 days ago
Labels: testing, v0.1

#190 - finalize expr based tests

Issue - State: open - Opened by ShiriMoran 13 days ago
Labels: testing, v0.1

#189 - synthesis - support tag expressions

Pull Request - State: closed - Opened by ShiriMoran 13 days ago - 1 comment
Labels: size/XXL

#189 - synthesis - support tag expressions

Pull Request - State: closed - Opened by ShiriMoran 13 days ago - 1 comment
Labels: size/XXL

#188 - add example

Pull Request - State: closed - Opened by adisos 13 days ago
Labels: size/XXL

#188 - add example

Pull Request - State: closed - Opened by adisos 13 days ago
Labels: size/XXL

#187 - synthesis should be based on original rules and not on effective rules

Issue - State: open - Opened by haim-kermany 13 days ago - 1 comment
Labels: v0.1

#187 - synthesis should be based on original rules and not on effective rules

Issue - State: open - Opened by haim-kermany 13 days ago - 1 comment
Labels: v0.1

#186 - 1. compact vm slices 2. store configuration str for test

Pull Request - State: closed - Opened by haim-kermany 13 days ago
Labels: size/M

#186 - 1. compact vm slices 2. store configuration str for test

Pull Request - State: closed - Opened by haim-kermany 13 days ago
Labels: size/M

#185 - convert connections to nsx services entries

Pull Request - State: closed - Opened by haim-kermany 13 days ago
Labels: size/L

#185 - convert connections to nsx services entries

Pull Request - State: closed - Opened by haim-kermany 13 days ago
Labels: size/L

#184 - please fix rules IDs in examples in which there are two rules with the same ID

Issue - State: closed - Opened by haim-kermany 14 days ago

#184 - please fix rules IDs in examples in which there are two rules with the same ID

Issue - State: closed - Opened by haim-kermany 14 days ago

#183 - abstract rule does not follow efective rules

Issue - State: closed - Opened by haim-kermany 14 days ago - 2 comments
Labels: bug