Code

read nACLs#229

Code

Open

YairSlobodin1 wants to merge 237 commits intomainnp-guard/vpc-network-config-synthesis:mainfrom read_naclsnp-guard/vpc-network-config-synthesis:read_naclsCopy head branch name to clipboard

+144-10

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

• fixed

  YairSlobodin1

  committed
  5f3d0d9

• merge

  YairSlobodin1

  committed
  af1c12c

Commits on Oct 10, 2024

• wip

  YairSlobodin1

  committed
  68f23ed

Commits on Oct 13, 2024

• lookup functions

  YairSlobodin1

  committed
  38f9fa5

Commits on Oct 14, 2024

• better lookup

  YairSlobodin1

  committed
  c565d25

• lookup, blocked

  YairSlobodin1

  committed
  4ba19c2

• fix bugs, linter, update old tests

  YairSlobodin1

  committed
  cd94ff0

• readme

  YairSlobodin1

  committed
  e763b72

• rename acl_segment test

  YairSlobodin1

  committed
  d6fa8c3

• generic synth acl func

  YairSlobodin1

  committed
  4894fa8

• merged

  YairSlobodin1

  committed
  68503df

• added instance nif segment test (acl)

  YairSlobodin1

  committed
  dc92129

• added vpe acl test

  YairSlobodin1

  committed
  e40861d

• merge test configs

  YairSlobodin1

  committed
  6fa8417

• added sg segment tests

  YairSlobodin1

  committed
  e34acb0

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 28, 2024

• small fix

  YairSlobodin1

  committed
  737b803

• small fix

  YairSlobodin1

  committed
  799cd73

• rename1

  YairSlobodin1

  committed
  6407b27

• rename2

  YairSlobodin1

  committed
  a9cb5ac

• rename3

  YairSlobodin1

  committed
  f4bca3b

• Merge branch 'main' into update_conn

  YairSlobodin1

  committed
  c3fbb1a

Commits on Oct 29, 2024

• read acls

  YairSlobodin1

  committed
  5ed0542

• renaming

  YairSlobodin1

  committed
  9fbc33f

• >=

  YairSlobodin1

  committed
  2eb5a5c

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  068a2eb

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  4c976b9

• review comments

  YairSlobodin1

  committed
  7a62bc3

Commits on Oct 30, 2024

• merge

  YairSlobodin1

  committed
  61c623d

• merge

  YairSlobodin1

  committed
  510d6e9

• Merge branch 'all_algo' into io

  YairSlobodin1

  committed
  082a014

• Merge branch 'io' into read_targets

  YairSlobodin1

  committed
  f2a2746

• update tests

  YairSlobodin1

  committed
  aca7e73

• merge

  YairSlobodin1

  committed
  0815a19

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  2ae3434

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  4e97ab2

Commits on Nov 4, 2024

• check vpc

  YairSlobodin1

  committed
  51d04a2

• typo

  YairSlobodin1

  committed
  191c996

Commits on Nov 5, 2024

• small fix

  YairSlobodin1

  committed
  a72b4b7

Commits on Dec 9, 2024

• merge

  YairSlobodin1

  committed
  7b37e1c

• small fixed

  YairSlobodin1

  committed
  ecbb4aa

• merge

  YairSlobodin1

  committed
  0891b84

• minor fixes

  YairSlobodin1

  committed
  75a7f7d

• renaming, docs

  YairSlobodin1

  committed
  43dbf82

• docs

  YairSlobodin1

  committed
  0dbae7e

Commits on Dec 10, 2024

• Merge branch 'all_algo' into io

  YairSlobodin1

  committed
  cccbb3b

• reorder tf functions

  YairSlobodin1

  committed
  1b2861f

• merge

  YairSlobodin1

  committed
  8dc0f73

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  46d997a

• merge

  YairSlobodin1

  committed
  e65e64d

• renaming

  YairSlobodin1

  committed
  f39fe6e

• errors.Join

  YairSlobodin1

  committed
  aa83ea8

• merge

  YairSlobodin1

  committed
  93c8f62

• Merge branch 'all_algo' into io

  YairSlobodin1

  committed
  0fee3f2

