Code

nACL optimization - fix cmd#230

Code

Closed

YairSlobodin1 wants to merge 122 commits intomainnp-guard/vpc-network-config-synthesis:mainfrom flagsnp-guard/vpc-network-config-synthesis:flagsCopy head branch name to clipboard

+12,796-725

Commits

Commits on Aug 5, 2024

• updated subcmds

  YairSlobodin1

  committed
  8ae3193

• readme

  YairSlobodin1

  committed
  2187816

Commits on Aug 6, 2024

• Merge branch 'main' into first_step_optimization

  YairSlobodin1

  authored
  13ae9a2

• generic

  YairSlobodin1

  committed
  851e02c

• merge

  YairSlobodin1

  committed
  210ddcc

Commits on Aug 12, 2024

• Merge branch 'main' into use_models

  YairSlobodin1

  authored
  20ffe15

Commits on Aug 18, 2024

• updated

  YairSlobodin1

  committed
  4aeaef5

Commits on Aug 21, 2024

• Merge branch 'main' into use_models

  YairSlobodin1

  committed
  9a4f06d

Commits on Aug 26, 2024

• use ipblock size

  YairSlobodin1

  committed
  cec430e

• minor changes

  YairSlobodin1

  committed
  b8ee61b

• template

  YairSlobodin1

  committed
  c117941

• fixed

  YairSlobodin1

  committed
  7e70c95

• minor change

  YairSlobodin1

  committed
  19123f9

• another change

  YairSlobodin1

  committed
  067edfe

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  20ab99f

• added synth prefix

  YairSlobodin1

  committed
  2b7f244

• unexported two functions

  YairSlobodin1

  committed
  8203f78

• wip

  YairSlobodin1

  committed
  5fbeefc

• rename folder name

  YairSlobodin1

  committed
  19c5483

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  b228063

• Merge branch 'read_sgs' into output

  YairSlobodin1

  committed
  ebe6148

• renaming

  YairSlobodin1

  committed
  74737e7

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  d17ce6d

• Merge branch 'read_sgs' into output

  YairSlobodin1

  committed
  32f3104

• updated

  YairSlobodin1

  committed
  02030ac

• updated template

  YairSlobodin1

  committed
  4fb97b4

• merge

  YairSlobodin1

  committed
  47fe8bb

• Merge branch 'read_sgs' into output

  YairSlobodin1

  committed
  1371e59

• wip

  YairSlobodin1

  committed
  0c9cfe2

Commits on Aug 27, 2024

• template

  YairSlobodin1

  committed
  eebd628

Commits on Aug 28, 2024

• done

  YairSlobodin1

  committed
  26473b3

Commits on Sep 1, 2024

• fixed

  YairSlobodin1

  committed
  010ee9d

Commits on Sep 2, 2024

• fixed

  YairSlobodin1

  committed
  524956c

• use ToIPAddressString

  YairSlobodin1

  committed
  02231d3

• Merge branch 'use_models' into optimize

  YairSlobodin1

  committed
  150f697

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  a005a82

• Merge branch 'read_sgs' into output

  YairSlobodin1

  committed
  9692f06

• Merge branch 'output' into tcp_algo

  YairSlobodin1

  committed
  002a952

• wip

  YairSlobodin1

  committed
  aabe195

Commits on Sep 3, 2024

• wip

  YairSlobodin1

  committed
  b163645

Commits on Sep 8, 2024

• wip

  YairSlobodin1

  committed
  1e9a621

• wip

  YairSlobodin1

  committed
  c4f9ed4

• check protocol is not nil

  YairSlobodin1

  committed
  820a023

• Merge branch 'use_models' into optimize

  YairSlobodin1

  committed
  2916159

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  a683181

• Merge branch 'read_sgs' into output

  YairSlobodin1

  committed
  77a3fe0

• Merge branch 'output' into all_algo

  YairSlobodin1

  committed
  e3fb24b

Commits on Sep 9, 2024

• inbound udp

  YairSlobodin1

  committed
  9286689

Commits on Sep 11, 2024

• lint

  YairSlobodin1

  committed
  a7f68f5

• make mod

  YairSlobodin1

  committed
  d25bf9c

• merge wip

  YairSlobodin1

  committed
  87180ef

• update

  YairSlobodin1

  committed
  dc400bf

• wip

  YairSlobodin1

  committed
  8e5cb2d

Commits on Sep 12, 2024

• wip

  YairSlobodin1

  committed
  a861722

• fixed

  YairSlobodin1

  committed
  40c3a52

• merged

  YairSlobodin1

  committed
  4af3f7a

• fixed

  YairSlobodin1

  committed
  380c62e

• fixed

  YairSlobodin1

  committed
  c22aad0

• fixed

  YairSlobodin1

  committed
  81f6194

• fixed

  YairSlobodin1

  committed
  197ed31

