Code

Setup checker framework#810

Code

Draft

gjoseph wants to merge 4 commits intomaingjoseph/Tichu:mainfrom setup-checker-frameworkgjoseph/Tichu:setup-checker-frameworkCopy head branch name to clipboard

+103-67

Commits

Commits on Dec 10, 2024

• Setting up checkerframework

  Show description for 8b8987a
  

  Gregory Joseph

  committed
  8b8987a

• model: UserId is now a record class

  

  Gregory Joseph

  committed
  85838a7

• Some @nullable and @UnderInitialization annotations for checkerframework

  

  Gregory Joseph

  committed
  ff7c90d

• Random nit: formatting for Straight#describe

  

  Gregory Joseph

  committed
  dd96b9e