Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | changed dot visualization to svg to make it compatible with batik 1.14HEADmaster | 2022-04-01 | |
| | |||
* | Numeric solver dreal hardcoding -> configV4transformation | 2021-07-30 | |
| | |||
* | add dreal-timeout flag | 2021-02-16 | |
| | |||
* | Add strategy flag + implement alost working crossingScenarioStrategy | 2021-02-14 | |
| | |||
* | fix derived feature handling + impove dreal calling | 2021-02-03 | |
| | |||
* | implement ignored attribute values as a config option | 2021-01-22 | |
| | |||
* | add vsconfig flag to allow running dreal locally | 2021-01-19 | |
| | |||
* | Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals | 2021-01-14 | |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | 2021-01-06 | |
| | |||
* | Prefer the global scope insted of nsURI in application configuration | 2020-12-02 | |
| | | | | | | | | | | Trying to find a resource by nsURI first sometimes lead to a situation where a spurious resource was added to the ResourceSet which didn't contain the requested object. Thus, linking failed. By first looking up the imported name in the global scope and falling back to the nsURI only later, we can ensure that linking always succeeds if the referenced object is already in the Xtext index. | ||
* | Merge branch 'master' of github.com:viatra/VIATRA-Generator | 2020-12-02 | |
|\ | |||
| * | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.git | 2020-11-27 | |
| |\ | |||
| * | | System default backend set by EngineOptions | 2020-11-27 | |
| | | | |||
* | | | Fix VQL validator breakage after Execute Application Configuration | 2020-12-02 | |
| |/ |/| | |||
* | | Merge branch 'master' of github.com:viatra/VIATRA-Generator | 2020-11-26 | |
|\| | |||
| * | copy-paste error fix attempt no2 | 2020-11-13 | |
| | | |||
| * | Update SolverLoader.xtend | 2020-11-11 | |
| | | | | | | AlloySolverConfiguration returned SMTSolverConfiguration | ||
* | | Fix Z3 dependency | 2020-11-26 | |
|/ | |||
* | Restore inverse punishSize | 2020-07-07 | |
| | |||
* | Trying to fix performance regressions | 2020-07-07 | |
| | |||
* | Merge branch 'kris' | 2020-06-25 | |
|\ | |||
| * | Re-run generation for ApplicationConfiguration language | 2019-10-29 | |
| | | |||
| * | Measurements WIP | 2019-08-22 | |
| | | |||
| * | [Stochastic] Remove fault tree support for now | 2019-08-01 | |
| | | |||
| * | Configurability and better statistics for measurements | 2019-08-01 | |
| | | |||
| * | Merge remote-tracking branch 'origin/master' into kris | 2019-05-04 | |
| |\ | |||
| * | | Fix solution store for optimization | 2019-04-08 | |
| | | | |||
| * | | Objective POC implementation | 2019-04-08 | |
| | | | |||
| * | | Infrastructure for objective functions | 2019-04-07 | |
| | | | |||
| * | | Add reliability probability and mtff objectives | 2019-03-25 | |
| | | | |||
| * | | Do not throw exception for empty package names in application configuration ↵ | 2019-03-21 | |
| | | | | | | | | | | | | files | ||
| * | | Clean up dependencies of the application configuration plugin | 2019-03-21 | |
| | | | |||
| * | | Fault tree transformation for partial models WIP | 2019-03-20 | |
| | | | |||
| * | | Generated files change | 2019-02-19 | |
| | | | |||
| * | | Build with Eclipse 2018.12, generated files change | 2019-02-19 | |
| | | | |||
* | | | Fix numeric-solver-at-end | 2020-05-20 | |
| | | | |||
* | | | option to calculate object creation costs in fitness | 2020-05-19 | |
| | | | |||
* | | | TransformationExecutionTime + weights can be controlled from config | 2020-05-17 | |
| | | | |||
* | | | setting delimier (third attempt) | 2020-05-17 | |
| | | | |||
* | | | fixes for the measurement | 2020-05-14 | |
| | | | |||
* | | | memory cleaning message between tasks | 2020-05-12 | |
| | | | |||
* | | | memory cleaning for measurements | 2020-05-12 | |
| | | | |||
* | | | postprocessing time ns->ms | 2020-05-10 | |
| | | | |||
* | | | Rebuild with Eclipse 2020-03 | 2020-05-07 | |
| | | | |||
* | | | Able to run Pledge Case Study | 2020-04-28 | |
| | | | |||
* | | | (lipstick) | 2020-04-15 | |
| |/ |/| | |||
* | | typo in launch config name | 2019-05-04 | |
|/ | |||
* | Created new module to load referred patterns. hacked metamodel linking. | 2019-02-17 | |
| | |||
* | Start application run config | 2018-10-10 | |
| | |||
* | Updated progress monitor for huge amount instance generation processes | 2018-09-14 | |
| |