search

FStarLang / pulse

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

Fix Pulse for changes in F* PR 3369 #175

Closed nikswamy closed 3 months ago

mtzguido commented 3 months ago

Sorry I totally missed this when merging