Repository navigation

Order nested Dual tags by provable containment (supersedes #807) - #820

Closed

ChrisRackauckas-Claude wants to merge 2 commits into

JuliaDiff:masterfrom

ChrisRackauckas-Claude:containment-tag-ordering

Closed

Order nested Dual tags by provable containment (supersedes #807)#820
ChrisRackauckas-Claude wants to merge 2 commits into
JuliaDiff:masterfrom
ChrisRackauckas-Claude:containment-tag-ordering

Commits on Jul 3, 2026
- Add tagdepth fast path to tag comparison
  ChrisRackauckas
  committed
  340c883
- Order nested tags by provable containment instead of depth
  ChrisRackauckas
  committed
  0abbee0