post-release polishing - Githubissues

GaloisInc / HARDENS

Repository for the HARDENS project

Apache License 2.0

17 stars 1 forks source link

post-release polishing #137

Closed kiniry closed 3 months ago

kiniry commented 1 year ago

Updated copyright notices v-v subtask 3 of issue #135

kiniry commented 10 months ago

closes #40