Code

Wip#4

Code

Merged

alzeha merged 5 commits intomasterEchtzeitsysteme/tchecker:masterfrom wipEchtzeitsysteme/tchecker:wipCopy head branch name to clipboardApr 30, 2024

+296-202

Commits

Commits on Apr 11, 2024

• wip

  alzeha

  committed
  ac7db91

  Copy full SHA for ac7db91

Commits on Apr 14, 2024

• aligning to TR

  alzeha

  committed
  468d980

  Copy full SHA for 468d980

Commits on Apr 25, 2024

• improved readability and counting each alternating seq only once

  alzeha

  committed
  88a56c3

  Copy full SHA for 88a56c3

Commits on Apr 29, 2024

• updated doc

  alzeha

  committed
  4520061

  Copy full SHA for 4520061

Commits on Apr 30, 2024

• wip

  alzeha

  committed
  5db042d

  Copy full SHA for 5db042d