aboutsummaryrefslogtreecommitdiffstats
path: root/Application
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
* forgot to commit some changes to ApplicationLibravatar Aren Babikian2021-01-14
* 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
* rebase dreal-integ on models20-measurementsLibravatar 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
|/
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Must unit propagationLibravatar Kristóf Marussy2020-08-28
* MoDeS3 unit propagation WIPLibravatar Kristóf Marussy2020-08-06
* Fix time measurementLibravatar Kristóf Marussy2020-07-29
* Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-07-16
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* Fix event storm on EMF transaction finishLibravatar Kristóf Marussy2020-07-08
* Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* Disable unrepairable match scoping for nowLibravatar Kristóf Marussy2020-06-30
* Fix scope + numerical solver interactionLibravatar Kristóf Marussy2020-06-28
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| * Re-run generation for ApplicationConfiguration languageLibravatar Kristóf Marussy2019-10-29
| * FAM metamodel loader experimentsLibravatar Kristóf Marussy2019-08-30
| * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| * [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
| * | Two-valued fault tree analyzer WIPLibravatar Kristóf Marussy2019-02-19
| * | Generated files changeLibravatar Kristóf Marussy2019-02-19
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-20 10:50:48 +0000