diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:38:04 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:38:04 +0200 |
commit | 28bd83cecdd9510a46aa443d6d4c5fe09e6eda93 (patch) | |
tree | 3f490ce59b7ac63f7aa094dba00c302656c0019c /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/scoping | |
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/src/hu/bme/mit/inf/dslreasoner/scoping')
0 files changed, 0 insertions, 0 deletions