Code

Remove implicit bottom checks#46

Code

Open

zcai1 wants to merge 7 commits intoopprop:masteropprop/universe:masterfrom zcai1:string-conversion-typezcai1/universe:string-conversion-typeCopy head branch name to clipboard

+27-144

Commits

Commits on Mar 24, 2022

• set bottom as the default and upperbound for the same group of types

  zcai1

  committed
  4dec994

  Copy full SHA for 4dec994

• remove custom PropagationTreeAnnotaters, which were used to apply bottom annotations to certain types

  zcai1

  committed
  0bcf82b

  Copy full SHA for 0bcf82b

Commits on Mar 25, 2022

• add UniverseTreeAnnotator back

  zcai1

  committed
  c328988

  Copy full SHA for c328988

• stop using custom bottom type checks

  zcai1

  committed
  edb5789

  Copy full SHA for edb5789

• reformat

  zcai1

  committed
  b596621

  Copy full SHA for b596621

Commits on Jul 7, 2022

• Merge remote-tracking branch 'opprop/master' into string-conversion-type

  zcai1

  committed
  f7aaedd

  Copy full SHA for f7aaedd

Commits on Apr 18, 2024

• Merge branch 'master' into string-conversion-type

  Ao-senXiong

  authored
  88d2af5

  Copy full SHA for 88d2af5