Code

Call precondition checking#39

Code

Merged

anhnamtran merged 4 commits intomasterCozySynthesizer/cozy:masterfrom call-checkingCozySynthesizer/cozy:call-checkingCopy head branch name to clipboardJul 3, 2018

+32-20

Commits

Commits on Jul 2, 2018

• Recursively inline calls

  Calvin-L

  committed
  0a7337a

  Copy full SHA for 0a7337a

• Removed duplicated call inlining code

  Calvin-L

  committed
  4270d75

  Copy full SHA for 4270d75

• Check call preconditions before inlining

  Show description for b61a116
  Calvin-L

  committed
  b61a116

  Copy full SHA for b61a116

• Reworded a confusing message

  Calvin-L

  committed
  880aa37

  Copy full SHA for 880aa37