Skip to content

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

Draft
ChrisRackauckas-Claude wants to merge 2 commits into
JuliaDiff:masterfrom
ChrisRackauckas-Claude:containment-tag-ordering
Draft

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

Order nested tags by provable containment instead of depth

0abbee0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Documentation
succeeded Jul 3, 2026 in 57s