Skip to content

forge: check — weave the ADTs reachable through woven spec fns, and name harnesses after what they check (closes #92) - #95

Merged
dollspace-gay merged 2 commits into
mainfrom
fix/multi-adt-subprogram-adt-weave-92
Jul 29, 2026
Merged

forge: check — weave the ADTs reachable through woven spec fns, and name harnesses after what they check (closes #92)#95
dollspace-gay merged 2 commits into
mainfrom
fix/multi-adt-subprogram-adt-weave-92

forge: check — name a verus harness after the item it checks (#92)

70b4c5b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar