Heapster: Generate definitions for recursive function frames#1804

Merged

mergify[bot] merged 2 commits intomasterfrom

heapster/frame-def

Jan 23, 2023

Commits on Jan 19, 2023

changed the way Heapster extracted specs are generated so that the function frame, which is used a lot in the generated specs, is made into its own top-level definition
Eddy Westbrook
committed
Merge branch 'master' into heapster/frame-def
Eddy Westbrook
authored