aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-09-11 15:34:03 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-09-11 15:34:03 -0400
commitce5aafc07151275363735013c261cacf3d7b6431 (patch)
tree96e13919940dba3d2cb5b81000579a5613615a73 /Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend
parentVAMPIRE: Implement wf constraint handling (diff)
downloadVIATRA-Generator-ce5aafc07151275363735013c261cacf3d7b6431.tar.gz
VIATRA-Generator-ce5aafc07151275363735013c261cacf3d7b6431.tar.zst
VIATRA-Generator-ce5aafc07151275363735013c261cacf3d7b6431.zip
VAMPIRE: fix model generation
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend')
0 files changed, 0 insertions, 0 deletions