diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-10-11 19:22:18 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-10-11 19:22:18 +0200 |
| commit | fd3f01f4240ff13f7877784b2f5417031f7e7da6 (patch) | |
| tree | c091b41ac37cf142ed2fdf4905bc841011ca6f76 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner | |
| parent | Update error message for untranslated types in Viatra (diff) | |
| download | VIATRA-Generator-fd3f01f4240ff13f7877784b2f5417031f7e7da6.tar.gz VIATRA-Generator-fd3f01f4240ff13f7877784b2f5417031f7e7da6.tar.zst VIATRA-Generator-fd3f01f4240ff13f7877784b2f5417031f7e7da6.zip | |
Attributes are filled in instance models
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner')
0 files changed, 0 insertions, 0 deletions