search

loonwerks / AGREE

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

Update AGREE tools to support OSATE v2.11.0 #102

Closed kfhoech closed 1 year ago

kfhoech commented 1 year ago

Completed in 2426be42e9d1a66801527cd39ffc51749f45459e