aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
Commit message (Expand)AuthorAge
* Try fix statecode bugLibravatar Kristóf Marussy2019-06-15
* Bump MDEOptimizer versionLibravatar Kristóf Marussy2019-06-09
* Simplify satellite metamodel furtherLibravatar Kristóf Marussy2019-06-09
* Trying to simplify Satellite case studyLibravatar Kristóf Marussy2019-06-08
* MDEOptimiser tuning for CPSLibravatar Kristóf Marussy2019-05-25
* MDEOptimiser implementation of CPS benchmarkLibravatar Kristóf Marussy2019-05-22
* VIATRA DSE and COIN-OR CBC implementations of CPS case studyLibravatar Kristóf Marussy2019-05-21
* Model generator for CPS case studyLibravatar Kristóf Marussy2019-05-17
* Formalize CPS case study for optimizationLibravatar Kristóf Marussy2019-05-15
* Do not use derived features in satellite case study vqlLibravatar Kristóf Marussy2019-05-07
* Revert "Try to restructure satellite case study"Libravatar Kristóf Marussy2019-05-07
* Try to restructure satellite case studyLibravatar Kristóf Marussy2019-05-07
* Trying to implement spacecraft case studyLibravatar Kristóf Marussy2019-05-06
* Metrics for satellite case studyLibravatar Kristóf Marussy2019-05-04
* Satellite constellation case study WIPLibravatar Kristóf Marussy2019-04-15
* Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 10:42:56 +0000