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

	Commit message (Expand)	Author	Age
*	Almost done implementing collision correctly	Aren Babikian	2021-01-22
*	Major MM update + Refactor VQL + post-meeting approach change	Aren Babikian	2021-01-21
*	almost finish crossscen VQL + implement ITE handling + prelim results	Aren Babikian	2021-01-20
*	add Actor+CollisionExists constrs & adjust dreal parser & measurements	Aren Babikian	2021-01-19
*	add vsconfig flag to allow running dreal locally	Aren Babikian	2021-01-19
*	add some actor-related queries, solve minor Z3 issue	Aren Babikian	2021-01-17
*	complete queries for lane structure	Aren Babikian	2021-01-17
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
*	remove local-docker file transfer	Aren Babikian	2021-01-09
*	fix dup decl bug + adjust famTree case study	Aren Babikian	2021-01-07
*	crlf fix	Aren Babikian	2021-01-06
*	prepping measurement setup w/ dreal	Aren Babikian	2021-01-06
*	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2021-01-06
*	implement getOneSolution with Dreal Integration	Aren Babikian	2021-01-06
*	implement isSatisfiable with Dreal integration	Aren Babikian	2021-01-06
*	add numericProblemSolver supertype	Aren Babikian	2021-01-06
*	prep for refactoring Numeric Probelm Solvers	Aren Babikian	2021-01-06
*	implement setup for dreal calls	Aren Babikian	2021-01-06
*	Fix VQL validator breakage after Execute Application Configuration	Kristóf Marussy	2020-12-02
*	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-11-26
\|\
\| *	NumericProblemSolver is initialized only if it is necessary	Oszkar Semerath	2020-11-13
* \|	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|/
*	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