diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2019-09-02 16:24:14 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-09-02 16:24:14 +0200 |
| commit | 5a565f185949b4a43045492b539ce59682a8190d (patch) | |
| tree | c105ed0b1e839224b7cc7864aae4e06bd4d9a138 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui | |
| parent | Type Interpretation for Alloy with Inheritance+Horizontal mapping (diff) | |
| download | VIATRA-Generator-5a565f185949b4a43045492b539ce59682a8190d.tar.gz VIATRA-Generator-5a565f185949b4a43045492b539ce59682a8190d.tar.zst VIATRA-Generator-5a565f185949b4a43045492b539ce59682a8190d.zip | |
Alloy upper multiplicity under-approximation with keyword bug fix
candidate 1
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui')
0 files changed, 0 insertions, 0 deletions