Updating the output type of `alloca` in heapster#1491

Merged

mergify[bot] merged 9 commits intomasterfrom heapster-alloca

Nov 13, 2021

+25-10

Commits on Oct 29, 2021

Updating the output type of alloca in heapster
jpaykin
committed

Commits on Nov 2, 2021

Commits on Nov 4, 2021

Merge branch 'saw-core/typechecking-debugging' into heapster-alloca
jpaykin
committed
fixed a bug in widening that was exposed by the typedAlloca change: when widening two shapes that do not match, return the empty shape, rather than generating a fresh shape variable
Eddy Westbrook
committed
fixed the contains0 proof
Eddy Westbrook
committed

Commits on Nov 12, 2021