aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
Commit message (Collapse)AuthorAge
* Query parser update to current Viatra milestoneLibravatar OszkarSemerath2018-05-18
|
* added gitignore to generated outputsLibravatar OszkarSemerath2018-05-12
|
* Project updateLibravatar OszkarSemerath2018-05-12
|
* VSConfig updateLibravatar OszkarSemerath2018-05-12
|
* Example updatedLibravatar OszkarSemerath2018-05-12
|
* Removed unused projectsLibravatar OszkarSemerath2018-03-24
|
* example projects addedLibravatar OszkarSemerath2018-03-24
|
* Added a set of mutated queries to yakinduLibravatar OszkarSemerath2017-10-27
|
* Alloy ExamplesLibravatar OszkarSemerath2017-08-20
|
* Added progress and basic statstic report to the yakindu modelLibravatar OszkarSemerath2017-07-05
| | | translator.
* Bug with outgoing transitions in yakindu example.Libravatar OszkarSemerath2017-07-05
|
* Model translator and sanitiser from original yakindu files to simplifiedLibravatar OszkarSemerath2017-06-21
| | | | | metamodel. Added a sample Main function.
* generated code for the newly added typesLibravatar OszkarSemerath2017-06-21
|
* Added missing types: exit state, final state and choiceLibravatar OszkarSemerath2017-06-21
|
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-04 07:23:25 +0000