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

	Commit message (Collapse)	Author	Age
*	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
\|
*	Merge branch 'dreal-integration' of ↵	Aren Babikian	2021-01-06
\|\ \| \| \| \| \| \|	https://github.com/viatra/VIATRA-Generator into dreal-integration
\| *	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2020-12-15
\| \|
\| *	implement getOneSolution with Dreal Integration	Aren Babikian	2020-12-14
\| \|
\| *	implement isSatisfiable with Dreal integration	Aren Babikian	2020-12-14
\| \|
\| *	add numericProblemSolver supertype	Aren Babikian	2020-12-13
\| \|
\| *	prep for refactoring Numeric Probelm Solvers	Aren Babikian	2020-12-13
\| \|
\| *	implement setup for dreal calls	Aren Babikian	2020-12-13
\| \|
\| *	remove auto-generated files and fix gitignores	Aren Babikian	2020-12-12
\| \|
* \|	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
\| \|
* \|	rebase dreal-integ on models20-measurements	Aren Babikian	2021-01-06
\| \|
* \|	merge models20 measurements	Aren Babikian	2021-01-05
\|\ \ \| \|/ \|/\|
\| *	add readme and diversity measurementsmodels20-measurements	Aren Babikian	2021-01-05
\| \|
\| *	add notebook for generating plots	Aren Babikian	2021-01-05
\| \|
\| *	add models20 measuement setup from VM	Aren Babikian	2021-01-05
\| \|
* \|	Prefer the global scope insted of nsURI in application configuration	Kristóf Marussy	2020-12-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Trying to find a resource by nsURI first sometimes lead to a situation where a spurious resource was added to the ResourceSet which didn't contain the requested object. Thus, linking failed. By first looking up the imported name in the global scope and falling back to the nsURI only later, we can ensure that linking always succeeds if the referenced object is already in the Xtext index.