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

	Commit message (Collapse)	Author	Age
*	Implement Enum handling and study hierarchy handling	ArenBabikian	2019-03-06
\|
*	Restructure Vampire Reasoner project	ArenBabikian	2019-03-06
\|
*	Continue improving code style (need sleep)	ArenBabikian	2019-03-06
\|
*	Partially improve coding style (leaving for soccer)	ArenBabikian	2019-03-05
\|
*	Implement type scope handling	ArenBabikian	2019-03-05
\|
*	Begin handing of scope and fix type definitions.	ArenBabikian	2019-03-04
\|
*	complete vsconfig files #19	ArenBabikian	2019-02-17
\|
*	Merge remote-tracking branch 'origin/master' into Vampire-New	ArenBabikian	2019-02-17
\|\ \| \| \| \| \| \|	Merge Oszkar's Java-related commit
\| *	Created new module to load referred patterns. hacked metamodel linking.	OszkarSemerath	2019-02-17
\| \|
\| *	Solution store diversity requirement set to 1 as default	OszkarSemerath	2019-02-17
\| \|
\| *	Removed unnecessary logging	OszkarSemerath	2019-02-17
\| \|
\| *	Removed visualisation test	OszkarSemerath	2019-02-17
\| \|
\| *	added sldf4j simple implementation to solve logging error message	OszkarSemerath	2019-02-17
\| \|
* \|	Commit before merge	ArenBabikian	2019-02-17
\| \|
* \|	Integrate queries partially #19	ArenBabikian	2019-02-16
\| \|
* \|	Set up #19	ArenBabikian	2019-02-15
\| \|
* \|	Fix FAM Test. Begin Grammar Fix.	ArenBabikian	2019-02-01
\| \|
* \|	FAM MM transformation works	ArenBabikian	2019-01-16
\| \|
* \|	Initial workspace setup	ArenBabikian	2019-01-15
\|/
*	ViatraSolver as default	OszkarSemerath	2018-11-07
\|
*	Ecore gen test	OszkarSemerath	2018-11-07
\|
*	Colorcalculator support for datatypes	OszkarSemerath	2018-11-07
\|
*	Nodewise and graphwise diversity added	OszkarSemerath	2018-11-07
\|
*	Fix boolean element mapping handling in logic structures for VS	OszkarSemerath	2018-11-07
\|
*	Solver gives partial solutions even if it fails due to timeout or unsat	OszkarSemerath	2018-11-07
\|
*	some missing string support bugs in partial interpretation are fixed	OszkarSemerath	2018-11-07
\|
*	Fixed xmi generation with attributes. Added better error messages.	OszkarSemerath	2018-11-07
\|
*	Logic structure builder fix for string building	OszkarSemerath	2018-11-07
\|
*	Fixes in string scope and string interpretation for Alloy	OszkarSemerath	2018-11-07
\|
*	Attributes are filled in instance models	OszkarSemerath	2018-10-11
\|
*	Update error message for untranslated types in Viatra	OszkarSemerath	2018-10-11
\|
*	Start application run config	OszkarSemerath	2018-10-10
\|
*	Example standalone runs	OszkarSemerath	2018-10-08
\|
*	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
\|
*	Progress monitor fix	OszkarSemerath	2018-09-14
\|
*	Alloy support for string literals	OszkarSemerath	2018-09-14
\|
*	If scope available, then it is maintained during generation via VS	OszkarSemerath	2018-09-14
\|
*	Scope initialisation is default	OszkarSemerath	2018-09-14
\|
*	Update support for java and emf DATATYPES, and basic scope propagator	OszkarSemerath	2018-09-14
\|
*	updated support for java types	OszkarSemerath	2018-09-14
\|
*	Added support for SHORT type as integer	OszkarSemerath	2018-08-28
\|
*	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
\|
*	Updated type provider to support java native types	OszkarSemerath	2018-08-10
\|
*	Lowered documentation level requirement for initial partial models	OszkarSemerath	2018-08-10
\| \| \|	As handling primitive types requires more complex initialisation.