search

loonwerks / AGREE

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

Master issue 48 #59

Closed kfhoech closed 3 years ago

kfhoech commented 3 years ago

Handle offset between AADL/AGREE array indices (1-based) and JKind array indices (0-based).

kfhoech commented 3 years ago

Fixes #48