aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
Commit message (Expand)AuthorAge
* VAMPIRE: Implement Vampire measurement codeLibravatar ArenBabikian2019-10-07
* VAMPIRE: fix model generationLibravatar ArenBabikian2019-09-11
* VAMPIRE: Implement wf constraint handlingLibravatar ArenBabikian2019-09-08
* VAMPIRE: close #22, improve test structure for #39, .vql file troubleLibravatar ArenBabikian2019-04-15
* VAMPIRE: #39 Reorganise tests, working yakindu test, need debuggingLibravatar ArenBabikian2019-04-11
* Implement containment circularity avoidance #20Libravatar ArenBabikian2019-04-05
* Closes #34, adds code to test cases where minScope>maxScope.Libravatar ArenBabikian2019-04-04
* Add gitignore, commit everythingLibravatar ArenBabikian2019-03-20
* 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
* Bug with outgoing transitions in yakindu example.Libravatar OszkarSemerath2017-07-05
* Model translator and sanitiser from original yakindu files to simplifiedLibravatar OszkarSemerath2017-06-21
* 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