Code

First draft of itypes on prototypes#435

Code

Draft

aaronjeline wants to merge 2 commits intomaincorrectcomputation/checkedc-clang:mainfrom

itypeprotoscorrectcomputation/checkedc-clang:itypeprotosCopy head branch name to clipboard

Commits

Commits on Feb 17, 2021

• First draft of itypes on prototypes

  

  Aaron Eline

  committed
  5c95901

  Copy full SHA for 5c95901

Commits on Feb 18, 2021

• Fixed issue rewriting build in prototypes

  

  Aaron Eline

  committed
  d17fd2d

  Copy full SHA for d17fd2d