Create warnings for data implementations containing types that AGREE does not reason about

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

13 stars 5 forks source link

Open kfhoech opened 4 years ago

kfhoech commented 4 years ago

Issue by backesj Wednesday Mar 04, 2015 at 19:25 GMT Originally opened as https://github.com/smaccm/smaccm/issues/32