aboutsummaryrefslogtreecommitdiffstats
path: root/Domains
Commit message (Expand)AuthorAge
* fix node type distance measureLibravatar 20001LastOrder2020-11-05
* fix merging issueLibravatar 20001LastOrder2020-11-04
|\
| * merge with current master, comment numerical solver related loggingLibravatar 20001LastOrder2020-11-04
| |\
| | * Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
| | * Must unit propagationLibravatar Kristóf Marussy2020-08-28
| | * MoDeS3 unit propagation WIPLibravatar Kristóf Marussy2020-08-06
| | * Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
| | |\
| | | * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| | | * Remove empty src directories from build pathLibravatar Kristóf Marussy2019-10-29
| | | * Remove MDEOptimiser dependencyLibravatar Kristóf Marussy2019-10-29
| | | * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| | | * Measurements WIPLibravatar Kristóf Marussy2019-08-15
| | | * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| | | * Fix enum literal support for FAMLibravatar Kristóf Marussy2019-08-02
| | | * Trying to run generator in measurement environmentLibravatar Kristóf Marussy2019-08-01
| | | * Ensure that experiment runner code compilesLibravatar Kristóf Marussy2019-08-01
| | | * Clean up CPS and Satellite domainsLibravatar Kristóf Marussy2019-08-01
| | | * 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
| * | | add realistic solverLibravatar 20001LastOrder2020-11-03
| |/ /
| * | Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
| |\ \
| | * | Satelite case study update for Models-Attribute paperLibravatar Oszkar Semerath2020-05-11
| |/ /
| * | Add satellite case studyLibravatar Kristóf Marussy2020-05-10
| * | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
| |/
* | changes in settings of measurementsLibravatar 20001LastOrder2019-08-20
* | comment out constraint for SynchronizationsLibravatar 20001LastOrder2019-08-13
* | REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s.Libravatar ArenBabikian2019-05-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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-18 00:39:18 +0000