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

	Commit message (Expand)	Author	Age
...
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Adjust Pledge, handling of many households.	ArenBabikian	2020-05-14
* \| \| \| \| \| \| \| \| \| \| \| \| \|	fixes for the measurement	Oszkar Semerath	2020-05-14
\|/ / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-14
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Adjust case study master file. Add some measurements	ArenBabikian	2020-05-13
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Use String to create RealExpr	anqili426	2020-05-13
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Add measurements, generate new jar that allows upper limit (w/o viz)	ArenBabikian	2020-05-13
* \| \| \| \| \| \| \| \| \| \| \| \| \|	removeOne for object scope	Oszkar Semerath	2020-05-14
\|/ / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \|	upper limit is soft	Oszkar Semerath	2020-05-13
* \| \| \| \| \| \| \| \| \| \| \| \|	Adjust measurement setup. TaxationWithRoot support. JAR creation	ArenBabikian	2020-05-13
* \| \| \| \| \| \| \| \| \| \| \| \|	Adjust FamilyTree MM. Add new Taxation MM with possible Multiple Roots	ArenBabikian	2020-05-13
* \| \| \| \| \| \| \| \| \| \| \| \|	memory cleaning message between tasks	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	memory cleaning for measurements	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	removed unnecesary printing	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	removed unnecessary printing	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	precise time measurements for the numeric solver	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
* \| \| \| \| \| \| \| \| \| \| \| \|	reformulating (potentially inconsistent) inv49	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	variable indexing bugs in referred patterns in UP	Oszkar Semerath	2020-05-12
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Fixed bug in setting constant types	anqili426	2020-05-11
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Add Satellite Case Study to testing framework	ArenBabikian	2020-05-11
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Bigliteral serialization in xmi transformation fixed	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \| \| \| \|	fix for inverse references	Oszkar Semerath	2020-05-11
\|/ / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \|	Fine Tune PLEDGE Case Study Project and Main Method	ArenBabikian	2020-05-11
* \| \| \| \| \| \| \| \| \| \| \| \|	Remove derived features from the PLEDGE MM	ArenBabikian	2020-05-11
* \| \| \| \| \| \| \| \| \| \| \| \|	Allow real numbers to be in the solution	anqili426	2020-05-10
* \| \| \| \| \| \| \| \| \| \| \| \|	Added support for real numbers	anqili426	2020-05-10
* \| \| \| \| \| \| \| \| \| \| \| \|	temporally removed check expressions for real values	Oszkar Semerath	2020-05-11
* \| \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-11
\|\ \ \ \ \ \ \ \ \ \ \ \ \
\| * \| \| \| \| \| \| \| \| \| \| \| \|	Fix PLEDGE Case Study File	ArenBabikian	2020-05-10
* \| \| \| \| \| \| \| \| \| \| \| \| \|	Instead of Bigdecimals doubleValue are used in check	Oszkar Semerath	2020-05-11
\|/ / / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \| \|	Satelite case study update for Models-Attribute paper	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
\|/ / / / / / / / / / / /
* \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-10
\|\ \ \ \ \ \ \ \ \ \ \ \
\| * \ \ \ \ \ \ \ \ \ \ \	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-10
\| \|\ \ \ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Adjust PLEDEG Java Case Study file	ArenBabikian	2020-05-09
\| * \| \| \| \| \| \| \| \| \| \| \| \|	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\| * \| \| \| \| \| \| \| \| \| \| \| \|	closing numerical solver	Oszkar Semerath	2020-05-10
\| * \| \| \| \| \| \| \| \| \| \| \| \|	postprocessing time ns->ms	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
\| * \| \| \| \| \| \| \| \| \| \| \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-09
\| \|\ \ \ \ \ \ \ \ \ \ \ \
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Finish UML2GML visualization (formerly UML2TGF)	ArenBabikian	2020-05-09
\| \| * \| \| \| \| \| \| \| \| \| \| \|	Implement UML Instance 2 GML visualization mapping	ArenBabikian	2020-05-09
\| * \| \| \| \| \| \| \| \| \| \| \| \|	case study fix	Oszkar Semerath	2020-05-09
\| \|/ / / / / / / / / / / /