search

FStarLang / steel

The Steel separation logic library for F*
Apache License 2.0
31 stars 5 forks source link

Stack references are freeable #145

Open nikswamy opened 11 months ago

nikswamy commented 11 months ago

We need a way to distinguish stack references vs heap references to prevent the user from trying to call free on a stack-allocated ref