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

	Commit message (Expand)	Author	Age
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-08-30
\| \|\
\| * \|	Dump required Xbase version down to 2.17	Kristóf Marussy	2019-08-01
\| * \|	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-08-01
\| \|\ \
\| * \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-06-08
\| \|\ \ \
\| * \ \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-06
\| \|\ \ \ \
\| * \ \ \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-05-04
\| \|\ \ \ \ \
\| * \ \ \ \ \	Merge remote-tracking branch 'origin/master' into kris	Kristóf Marussy	2019-04-16
\| \|\ \ \ \ \ \
\| * \| \| \| \| \| \|	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\| * \| \| \| \| \| \|	Two-valued fault tree analyzer WIP	Kristóf Marussy	2019-02-19
\| * \| \| \| \| \| \|	Build with Eclipse 2018.12, generated files change	Kristóf Marussy	2019-02-19
* \| \| \| \| \| \| \|	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
\|/