Commit message (Expand) | Author | Age | |
---|---|---|---|
* | viatra parsing fixes | Oszkar Semerath | 2020-05-07 |
* | variable mapping trace is created after mapping | Oszkar Semerath | 2020-04-17 |
* | Variable trace added to Viatra2Logic mapping | Oszkar Semerath | 2020-04-17 |
* | Translated PQueryies are added to annotation. | OszkarSemerath | 2018-02-24 |
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |