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

	Commit message (Collapse)	Author	Age
*	rebase dreal-integ on models20-measurements	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
\|
*	Fix time measurement	Kristóf Marussy	2020-07-29
\|
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-07-16
\|
*	Optimizations	Kristóf Marussy	2020-07-14
\|
*	Fix event storm on EMF transaction finish	Kristóf Marussy	2020-07-08
\|
*	Restore inverse punishSize	Kristóf Marussy	2020-07-07
\|
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	Disable unrepairable match scoping for now	Kristóf Marussy	2020-06-30
\|
*	Fix scope + numerical solver interaction	Kristóf Marussy	2020-06-28
\|
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|
*	New configuration language parser WIP	Kristóf Marussy	2020-06-23
\|
*	Config language WIP	Kristóf Marussy	2020-05-19
\|
*	Synthetic tokens for solver language	Kristóf Marussy	2020-05-08
\|
*	Update solver language grammar	Kristóf Marussy	2020-05-08
\| \| \| \|	First version, still needs TokenSource and Linker to work.
*	PS language update	Oszkar Semerath	2020-05-06
\|
*	color update	Oszkar Semerath	2020-05-06
\|
*	initial commit	Oszkar Semerath	2020-04-28