search

loonwerks / AGREE

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

Master issue24 #29

Closed kfhoech closed 4 years ago

kfhoech commented 4 years ago

Fix AADL translation to traverse the AADL model using connection instances to correctly discover the refined types of ports.

kfhoech commented 4 years ago

Fixes #24 connection problems

kfhoech commented 4 years ago

Fixes #24 connection problems