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

	Commit message (Collapse)	Author	Age
*	Add gitignore, commit everything	ArenBabikian	2020-06-07
\|
*	Fix attribute export to xmi	Kristóf Marussy	2020-05-20
\|
*	Setting delimier in every printing mode to ','	Oszkar Semerath	2020-05-17
\|
*	separtor ; -> \t	Oszkar Semerath	2020-05-14
\|
*	Use String to create RealExpr	anqili426	2020-05-13
\|
*	removed unnecesary printing	Oszkar Semerath	2020-05-12
\|
*	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\|
*	precise time measurements for the numeric solver	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
\| \|
* \|	Bigliteral serialization in xmi transformation fixed	Oszkar Semerath	2020-05-11
\|/
*	Added support for real numbers	anqili426	2020-05-10
\|
*	closing numerical solver	Oszkar Semerath	2020-05-10
\|
*	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09
\|
*	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\|
*	viatra parsing fixes	Oszkar Semerath	2020-05-07
\|
*	Adjust classpath for Z3 in viatra2logic	ArenBabikian	2020-05-06
\|
*	Able to run Pledge Case Study	ArenBabikian	2020-04-28
\|
*	Merge branch 'Attribute-Solver'	anqili426	2020-04-26
\|\
\| *	Added FakeIntegerElement	anqili426	2020-04-26
\| \|
* \|	Merge branch 'Attribute-Solver'	anqili426	2020-04-25
\|\\|
\| *	Added new test	anqili426	2020-04-22
\| \|
\| *	Added measurements	anqili426	2020-04-15
\| \|
\| *	Added test methods with running time measurement	anqili426	2020-04-15
\| \|
\| *	Added logic to get a solution	anqili426	2020-04-15
\| \|
\| *	Updated logic that creates a numeric problem using matches	anqili426	2020-04-08
\| \|
\| *	Added logic to create a numeric problem instance with pattern matches	anqili426	2020-04-07
\| \|
\| *	Added logic to form numeric problem templates	anqili426	2020-03-31
\| \|
\| *	Added call to form numeric problem templates	anqili426	2020-03-31
\| \|
* \|	variable mapping trace is created after mapping	Oszkar Semerath	2020-04-17
\| \|
* \|	Variable trace added to Viatra2Logic mapping	Oszkar Semerath	2020-04-17
\| \|
* \|	check constraint is a special eval	Oszkar Semerath	2020-04-15
\|/
*	Bug fixed in transitive closure expression builder	Oszkar Semerath	2019-08-30
\|
*	parsing count, min, max, check and eval v1	Oszkar Semerath	2019-07-15
\|
*	aggregated partial substitution + builder	Oszkar Semerath	2019-07-09
\|
*	Inverse references works if opposite reference is pruned away.	OszkarSemerath	2019-06-01
\|
*	fixed manifest	OszkarSemerath	2019-05-05
\|
*	Removed unwanted OCL dependency	OszkarSemerath	2019-05-05
\|
*	Added aggregate expressions to logic language on the model level	OszkarSemerath	2019-05-04
\|
*	ParseUtil hijacked original vql parser and caused errors - fix by kris7t	OszkarSemerath	2019-03-19
\| \| \|	https://github.com/kris7t
*	Removed unnecessary logging	OszkarSemerath	2019-02-17
\|
*	Fixed xmi generation with attributes. Added better error messages.	OszkarSemerath	2018-11-07
\|
*	Logic structure builder fix for string building	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
\|
*	Progress monitor fix	OszkarSemerath	2018-09-14
\|
*	updated support for java types	OszkarSemerath	2018-09-14
\|
*	Added support for SHORT type as integer	OszkarSemerath	2018-08-28
\|
*	Updated type provider to support java native types	OszkarSemerath	2018-08-10
\|
*	ReasonerWorkspace adds Schema Location for saving Models into XMI. Fixes	OszkarSemerath	2018-07-21
\| \| \| \| \| \| \| \|	#16 Therefore models can be opened using Sample Reflective Ecore Model Editor even if the metamodel is reachable. close