aboutsummaryrefslogtreecommitdiffstats
path: root/Application
Commit message (Expand)AuthorAge
* 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
| | * Fix time measurementLibravatar Kristóf Marussy2020-07-29
| | * Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-07-16
| | * OptimizationsLibravatar Kristóf Marussy2020-07-14
| | * Fix event storm on EMF transaction finishLibravatar Kristóf Marussy2020-07-08
| | * Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
| | * Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
| | * Disable unrepairable match scoping for nowLibravatar Kristóf Marussy2020-06-30
| | * Fix scope + numerical solver interactionLibravatar Kristóf Marussy2020-06-28
| | * Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
| | * Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
| | |\
| | | * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| | | * Re-run generation for ApplicationConfiguration languageLibravatar Kristóf Marussy2019-10-29
| | | * FAM metamodel loader experimentsLibravatar Kristóf Marussy2019-08-30
| | | * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| | | * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| | | * [Stochastic] Remove fault tree support for nowLibravatar Kristóf Marussy2019-08-01
| | | * Configurability and better statistics for measurementsLibravatar Kristóf Marussy2019-08-01
| | | * Merge remote-tracking branch 'origin/master' into krisLibravatar Kristóf Marussy2019-05-04
| | | |\
| | | * | Fix solution store for optimizationLibravatar Kristóf Marussy2019-04-08
| | | * | Objective POC implementationLibravatar Kristóf Marussy2019-04-08
| | | * | Infrastructure for objective functionsLibravatar Kristóf Marussy2019-04-07
| | | * | Add reliability probability and mtff objectivesLibravatar Kristóf Marussy2019-03-25
| | | * | Do not throw exception for empty package names in application configuration f...Libravatar Kristóf Marussy2019-03-21
| | | * | Clean up dependencies of the application configuration pluginLibravatar Kristóf Marussy2019-03-21
| | | * | Fault tree transformation for partial models WIPLibravatar Kristóf Marussy2019-03-20
| | | * | Two-valued fault tree analyzer WIPLibravatar Kristóf Marussy2019-02-19
| | | * | Generated files changeLibravatar Kristóf Marussy2019-02-19
| | | * | Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
| | * | | New configuration language parser WIPLibravatar Kristóf Marussy2020-06-23
| * | | | add realistic solverLibravatar 20001LastOrder2020-11-03
| |/ / /
| * | | Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
| * | | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-19
| |\ \ \
| | * | | option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
| * | | | Merge remote-tracking branch 'upstream/master'Libravatar Kristóf Marussy2020-05-19
| |\| | |
| | * | | TransformationExecutionTime + weights can be controlled from configLibravatar Oszkar Semerath2020-05-17
| | * | | setting delimier (third attempt)Libravatar Oszkar Semerath2020-05-17
| | * | | fixes for the measurementLibravatar Oszkar Semerath2020-05-14
| | * | | memory cleaning message between tasksLibravatar Oszkar Semerath2020-05-12
| | * | | memory cleaning for measurementsLibravatar Oszkar Semerath2020-05-12
| * | | | Config language WIPLibravatar Kristóf Marussy2020-05-19
| |/ / /
| * | | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-05-10
| |\ \ \
| | * | | postprocessing time ns->msLibravatar Oszkar Semerath2020-05-10
| * | | | Synthetic tokens for solver languageLibravatar Kristóf Marussy2020-05-08
| * | | | Update solver language grammarLibravatar Kristóf Marussy2020-05-08
| |/ / /
| * | | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07