search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13 stars 5 forks source link

Create publicly-useable signing of AGREE #122

Open kfhoech opened 2 years ago

kfhoech commented 2 years ago

Presently, AGREE releases and pre-built plugins are not signed.

Work with corporate to obtain signing certificate and add signing as part of release process.