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

Headless gamma #175

Closed Rorck closed 3 weeks ago

Rorck commented 3 weeks ago

Added new linux target file for headless gamma.

Updated java version in the uppaal project.