Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add config flag for selecting numeric solver. Integ with Z3 | 2020-12-15 | |
| | |||
* | 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 | |
| | |||
* | Scope in partial model initialised by the given model scope | 2018-09-14 | |
| | |||
* | Diversity support for Solver config | 2018-09-14 | |
| | |||
* | Models are not visualized if the documentation level is above NORMAL | 2018-08-28 | |
| | |||
* | Separated the loading and executing of a script. | 2018-08-28 | |
| | |||
* | Config supports "diversity-range" parameter | 2018-08-27 | |
| | |||
* | ScriptConsole to redirects console output to STDOUT in java applications | 2018-08-27 | |
| | |||
* | Application puts hyperlinks of the generated files to the console | 2018-08-10 | |
| | |||
* | Scope support for attributes | 2018-07-16 | |
| |