Allow the use of checks and assignments in initial block

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

Closed LendvaiDenes closed 2 years ago