search

ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

Evaluate checks, filter internal ports and remove zero delays #126

Closed LendvaiDenes closed 2 years ago

grbeni commented 2 years ago

Thank you.