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

	Commit message (Collapse)	Author	Age
...
\| * \|	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
\|
*	runners with new type scopes	OszkarSemerath	2017-08-16
\|
*	The test runners now ignore every folder beginning with "output*"	OszkarSemerath	2017-07-12
\| \| \|	Those folders are used for generated models.
*	Corrected the configuration in the test runners.	OszkarSemerath	2017-07-12
\|
*	Pattern coverage measuring program.	OszkarSemerath	2017-07-05
\|
*	Example configuration for running measurements.	OszkarSemerath	2017-07-05
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10
\|
*	Initial commit, migrating from SVN	OszkarSemerath	2017-06-10