aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit
Commit message (Expand)AuthorAge
* changed dot visualization to svg to make it compatible with batik 1.14HEADmasterLibravatar OszkarSemerath2022-04-01
* Numeric solver dreal hardcoding -> configV4transformationLibravatar OszkarSemerath2021-07-30
* add dreal-timeout flagLibravatar Aren Babikian2021-02-16
* Add strategy flag + implement alost working crossingScenarioStrategyLibravatar Aren Babikian2021-02-14
* fix derived feature handling + impove dreal callingLibravatar Aren Babikian2021-02-03
* implement ignored attribute values as a config optionLibravatar Aren Babikian2021-01-22
* add vsconfig flag to allow running dreal locallyLibravatar Aren Babikian2021-01-19
* Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimalsLibravatar Aren Babikian2021-01-14
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* Prefer the global scope insted of nsURI in application configurationLibravatar Kristóf Marussy2020-12-02
* Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-12-02
|\
| * System default backend set by EngineOptionsLibravatar Oszkar Semerath2020-11-27
* | Fix VQL validator breakage after Execute Application ConfigurationLibravatar Kristóf Marussy2020-12-02
|/
* 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
|\
| * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| * [Stochastic] Remove fault tree support for nowLibravatar Kristóf Marussy2019-08-01
| * Configurability and better statistics for measurementsLibravatar Kristóf Marussy2019-08-01
| * 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
* | 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
* | 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
* | postprocessing time ns->msLibravatar Oszkar Semerath2020-05-10
* | (lipstick)Libravatar Oszkar Semerath2020-04-15
|/
* Created new module to load referred patterns. hacked metamodel linking.Libravatar OszkarSemerath2019-02-17
* Updated progress monitor for huge amount instance generation processesLibravatar OszkarSemerath2018-09-14
* Scope in partial model initialised by the given model scopeLibravatar OszkarSemerath2018-09-14
* Diversity support for Solver configLibravatar OszkarSemerath2018-09-14
* Models are not visualized if the documentation level is above NORMALLibravatar OszkarSemerath2018-08-28
* Separated the loading and executing of a script.Libravatar OszkarSemerath2018-08-28
* Config supports "diversity-range" parameterLibravatar OszkarSemerath2018-08-27
* ScriptConsole to redirects console output to STDOUT in java applicationsLibravatar OszkarSemerath2018-08-27
* Application puts hyperlinks of the generated files to the consoleLibravatar OszkarSemerath2018-08-10
* Scope support for attributesLibravatar OszkarSemerath2018-07-16
* Additional packages for standalone runtime environmentLibravatar OszkarSemerath2018-07-06
* Added support for running application in plain java.Libravatar OszkarSemerath2018-07-05
* Visualisation potentionally gets the patternsLibravatar OszkarSemerath2018-06-14
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-29 10:25:38 +0000