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

	Commit message (Expand)	Author	Age
*	adds some MM images	Aren Babikian	2021-03-12
*	CrossingScenario case study is ready for serverdreal-integration	Aren Babikian	2021-02-16
*	add dreal-timeout flag	Aren Babikian	2021-02-16
*	Minor adjsutments to CrossScen ad FamTree local case studies	Aren Babikian	2021-02-16
*	add cs scalability case study artifacts	Aren Babikian	2021-02-12
*	major changes to CS case study, working example, few issues, major assumptions	Aren Babikian	2021-02-03
*	simplify MM + add aird	Aren Babikian	2021-02-01
*	make generated plane smaller, easier to understand	Aren Babikian	2021-01-27
*	Improve crossingScenario queries + small ease-of-use adjustments	Aren Babikian	2021-01-26
*	Simple working version. Still diversity issue	Aren Babikian	2021-01-24
*	Sorry, I forgot something last commit	Aren Babikian	2021-01-22
*	Almost done implementing collision correctly	Aren Babikian	2021-01-22
*	Issue where blocker is not between source and target	Aren Babikian	2021-01-22
*	implement ignored attribute values as a config option	Aren Babikian	2021-01-22
*	Major MM update + Refactor VQL + post-meeting approach change	Aren Babikian	2021-01-21
*	Add drawing of generated scenarios	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
*	Begin vql implementation + fix enums bug	Aren Babikian	2021-01-15
*	some cleanup	Aren Babikian	2021-01-14
*	Add aird file for crossingScenario Ecore	Aren Babikian	2021-01-14
*	refactor simpleScenario->crossingScenario	Aren Babikian	2021-01-14