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

	Commit message (Collapse)	Author	Age
*	Add gitignore, commit everything	ArenBabikian	2020-06-07
\|
*	Implement Containment mapping (partially) and revisit enum mapping	ArenBabikian	2020-06-07
\|
*	Implement type scope for specific types	ArenBabikian	2020-06-07
\|
*	Improve TypeScope handling	ArenBabikian	2020-06-07
\|
*	Fix Enum handling for Paradox Integration	ArenBabikian	2020-06-07
\|
*	Implement Enum handling and study hierarchy handling	ArenBabikian	2020-06-07
\|
*	Restructure Vampire Reasoner project	ArenBabikian	2020-06-07
\|
*	Continue improving code style (need sleep)	ArenBabikian	2020-06-07
\|
*	Partially improve coding style (leaving for soccer)	ArenBabikian	2020-06-07
\|
*	Implement type scope handling	ArenBabikian	2020-06-07
\|
*	Begin handing of scope and fix type definitions.	ArenBabikian	2020-06-07
\|
*	Fix FAM Test. Begin Grammar Fix.	ArenBabikian	2020-06-07
\|
*	FAM MM transformation works	ArenBabikian	2020-06-07
\|
*	Initial workspace setup	ArenBabikian	2020-06-07
\|
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
\|
*	Fix attribute export to xmi	Kristóf Marussy	2020-05-20
\|
*	FIx Boolean export to gml	Kristóf Marussy	2020-05-20
\|
*	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-20
\|\
\| *	Add new state coder	Kristóf Marussy	2020-05-19
\| \|
* \|	adding numbers to gml visualization	Oszkar Semerath	2020-05-20
\|/
*	option to calculate object creation costs in fitness	Oszkar Semerath	2020-05-19
\|
*	intermediateConsistencyCheck controls the maySatisfiable only	Oszkar Semerath	2020-05-19
\|
*	removed every occurence of check expressions	Oszkar Semerath	2020-05-18
\|
*	TransformationExecutionTime + weights can be controlled from config	Oszkar Semerath	2020-05-17
\|
*	detailed runtimes + counting defined objects only	Oszkar Semerath	2020-05-17
\|
*	fixes for the measurement	Oszkar Semerath	2020-05-14
\|
*	removeOne for object scope	Oszkar Semerath	2020-05-14
\|
*	upper limit is soft	Oszkar Semerath	2020-05-13
\|
*	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\|
*	removed unnecessary printing	Oszkar Semerath	2020-05-12
\|
*	Missed containment indexer	Oszkar Semerath	2020-05-12
\|
*	advanced goal heuristics for missing containment and non-cont. edges	Oszkar Semerath	2020-05-12
\|
*	removed potential equivalence between real values and integers	Oszkar Semerath	2020-05-12
\|
*	Object is recursively instantiated if it has no subtype alternative	Oszkar Semerath	2020-05-12
\|
*	variable indexing bugs in referred patterns in UP	Oszkar Semerath	2020-05-12
\|
*	Bigliteral serialization in xmi transformation fixed	Oszkar Semerath	2020-05-11
\|
*	fix for inverse references	Oszkar Semerath	2020-05-11
\|
*	Allow real numbers to be in the solution	anqili426	2020-05-10
\|
*	temporally removed check expressions for real values	Oszkar Semerath	2020-05-11
\|
*	Instead of Bigdecimals doubleValue are used in check	Oszkar Semerath	2020-05-11
\|
*	separated must and current UP rules to support non-prop neg finds	Oszkar Semerath	2020-05-11
\|
*	automated containment and attribute addition for subclasses	Oszkar Semerath	2020-05-11
\|
*	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\|
*	uninvolved objects are filled with a default value	Oszkar Semerath	2020-05-09
\|
*	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09
\|
*	removed unnecesary logging	Oszkar Semerath	2020-05-08
\|
*	UP patterns -> decision procedure trace finished	Oszkar Semerath	2020-05-08
\|
*	contained objects instantiated immediately if target class non-abstract	Oszkar Semerath	2020-05-08
\|
*	Unit propagation trace fixes	Oszkar Semerath	2020-05-08
\|
*	Visualization fix for attributes with same value	Oszkar Semerath	2020-05-08
\|