diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2019-08-30 14:26:55 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-08-30 14:26:55 +0200 |
| commit | 933ce1872359918ff71602479640f4153063a737 (patch) | |
| tree | 93c7ed7ef8a19191f8d112a3133f6df5bd07864b /Solvers/Alloy-Solver | |
| parent | Alloy RunCommand int scope fix candidate (diff) | |
| download | VIATRA-Generator-933ce1872359918ff71602479640f4153063a737.tar.gz VIATRA-Generator-933ce1872359918ff71602479640f4153063a737.tar.zst VIATRA-Generator-933ce1872359918ff71602479640f4153063a737.zip | |
Bug fixed in transitive closure expression builder
Diffstat (limited to 'Solvers/Alloy-Solver')
0 files changed, 0 insertions, 0 deletions