Code

Add documentation on type sizes#1188

Code

Open

hayley-leblanc wants to merge 5 commits intoverus-lang:mainverus-lang/verus:mainfrom hayley-leblanc:type_size_docshayley-leblanc/verus:type_size_docsCopy head branch name to clipboard

+74-10

Commits

Commits on Jun 26, 2024

• Add documentation on type sizes

  hayley-leblanc

  committed
  346b69c

  Copy full SHA for 346b69c

• Remove comment, fix some formatting

  hayley-leblanc

  committed
  ca0ed8f

  Copy full SHA for ca0ed8f

• Fix build error in sized.rs examples

  hayley-leblanc

  committed
  27cbcfb

  Copy full SHA for 27cbcfb

• Make sure failing assertion doesn't actually get run

  hayley-leblanc

  committed
  d64c2c5

  Copy full SHA for d64c2c5

Commits on Jun 27, 2024

• Add documentation about global layout directive

  hayley-leblanc

  committed
  5d5e18a

  Copy full SHA for 5d5e18a