Code

synthesis README#263

Code

Open

ShiriMoran wants to merge 41 commits intomainnp-guard/vmware-analyzer:mainfrom 196_READMEnp-guard/vmware-analyzer:196_READMECopy head branch name to clipboard

+597-227

Commits

Commits on Feb 20, 2025

• synthesis README

  ShiriMoran

  committed
  cf9e479

  Copy full SHA for cf9e479

Commits on Feb 23, 2025

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  4a8c11b

  Copy full SHA for 4a8c11b

• lint

  ShiriMoran

  committed
  264ad25

  Copy full SHA for 264ad25

• readme writing (cont)

  ShiriMoran

  committed
  61c327a

  Copy full SHA for 61c327a

Commits on Feb 24, 2025

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  9e1b294

  Copy full SHA for 9e1b294

Commits on Feb 25, 2025

• Update README_Synthesis.md

  Show description for eee4822
  

  ShiriMoran

  and

  adisos

  authored
  eee4822

  Copy full SHA for eee4822

• Update README_Synthesis.md

  Show description for 4182a89
  

  ShiriMoran

  and

  adisos

  authored
  4182a89

  Copy full SHA for 4182a89

• Update README_Synthesis.md

  Show description for 11d0975
  

  ShiriMoran

  and

  adisos

  authored
  11d0975

  Copy full SHA for 11d0975

• Update README_Synthesis.md

  Show description for d7c7447
  

  ShiriMoran

  and

  adisos

  authored
  d7c7447

  Copy full SHA for d7c7447

• Update README_Synthesis.md

  Show description for f051961
  

  ShiriMoran

  and

  adisos

  authored
  f051961

  Copy full SHA for f051961

• Update README_Synthesis.md

  Show description for cea0a22
  

  ShiriMoran

  and

  adisos

  authored
  cea0a22

  Copy full SHA for cea0a22

• CR

  ShiriMoran

  committed
  1527f11

  Copy full SHA for 1527f11

• Merge remote-tracking branch 'origin/196_README' into 196_README

  ShiriMoran

  committed
  72a36ca

  Copy full SHA for 72a36ca

Commits on Feb 26, 2025

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  60d362c

  Copy full SHA for 60d362c

• CR: use aa instead of _aa_

  ShiriMoran

  committed
  cbf73ce

  Copy full SHA for cbf73ce

• Merge remote-tracking branch 'origin/196_README' into 196_README

  ShiriMoran

  committed
  3ba35a8

  Copy full SHA for 3ba35a8

• Update README_Synthesis.md

  Show description for baa91e7
  

  ShiriMoran

  and

  adisos

  authored
  baa91e7

  Copy full SHA for baa91e7

• CR

  ShiriMoran

  committed
  331f676

  Copy full SHA for 331f676

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  659ae8c

  Copy full SHA for 659ae8c

• typo

  ShiriMoran

  committed
  7821a75

  Copy full SHA for 7821a75

• Update README_Synthesis.md

  Show description for e4f2fe3
  

  ShiriMoran

  and

  adisos

  authored
  e4f2fe3

  Copy full SHA for e4f2fe3

• readme

  ShiriMoran

  committed
  7494ae1

  Copy full SHA for 7494ae1

• term not defined

  ShiriMoran

  committed
  9397633

  Copy full SHA for 9397633

• CR: breaking and clarifying too long sentence

  ShiriMoran

  committed
  ffed435

  Copy full SHA for ffed435

• add example for supported and not supported expression

  ShiriMoran

  committed
  8c8546a

  Copy full SHA for 8c8546a

Commits on Feb 27, 2025

• hints example with hints

  ShiriMoran

  committed
  addf52c

  Copy full SHA for addf52c

• renamed to standard

  ShiriMoran

  committed
  355a44d

  Copy full SHA for 355a44d

• added text regarding hints

  ShiriMoran

  committed
  a25b853

  Copy full SHA for a25b853

• CR: added hints examples

  ShiriMoran

  committed
  fe038b8

  Copy full SHA for fe038b8

• CR: added admin policies examples

  ShiriMoran

  committed
  c542f5d

  Copy full SHA for c542f5d

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  26ef5fd

  Copy full SHA for 26ef5fd

Commits on Mar 2, 2025

• added labeling mechanism

  ShiriMoran

  committed
  8afc600

  Copy full SHA for 8afc600

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  f61e71a

  Copy full SHA for f61e71a

• Merge branch 'main' into 196_README

  ShiriMoran

  committed
  91b636b

  Copy full SHA for 91b636b

• Merge remote-tracking branch 'origin/196_README' into 196_README

  ShiriMoran

  committed
  64a450f

  Copy full SHA for 64a450f

• update package location

  ShiriMoran

  committed
  c4ca1d2

  Copy full SHA for c4ca1d2

Commits on Mar 3, 2025

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  fdb3a22

  Copy full SHA for fdb3a22

• fixing headers level

  ShiriMoran

  committed
  3a5bb40

  Copy full SHA for 3a5bb40

Commits on Mar 5, 2025

• Merge branch 'main' into 196_README

  ShiriMoran

  committed
  1820cb8

  Copy full SHA for 1820cb8

• lint

  ShiriMoran

  committed
  0a5deec

  Copy full SHA for 0a5deec

Commits on Mar 6, 2025

• Merge branch 'main' into 196_README

  ShiriMoran

  authored
  6a375cb

  Copy full SHA for 6a375cb