VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

	Commit message (Collapse)	Author	Age
*	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2020-12-15
\|
*	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
\|\
\| *	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
\|/
*	copy-paste error fix attempt no2	Oszkar Semerath	2020-11-13
\|
*	Update SolverLoader.xtend	Oszkár Semeráth	2020-11-11
\| \| \|	AlloySolverConfiguration returned SMTSolverConfiguration
*	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
\|\
\| *	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
\| \|
\| *	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
\| \|
* \|	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
\| \|
* \|	(lipstick)	Oszkar Semerath	2020-04-15
\|/
*	Created new module to load referred patterns. hacked metamodel linking.	OszkarSemerath	2019-02-17
\|
*	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
\|
*	ScriptConsole to redirects console output to STDOUT in java applications	OszkarSemerath	2018-08-27
\|
*	Application puts hyperlinks of the generated files to the console	OszkarSemerath	2018-08-10
\|
*	Scope support for attributes	OszkarSemerath	2018-07-16
\|
*	Additional packages for standalone runtime environment	OszkarSemerath	2018-07-06
\|
*	Added support for running application in plain java.	OszkarSemerath	2018-07-05
\| \| \| \|	(However, I might added several unnecessary dependencies to the visualisation package.)
*	Visualisation potentionally gets the patterns	OszkarSemerath	2018-06-14
\|
*	Cleared up visualisation thread	OszkarSemerath	2018-05-22
\|
*	Query parser update to current Viatra milestone	OszkarSemerath	2018-05-18
\|
*	File extension is set to *.png	OszkarSemerath	2018-05-12
\|
*	Renamed	OszkarSemerath	2018-05-10
\|
*	Refactored to the milestone version of Viatra 2.0	OszkarSemerath	2018-05-08
\|
*	Removed unused projects	OszkarSemerath	2018-03-24
\|
*	Renaming some configuration concepts	OszkarSemerath	2018-03-24
\|
*	Path as additional parameter	OszkarSemerath	2018-03-07
\|