Code

WIP: Choice-else branch support#232

Code

Closed

arminzavada wants to merge 4 commits intoftsrg:masterftsrg/theta:masterfrom arminzavada:masterarminzavada/theta:masterCopy head branch name to clipboard

+679-57

Commits

Commits on Oct 28, 2023

• Added else branch to the choice statement

  arminzavada

  committed
  3949f7e

  Copy full SHA for 3949f7e

• Added else processing to stmt simplifier

  arminzavada

  committed
  cc859f4

  Copy full SHA for cc859f4

• Added else processing to stmt transformer

  arminzavada

  committed
  7ecd628

  Copy full SHA for 7ecd628

• Added else tests

  arminzavada

  committed
  524052d

  Copy full SHA for 524052d