Code

Synthesis pre-processing#93

Code

Closed

ShiriMoran wants to merge 21 commits intomainnp-guard/vmware-analyzer:mainfrom collectGroupsIntoSymbolExprRulesnp-guard/vmware-analyzer:collectGroupsIntoSymbolExprRulesCopy head branch name to clipboard

+398-214

Commits

Commits on Dec 16, 2024

• added source and destination Groups to Rule

  ShiriMoran

  committed
  c519f8e

  Copy full SHA for c519f8e

Commits on Dec 17, 2024

• added source and destination Groups to FwRule

  ShiriMoran

  committed
  89ffc7d

  Copy full SHA for 89ffc7d

• label can be group

  ShiriMoran

  committed
  6f528f6

  Copy full SHA for 6f528f6

• synthesis skeleton

  ShiriMoran

  committed
  167bfe9

  Copy full SHA for 167bfe9

• typo fix

  ShiriMoran

  committed
  24440c2

  Copy full SHA for 24440c2

• synthesis test

  ShiriMoran

  committed
  33039e8

  Copy full SHA for 33039e8

• NewAtomicTerm

  ShiriMoran

  committed
  3214816

  Copy full SHA for 3214816

• renaming

  ShiriMoran

  committed
  439cb1e

  Copy full SHA for 439cb1e

• typo fix

  ShiriMoran

  committed
  f79b9ec

  Copy full SHA for f79b9ec

Commits on Dec 18, 2024

• typo fix

  ShiriMoran

  committed
  44ef571

  Copy full SHA for 44ef571

• 1. Gather the relevant group info into parsedRule

  Show description for ac06b52
  ShiriMoran

  committed
  ac06b52

  Copy full SHA for ac06b52

• added relevant group info to FWRule

  ShiriMoran

  committed
  5f06a8c

  Copy full SHA for 5f06a8c

• Scope added to FWRule

  ShiriMoran

  committed
  ab29c8e

  Copy full SHA for ab29c8e

• Added test printing and exported fields to be used by synthesis

  ShiriMoran

  committed
  57080c7

  Copy full SHA for 57080c7

• update model

  ShiriMoran

  committed
  e17dfd6

  Copy full SHA for e17dfd6

• code for convertFWRuleToSymbolicPaths

  ShiriMoran

  committed
  a583ac2

  Copy full SHA for a583ac2

• print path conversion result

  ShiriMoran

  committed
  7903b88

  Copy full SHA for 7903b88

• gathered the data into the relevant data structure and moved printing to the higher level

  ShiriMoran

  committed
  b58a20d

  Copy full SHA for b58a20d

Commits on Dec 19, 2024

• renaming

  ShiriMoran

  committed
  f44b339

  Copy full SHA for f44b339

• minor reorg

  ShiriMoran

  committed
  a8380bb

  Copy full SHA for a8380bb

• test preProcessing

  ShiriMoran

  committed
  33455b8

  Copy full SHA for 33455b8