diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 16:24:38 -0500 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-03 16:24:38 -0500 |
| commit | 769b900ed48916536eeb61391dd69d0905fce9f3 (patch) | |
| tree | 43b013d54661bf70c379086e23a09c9615d325fc /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend | |
| parent | Alloy solver report progress and does not call solver if cancelled (diff) | |
| download | VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.tar.gz VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.tar.zst VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.zip | |
Generation is executed in a job
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptConsole.xtend')
0 files changed, 0 insertions, 0 deletions