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

Fixes a major and a minor bug in the dockerized gamma #97

Closed benedekh closed 2 years ago

benedekh commented 2 years ago

Fixes #96. Fixes #98.

Major bug: #96 Minor bug: #98