search

loonwerks / AGREE

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

Update for osate 2.13 #138

Closed kfhoech closed 1 month ago

kfhoech commented 1 month ago

Minimal changes required to support OSATE 2.13.0.