aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
Commit message (Expand)AuthorAge
* implement ignored attribute values as a config optionLibravatar Aren Babikian2021-01-22
* add vsconfig flag to allow running dreal locallyLibravatar Aren Babikian2021-01-19
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* copy-paste error fix attempt no2Libravatar Oszkar Semerath2020-11-13
* Update SolverLoader.xtendLibravatar Oszkár Semeráth2020-11-11
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-01 07:35:15 +0000