Interface MPS/EMF for DSLTrans

mbeddr / language_verification

A collection of tools and technologies for verifying software languages developed using JetBrains' MPS.

Other

1 stars 0 forks source link

Interface MPS/EMF for DSLTrans #3

Closed levilucio closed 7 years ago

levilucio commented 8 years ago

DSLTrans needs to be able to input / output MPS format directly, instead of only EMF. This can be done by generalising the EMF API in DSLTrans for the MPS format.

levilucio commented 7 years ago

Done by going directly through the EMF-independent DSLTrans API