diff options
author | 2018-09-14 16:38:04 +0200 | |
---|---|---|
committer | 2018-09-14 16:38:04 +0200 | |
commit | 28bd83cecdd9510a46aa443d6d4c5fe09e6eda93 (patch) | |
tree | 3f490ce59b7ac63f7aa094dba00c302656c0019c /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui | |
parent | updated support for java types (diff) | |
download | VIATRA-Generator-28bd83cecdd9510a46aa443d6d4c5fe09e6eda93.tar.gz VIATRA-Generator-28bd83cecdd9510a46aa443d6d4c5fe09e6eda93.tar.zst VIATRA-Generator-28bd83cecdd9510a46aa443d6d4c5fe09e6eda93.zip |
Update support for java and emf DATATYPES, and basic scope propagator
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui')
0 files changed, 0 insertions, 0 deletions