search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Lib: removing uses of InvList #152

Closed mtzguido closed 4 months ago

mtzguido commented 4 months ago

Keeping the module for posterity, but not depending on it

gebner commented 4 months ago

Looks great (as far as I can tell). This definitely solves the issue we have with InvList.