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

	Commit message (Collapse)	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
\|
*	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
\|
*	crlf fix	Aren Babikian	2021-01-06
\|
*	Fix VQL validator breakage after Execute Application Configuration	Kristóf Marussy	2020-12-02
\|
*	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\|
*	Must unit propagation	Kristóf Marussy	2020-08-28
\|
*	MoDeS3 unit propagation WIP	Kristóf Marussy	2020-08-06
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\| \|
\| *	Remove empty src directories from build path	Kristóf Marussy	2019-10-29
\| \|
\| *	Remove MDEOptimiser dependency	Kristóf Marussy	2019-10-29
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-22
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-15
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \|
\| *	Fix enum literal support for FAM	Kristóf Marussy	2019-08-02
\| \|
\| *	Trying to run generator in measurement environment	Kristóf Marussy	2019-08-01
\| \|
\| *	Ensure that experiment runner code compiles	Kristóf Marussy	2019-08-01
\| \|
\| *	Clean up CPS and Satellite domains	Kristóf Marussy	2019-08-01
\| \|
\| *	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| \| \| \| \| \| \| \|	Modified graph width calculation to not depend on order of nodes
\| *	Bump MDEOptimizer version	Kristóf Marussy	2019-06-09
\| \| \| \| \| \| \| \|	https://github.com/mde-optimiser/mde_optimiser/issues/49