aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
Commit message (Collapse)AuthorAge
* copy-paste error fix attempt no2Libravatar Oszkar Semerath2020-11-13
|
* Update SolverLoader.xtendLibravatar Oszkár Semeráth2020-11-11
| | | AlloySolverConfiguration returned SMTSolverConfiguration
* Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
|
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
|
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * 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
| |
* | Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
| |
* | option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
| |
* | TransformationExecutionTime + weights can be controlled from configLibravatar Oszkar Semerath2020-05-17
| |
* | fixes for the measurementLibravatar Oszkar Semerath2020-05-14
| |
* | (lipstick)Libravatar Oszkar Semerath2020-04-15
|/
* Diversity support for Solver configLibravatar OszkarSemerath2018-09-14
|
* Config supports "diversity-range" parameterLibravatar OszkarSemerath2018-08-27
|
* Visualisation potentionally gets the patternsLibravatar OszkarSemerath2018-06-14
|
* Path as additional parameterLibravatar OszkarSemerath2018-03-07
|
* Execution updateLibravatar OszkarSemerath2018-02-24
|
* Generation specification -> executionLibravatar OszkarSemerath2018-02-15