aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application
Commit message (Expand)AuthorAge
* 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
|\
| * Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.gitLibravatar Oszkar Semerath2020-11-27
| |\
| * | System default backend set by EngineOptionsLibravatar Oszkar Semerath2020-11-27
* | | Fix VQL validator breakage after Execute Application ConfigurationLibravatar Kristóf Marussy2020-12-02
| |/ |/|
* | Merge branch 'master' of github.com:viatra/VIATRA-GeneratorLibravatar Kristóf Marussy2020-11-26
|\|
| * copy-paste error fix attempt no2Libravatar Oszkar Semerath2020-11-13
| * Update SolverLoader.xtendLibravatar Oszkár Semeráth2020-11-11
* | Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
|/
* 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
|\
| * Re-run generation for ApplicationConfiguration languageLibravatar Kristóf Marussy2019-10-29
| * 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
| * 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
| * | Generated files changeLibravatar Kristóf Marussy2019-02-19
| * | Build with Eclipse 2018.12, generated files changeLibravatar Kristóf Marussy2019-02-19
* | | 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
* | | Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* | | Able to run Pledge Case StudyLibravatar ArenBabikian2020-04-28
* | | (lipstick)Libravatar Oszkar Semerath2020-04-15
| |/ |/|
* | typo in launch config nameLibravatar OszkarSemerath2019-05-04
|/
* Created new module to load referred patterns. hacked metamodel linking.Libravatar OszkarSemerath2019-02-17
* Start application run configLibravatar OszkarSemerath2018-10-10
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-01 01:34:29 +0000