Code

implied properties#430

Code

Merged

milesstoetzner merged 21 commits intomainOpenTOSCA/opentosca-vintner:mainfrom align-with-paperOpenTOSCA/opentosca-vintner:align-with-paperCopy head branch name to clipboardNov 9, 2024

+993-321

Commits

Commits on Nov 5, 2024

• implied properties

  milesstoetzner

  committed
  72ba48c

  Copy full SHA for 72ba48c

• minor

  milesstoetzner

  committed
  e353526

  Copy full SHA for e353526

Commits on Nov 6, 2024

• minor

  milesstoetzner

  committed
  9999114

  Copy full SHA for 9999114

• property constraint

  milesstoetzner

  committed
  85eb34b

  Copy full SHA for 85eb34b

• hotfix

  milesstoetzner

  committed
  5c667d3

  Copy full SHA for 5c667d3

• clean VINTNER_UNDEFINED

  milesstoetzner

  committed
  483589c

  Copy full SHA for 483589c

• minor

  milesstoetzner

  committed
  8b5021b

  Copy full SHA for 8b5021b

• minor

  milesstoetzner

  committed
  fdaf86e

  Copy full SHA for fdaf86e

• Merge branch 'main' into align-with-paper

  milesstoetzner

  committed
  209539f

  Copy full SHA for 209539f

• always prune undefined default alternative

  milesstoetzner

  committed
  69f88d2

  Copy full SHA for 69f88d2

• fix

  milesstoetzner

  committed
  ed4d484

  Copy full SHA for ed4d484

• minor

  milesstoetzner

  committed
  2fc8d0e

  Copy full SHA for 2fc8d0e

• merge

  milesstoetzner

  committed
  8a564c6

  Copy full SHA for 8a564c6

Commits on Nov 7, 2024

• fixing consuming property always consuming its container

  milesstoetzner

  committed
  fa56c0f

  Copy full SHA for fa56c0f

• broken

  milesstoetzner

  committed
  fdd9d16

  Copy full SHA for fdd9d16

• minor

  milesstoetzner

  committed
  70c3a16

  Copy full SHA for 70c3a16

• twerking

  milesstoetzner

  committed
  10e60b1

  Copy full SHA for 10e60b1

Commits on Nov 8, 2024

• property default condition mode

  milesstoetzner

  committed
  7ac0f60

  Copy full SHA for 7ac0f60

• minor

  milesstoetzner

  committed
  599ed51

  Copy full SHA for 599ed51

• rework

  milesstoetzner

  committed
  452eff0

  Copy full SHA for 452eff0

Commits on Nov 9, 2024

• tests

  milesstoetzner

  committed
  2f36408

  Copy full SHA for 2f36408