• merge

  YairSlobodin1

  committed
  3ab9859

• wip

  YairSlobodin1

  committed
  9078e5c

• wip

  YairSlobodin1

  committed
  dfb8a7d

• implement ip functions

  YairSlobodin1

  committed
  8895149

• all protocol rule covers the holes

  YairSlobodin1

  committed
  c8fe2d7

Commits on Sep 24, 2024

• wip

  YairSlobodin1

  committed
  0a0decd

• wip

  YairSlobodin1

  committed
  cf119cc

• documentation

  YairSlobodin1

  committed
  a51e158

Commits on Sep 25, 2024

• merge main

  YairSlobodin1

  committed
  bd2acb8

• merge

  YairSlobodin1

  committed
  67f320b

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  f93c27c

• fixed

  YairSlobodin1

  committed
  6be5ee0

• wip

  YairSlobodin1

  committed
  2f9991a

• wip

  YairSlobodin1

  committed
  bf9438f

• wip

  YairSlobodin1

  committed
  e3d4668

• wip

  YairSlobodin1

  committed
  ebb4b3b

• fixed

  YairSlobodin1

  committed
  f34b9b7

• Merge branch 'main' into optimize

  YairSlobodin1

  committed
  3d120cc

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  f228c0b

• Merge branch 'read_sgs' into output

  YairSlobodin1

  committed
  d3c7703

• merge

  YairSlobodin1

  committed
  b2b0b99

Commits on Sep 29, 2024

• Merge branch 'main' into optimize

  YairSlobodin1

  committed
  09528ae

• Merge branch 'optimize' into read_sgs

  YairSlobodin1

  committed
  5001289

• merge

  YairSlobodin1

  committed
  a89e1fe

• Merge branch 'output' into all_algo

  YairSlobodin1

  committed
  16764ca

Commits on Sep 30, 2024

• avoid code dup

  YairSlobodin1

  committed
  ca64cee

• fixed

  YairSlobodin1

  committed
  49f4a47

• fix output fmts

  YairSlobodin1

  committed
  766f737

• Merge branch 'output' into all_algo

  YairSlobodin1

  committed
  d326453

• tests template

  YairSlobodin1

  committed
  e6bb1b3

• tests data

  YairSlobodin1

  committed
  34410ed

• wip

  YairSlobodin1

  committed
  28a55ec

Commits on Oct 1, 2024

• Read sgs (#192)

  YairSlobodin1

  authored
  4919d00

• Merge branch 'main' into optimize

  YairSlobodin1

  committed
  0fa5920

• merge

  YairSlobodin1

  committed
  3145c59

• Merge branch 'output' into all_algo

  YairSlobodin1

  committed
  cd621ce

• wip

  YairSlobodin1

  committed
  2de0e77

Commits on Oct 2, 2024

• Optimize output and flags (#193)

  YairSlobodin1

  authored
  02cae44

• wip

  YairSlobodin1

  committed
  b496279

Commits on Oct 7, 2024

• Merge branch 'main' into optimize

  YairSlobodin1

  committed
  6fcb85f

• Merge branch 'optimize' into all_algo

  YairSlobodin1

  committed
  bca5f6f

• fix merging

  YairSlobodin1

  committed
  11effb7

Commits on Oct 8, 2024

• models new version, cubes, wip

  YairSlobodin1

  committed
  2bb0719

Commits on Oct 9, 2024

• portset

  YairSlobodin1

  committed
  fadb26b

• convert ip cubes, generic ipCubeToRule

  YairSlobodin1

  committed
  3cdadc6

• delete test

  YairSlobodin1

  committed
  69ca412

• make fmt

  YairSlobodin1

  committed
  c2512d9

• remove utils func

  YairSlobodin1

  committed
  28c3a3b

• models v0.5.1

  YairSlobodin1

  committed
  9cd8663

• fixed

  YairSlobodin1

  committed
  da1c7d2

• another test, fixed icmp bug

  YairSlobodin1

  committed
  4f54945

Commits on Oct 20, 2024

• small fixes

  YairSlobodin1

  committed
  fe6f4e3

• fixed

  YairSlobodin1

  committed
  2f08925

• added isSynth argument

  YairSlobodin1

  committed
  fb59982

• read sg targets, rename attached to targets

  YairSlobodin1

  committed
  27bbf91

• tf comment, read targets

  YairSlobodin1

  committed
  40e87d3

Commits on Oct 21, 2024

• fixed

  YairSlobodin1

  committed
  5616f9e

• added a test

  YairSlobodin1

  committed
  93f805c

Commits on Oct 22, 2024

• fixed

  YairSlobodin1

  committed
  3ec4c70

Commits on Oct 29, 2024

• read acls

  YairSlobodin1

  committed
  5ed0542

• fixed flags

  YairSlobodin1

  committed
  0372fb5

• typo

  YairSlobodin1

  committed
  7066232