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

	Commit message (Collapse)	Author	Age
...
\| *	Objective POC implementation	Kristóf Marussy	2019-04-08
\| \|
\| *	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\| \|
\| *	Fault tree transformation for partial models WIP	Kristóf Marussy	2019-03-20
\| \|
\| *	Trying to get FAMTest to work	Kristóf Marussy	2019-02-19
\| \|
\| *	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
\| \|
* \|	New configuration language parser WIP	Kristóf Marussy	2020-06-23
\| \|
* \|	Measurements framework fixes	Kristóf Marussy	2020-06-23
\| \|
* \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\|\ \
\| * \|	smarter fitness for satellite	Oszkar Semerath	2020-05-19
\| \| \|
* \| \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-19
\|\\| \|
\| * \|	taxation config update	Oszkar Semerath	2020-05-19
\| \| \|
* \| \|	Merge remote-tracking branch 'upstream/master'	Kristóf Marussy	2020-05-19
\|\\| \|
\| * \|	Add most of the measurements	ArenBabikian	2020-05-18
\| \| \|
\| * \|	update measurements setup. make archives.	ArenBabikian	2020-05-17
\| \| \|
\| * \|	Adjust Taxation model.	ArenBabikian	2020-05-17
\| \| \|
\| * \|	Adjust Pledge, handling of many households.	ArenBabikian	2020-05-14
\| \| \|
\| * \|	Adjust case study master file. Add some measurements	ArenBabikian	2020-05-13
\| \| \|
\| * \|	Add measurements, generate new jar that allows upper limit (w/o viz)	ArenBabikian	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
\| \| \|
\| * \|	reformulating (potentially inconsistent) inv49	Oszkar Semerath	2020-05-12
\| \| \|
\| * \|	Add Satellite Case Study to testing framework	ArenBabikian	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
\| \| \|
\| * \|	Fix PLEDGE Case Study File	ArenBabikian	2020-05-10
\| \| \|
* \| \|	Config language WIP	Kristóf Marussy	2020-05-19
\|/ /
* \|	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-05-10
\|\ \
\| * \|	Adjust PLEDEG Java Case Study file	ArenBabikian	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
\| \|/ /
\| * \|	Adjust FamilyTree Case Study	ArenBabikian	2020-05-08
\| \| \|
* \| \|	Update solver language grammar	Kristóf Marussy	2020-05-08
\|/ / \| \| \| \| \| \|	First version, still needs TokenSource and Linker to work.
* \|	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\| \|
* \|	Adjustments to FamilyTree and Pledge Case studies	ArenBabikian	2020-05-06
\| \|
* \|	Rename pledge case study file	ArenBabikian	2020-04-28
\| \|
* \|	Able to run Pledge Case Study	ArenBabikian	2020-04-28
\| \|
* \|	rename Pledge Case Studies and add familyTree case study	ArenBabikian	2020-04-27
\| \|
* \|	Add PLEDGE case study files	ArenBabikian	2020-04-26
\|/
*	ViatraSolver as default	OszkarSemerath	2018-11-07
\|
*	Ecore gen test	OszkarSemerath	2018-11-07
\|
*	Example standalone runs	OszkarSemerath	2018-10-08
\|
*	Removed PQuery from API, IQuerySpecification is used instead	OszkarSemerath	2018-01-23
\|
*	Test and measurement runners	OszkarSemerath	2017-10-27
\|
*	Runners	OszkarSemerath	2017-10-17
\|
*	measurement and mutant coverage	OszkarSemerath	2017-10-16
\|
*	Research paper measurement configuration updates	OszkarSemerath	2017-09-27
\|
*	Alloy Examples	OszkarSemerath	2017-08-20
\|
*	Bugfixing typo in generated queries	OszkarSemerath	2017-08-16
\|