Code

impl Debug/Default for Tracked#1450

Code

Open

ziqiaozhou wants to merge 2 commits intoverus-lang:mainverus-lang/verus:mainfrom ziqiaozhou:default-debug-trackedziqiaozhou/verus:default-debug-trackedCopy head branch name to clipboard

+6

Commits

Commits on Feb 15, 2025

• impl Debug/Default for Tracked

  Show description for 21dc279
  ziqiaozhou

  committed
  21dc279

  Copy full SHA for 21dc279

Commits on Feb 18, 2025

• remove default

  ziqiaozhou

  committed
  e98c2a2

  Copy full SHA for e98c2a2