Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | implement ignored attribute values as a config option | Aren Babikian | 2021-01-22 |
| | |||
* | add vsconfig flag to allow running dreal locally | Aren Babikian | 2021-01-19 |
| | |||
* | Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals | Aren Babikian | 2021-01-14 |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2021-01-06 |
| | |||
* | Prefer the global scope insted of nsURI in application configuration | Kristóf Marussy | 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 | Kristóf Marussy | 2020-12-02 |
|\ | |||
| * | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.git | Oszkar Semerath | 2020-11-27 |
| |\ | |||
| * | | System default backend set by EngineOptions | Oszkar Semerath | 2020-11-27 |
| | | | |||
* | | | Fix VQL validator breakage after Execute Application Configuration | Kristóf Marussy | 2020-12-02 |
| |/ |/| | |||
* | | Merge branch 'master' of github.com:viatra/VIATRA-Generator | Kristóf Marussy | 2020-11-26 |
|\| | |||
| * | copy-paste error fix attempt no2 | Oszkar Semerath | 2020-11-13 |
| | | |||
| * | Update SolverLoader.xtend | Oszkár Semeráth | 2020-11-11 |
| | | | | | | AlloySolverConfiguration returned SMTSolverConfiguration | ||
* | | Fix Z3 dependency | Kristóf Marussy | 2020-11-26 |
|/ | |||
* | Restore inverse punishSize | Kristóf Marussy | 2020-07-07 |
| | |||
* | Trying to fix performance regressions | Kristóf Marussy | 2020-07-07 |
| | |||
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
|\ | |||
| * | Re-run generation for ApplicationConfiguration language | Kristóf Marussy | 2019-10-29 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-22 |
| | | |||
| * | [Stochastic] Remove fault tree support for now | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Configurability and better statistics for measurements | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Merge remote-tracking branch 'origin/master' into kris | Kristóf Marussy | 2019-05-04 |
| |\ | |||
| * | | Fix solution store for optimization | Kristóf Marussy | 2019-04-08 |
| | | | |||
| * | | Objective POC implementation | Kristóf Marussy | 2019-04-08 |
| | | | |||
| * | | Infrastructure for objective functions | Kristóf Marussy | 2019-04-07 |
| | | | |||
| * | | Add reliability probability and mtff objectives | Kristóf Marussy | 2019-03-25 |
| | | | |||
| * | | Do not throw exception for empty package names in application configuration ↵ | Kristóf Marussy | 2019-03-21 |
| | | | | | | | | | | | | files | ||
| * | | Clean up dependencies of the application configuration plugin | Kristóf Marussy | 2019-03-21 |
| | | | |||
| * | | Fault tree transformation for partial models WIP | Kristóf Marussy | 2019-03-20 |
| | | | |||
| * | | Generated files change | Kristóf Marussy | 2019-02-19 |
| | | | |||
| * | | Build with Eclipse 2018.12, generated files change | Kristóf Marussy | 2019-02-19 |
| | | | |||
* | | | Fix numeric-solver-at-end | Kristóf Marussy | 2020-05-20 |
| | | | |||
* | | | option to calculate object creation costs in fitness | Oszkar Semerath | 2020-05-19 |
| | | | |||
* | | | TransformationExecutionTime + weights can be controlled from config | Oszkar Semerath | 2020-05-17 |
| | | | |||
* | | | setting delimier (third attempt) | Oszkar Semerath | 2020-05-17 |
| | | | |||
* | | | fixes for the measurement | Oszkar Semerath | 2020-05-14 |
| | | | |||
* | | | memory cleaning message between tasks | Oszkar Semerath | 2020-05-12 |
| | | | |||
* | | | memory cleaning for measurements | Oszkar Semerath | 2020-05-12 |
| | | | |||
* | | | postprocessing time ns->ms | Oszkar Semerath | 2020-05-10 |
| | | | |||
* | | | Rebuild with Eclipse 2020-03 | Kristóf Marussy | 2020-05-07 |
| | | | |||
* | | | Able to run Pledge Case Study | ArenBabikian | 2020-04-28 |
| | | | |||
* | | | (lipstick) | Oszkar Semerath | 2020-04-15 |
| |/ |/| | |||
* | | typo in launch config name | OszkarSemerath | 2019-05-04 |
|/ | |||
* | Created new module to load referred patterns. hacked metamodel linking. | OszkarSemerath | 2019-02-17 |
| | |||
* | Start application run config | OszkarSemerath | 2018-10-10 |
| | |||
* | Updated progress monitor for huge amount instance generation processes | OszkarSemerath | 2018-09-14 |
| | |||
* | Scope in partial model initialised by the given model scope | OszkarSemerath | 2018-09-14 |
| | |||
* | Diversity support for Solver config | OszkarSemerath | 2018-09-14 |
| | |||
* | Models are not visualized if the documentation level is above NORMAL | OszkarSemerath | 2018-08-28 |
| | |||
* | Separated the loading and executing of a script. | OszkarSemerath | 2018-08-28 |
| | |||
* | Config supports "diversity-range" parameter | OszkarSemerath | 2018-08-27 |
| |