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

	Commit message (Collapse)	Author	Age
*	Minor adjsutments to CrossScen ad FamTree local case studies	Aren Babikian	2021-02-16
\|
*	major changes to CS case study, working example, few issues, major assumptions	Aren Babikian	2021-02-03
\|
*	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
\|
*	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
\|
*	refactor simpleScenario->crossingScenario	Aren Babikian	2021-01-14