aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution
Commit message (Collapse)AuthorAge
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2020-12-15
|
* 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
| | | 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
|\
| * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| |
| * 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
| |
| * Clean up dependencies of the application configuration pluginLibravatar Kristóf Marussy2019-03-21
| |
* | 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
| | | | (However, I might added several unnecessary dependencies to the visualisation package.)
* Visualisation potentionally gets the patternsLibravatar OszkarSemerath2018-06-14
|
* Cleared up visualisation threadLibravatar OszkarSemerath2018-05-22
|
* Query parser update to current Viatra milestoneLibravatar OszkarSemerath2018-05-18
|
* File extension is set to *.pngLibravatar OszkarSemerath2018-05-12
|
* RenamedLibravatar OszkarSemerath2018-05-10
|
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
|
* Removed unused projectsLibravatar OszkarSemerath2018-03-24
|
* Renaming some configuration conceptsLibravatar OszkarSemerath2018-03-24
|
* Path as additional parameterLibravatar OszkarSemerath2018-03-07
|
* More detailed error messageLibravatar OszkarSemerath2018-03-07
|
* derived feature referred query searcher expandedLibravatar OszkarSemerath2018-03-04
|
* Statistics addedLibravatar OszkarSemerath2018-03-04
|
* ConsolesLibravatar OszkarSemerath2018-03-04
|
* Generation is executed in a jobLibravatar OszkarSemerath2018-03-03
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 07:53:14 +0000