• Merge branch 'io' into json_optimize

  YairSlobodin1

  committed
  83e0cf3

• merge

  YairSlobodin1

  committed
  c18405f

• merge

  YairSlobodin1

  committed
  37b62d3

• renaming

  YairSlobodin1

  committed
  4a50688

• minor changes

  YairSlobodin1

  committed
  5009f25

• Merge branch 'main' into optimize

  YairSlobodin1

  committed
  e6dbbf4

• Merge branch 'optimize' into all_algo

  YairSlobodin1

  committed
  83e4fcc

Commits on Dec 11, 2024

• any protocol replaces other protocols ip cubes

  YairSlobodin1

  committed
  5538d7e

• upgrade models version

  YairSlobodin1

  committed
  298bc6f

• typos, models

  YairSlobodin1

  committed
  c6452e4

Commits on Dec 12, 2024

• Merge branch 'all_algo' into io

  YairSlobodin1

  committed
  5fb919d

• Merge branch 'io' into read_targets

  YairSlobodin1

  committed
  be2be9f

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  2d89a98

• merge

  YairSlobodin1

  committed
  51f5656

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  c4afdec

• update test

  YairSlobodin1

  committed
  b236fad

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  b5cb012

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  0f524f7

Commits on Dec 17, 2024

• wip

  YairSlobodin1

  committed
  22d30f2

• typo

  YairSlobodin1

  committed
  1fa6162

• update test

  YairSlobodin1

  committed
  6689967

• -d optimization

  YairSlobodin1

  committed
  f1e93a4

• Merge branch 'optimize' into all_algo

  YairSlobodin1

  committed
  547aa14

• readme

  YairSlobodin1

  committed
  bc8133f

• Merge branch 'optimize' into all_algo

  YairSlobodin1

  committed
  67b5b8f

• Merge branch 'all_algo' into io

  YairSlobodin1

  committed
  ef10781

• Merge branch 'io' into read_targets

  YairSlobodin1

  committed
  640cd43

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  534ea00

• merge

  YairSlobodin1

  committed
  7148e69

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  b0e56fc

• minor change

  YairSlobodin1

  committed
  d5edbe4

Commits on Dec 18, 2024

• merge

  YairSlobodin1

  committed
  e3f7951

• make fmt

  YairSlobodin1

  committed
  abad158

• slices.Concat

  YairSlobodin1

  committed
  4ac6d7a

• Merge branch 'io' into read_targets

  YairSlobodin1

  committed
  2b9e3e9

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  f4a024e

• merge

  YairSlobodin1

  committed
  ce4e525

• minor changes

  YairSlobodin1

  committed
  97def7a

• munir changes

  YairSlobodin1

  committed
  9cef23a

• Merge branch 'io' into read_targets

  YairSlobodin1

  committed
  ae60403

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  9cb59e9

• merge

  YairSlobodin1

  committed
  4018372

• minor change

  YairSlobodin1

  committed
  92d379b

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  643b938

• fix

  YairSlobodin1

  committed
  927d85b

• fixed

  YairSlobodin1

  committed
  2f9ec9f

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  a37655b

• fixed

  YairSlobodin1

  committed
  d3b9853

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  b65c15e

• typo

  YairSlobodin1

  committed
  e6f45cd

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  33f51af

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  236b1f9

• another typo

  YairSlobodin1

  committed
  2ddde89

• Merge branch 'read_targets' into json_optimize

  YairSlobodin1

  committed
  908d622

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  fac4549

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  4db910c

• merge

  YairSlobodin1

  committed
  db9a6c2

• merge

  YairSlobodin1

  committed
  6e08c27

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  d3f6506

• Merge branch 'main' into json_optimize

  YairSlobodin1

  authored
  8e76d2e

• Merge branch 'json_optimize' into optimization_locals

  YairSlobodin1

  committed
  eb0c2be

• Merge branch 'optimization_locals' into read_nacls

  YairSlobodin1

  committed
  d70c31f

Commits on Dec 19, 2024

• src ports

  YairSlobodin1

  committed
  9b27578

• merge

  YairSlobodin1

  committed
  73103f1

• Merge branch 'main' into read_nacls

  YairSlobodin1

  committed
  0d4d903