2 Commits

Author	SHA1	Message	Date
Fedor Isakov	5b255f2a02	Fix references and introduce languages engaged on generation to keep compat. w/191 EAP.	2019-02-01 11:31:35 +01:00
Fedor Isakov	dc1965fdc9	Introduce a test for running model checker on all models in the project as a part of CI.	2019-01-31 11:30:02 +01:00