search

FStarLang / pulse

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

Add missing copyright headers. #252

Closed gebner closed 2 days ago

gebner commented 2 days ago

Forgot them in #250 and #249.