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

	Commit message (Collapse)	Author	Age
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\|
*	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\|
*	FAM metamodel loader experiments	Kristóf Marussy	2019-08-30
\|
*	Measurements WIP	Kristóf Marussy	2019-08-15
\|
*	Measurements WIP	Kristóf Marussy	2019-08-14
\|
*	Ensure that experiment runner code compiles	Kristóf Marussy	2019-08-01
\|
*	Removed PQuery from API, IQuerySpecification is used instead	OszkarSemerath	2018-01-23
\|
*	Test and measurement runners	OszkarSemerath	2017-10-27
\|
*	Research paper measurement configuration updates	OszkarSemerath	2017-09-27
\|
*	Example configuration for running measurements.	OszkarSemerath	2017-07-05
\|
*	Initial commit, migrating from SVN	OszkarSemerath	2017-06-10