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

	Commit message (Collapse)	Author	Age
*	CrossingScenario case study is ready for serverdreal-integration	Aren Babikian	2021-02-16
\|
*	add dreal-timeout flag	Aren Babikian	2021-02-16
\|
*	Ready for strategies case study	Aren Babikian	2021-02-16
\|
*	Minor adjsutments to CrossScen ad FamTree local case studies	Aren Babikian	2021-02-16
\|
*	fix dreal call on solved problem imprecision issue	Aren Babikian	2021-02-15
\|
*	finished first impl that works sometimes (issue w/ SAT in Dreal rerun)	Aren Babikian	2021-02-14
\|
*	Add strategy flag + implement alost working crossingScenarioStrategy	Aren Babikian	2021-02-14
\|
*	add cs scalability case study artifacts	Aren Babikian	2021-02-12
\|
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	Remove dreal	Aren Babikian	2021-02-06
\|
*	fix previous commit	Aren Babikian	2021-02-03
\|
*	add dreal build	Aren Babikian	2021-02-03
\|
*	major changes to CS case study, working example, few issues, major assumptions	Aren Babikian	2021-02-03
\|
*	fix derived feature handling + impove dreal calling	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
\|
*	temporary fix for Z3 usage on Linux VM	Aren Babikian	2021-01-26
\|
*	Fix bin/ and xtend-gen/ ignoring for diversity-calculator	Aren Babikian	2021-01-26
\|
*	Simple working version. Still diversity issue	Aren Babikian	2021-01-24
\|
*	Fix bug for ignored-attributes + better logic problem creation	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
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	forgot to commit some changes to Application	Aren Babikian	2021-01-14
\|
*	Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals	Aren Babikian	2021-01-14
\|
*	Add aird file for crossingScenario Ecore	Aren Babikian	2021-01-14
\|
*	refactor simpleScenario->crossingScenario	Aren Babikian	2021-01-14
\|
*	deactivate the constraints used for debugging	Aren Babikian	2021-01-14
\|
*	Adjust simpleScenario MM and add constraints	Aren Babikian	2021-01-14
\|
*	Add some documents to debug MG issue	Aren Babikian	2021-01-14
\|
*	improve simpleScenario MM	Aren Babikian	2021-01-12
\|
*	rename simpleScenario folder	Aren Babikian	2021-01-12
\|
*	first version of the simpleScenario MM+VQL. noRealMatches bug found	Aren Babikian	2021-01-11
\|
*	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
\|
*	fine-tune measurement setup	Aren Babikian	2021-01-06
\|
*	prepping measurement setup w/ dreal	Aren Babikian	2021-01-06
\|