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

	Commit message (Collapse)	Author	Age
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	Fix bug for ignored-attributes + better logic problem creation	Aren Babikian	2021-01-24
\|
*	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
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	Optimizations	Kristóf Marussy	2020-07-14
\|
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|\
\| *	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\| \|
\| *	Polyhedron solver SAT fix and initial scope filtering	Kristóf Marussy	2019-10-29
\| \|
\| *	Measurements WIP	Kristóf Marussy	2019-08-14
\| \|
\| *	Merge remote-tracking branch 'origin/master' into kris	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
* \| \|	FIx Boolean export to gml	Kristóf Marussy	2020-05-20
\| \| \|
* \| \|	Merge branch 'master' of https://github.com/viatra/VIATRA-Generator	Oszkar Semerath	2020-05-20
\|\ \ \
\| * \| \|	Add new state coder	Kristóf Marussy	2020-05-19
\| \| \| \|
* \| \| \|	adding numbers to gml visualization	Oszkar Semerath	2020-05-20
\|/ / /
* \| \|	Bigliteral serialization in xmi transformation fixed	Oszkar Semerath	2020-05-11
\| \| \|
* \| \|	(lipstick)	Oszkar Semerath	2020-04-15
\| \| \|
* \| \|	fixing index out ot bound exceptions for state coders	Oszkar Semerath	2019-10-19
\| \|/ \|/\|
* \|	https://github.com/kris7t graph width calculation ->	Oszkar Semerath	2019-07-15
\|/ \| \| \|	from https://github.com/kris7t/VIATRA-Generator/blob/c0c5a1644cc221352b8b9b370eea6a87677ba948/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend#L99-L138
*	Default state coder range set to Width, as it should be	OszkarSemerath	2019-06-01
\|
*	Fix for symmetric activation codes on symmetric models	OszkarSemerath	2019-05-13
\|
*	Solution store diversity requirement set to 1 as default	OszkarSemerath	2019-02-17
\|
*	some missing string support bugs in partial interpretation are fixed	OszkarSemerath	2018-11-07
\|
*	Scope initialisation is default	OszkarSemerath	2018-09-14
\|
*	Added support for SHORT type as integer	OszkarSemerath	2018-08-28
\|
*	Scope support for attributes	OszkarSemerath	2018-07-16
\|
*	Fixing multiple true/false + bug preventing generation without PS	OszkarSemerath	2018-06-25
\|
*	Fixing multiple "true" and "false" objects	OszkarSemerath	2018-06-20
\|
*	Updated partial model representation handling	OszkarSemerath	2018-06-13
\|
*	Updated partial model representation	OszkarSemerath	2018-06-13
\|
*	Moved partial model management is moved to one project (+1 PM edge fix)	OszkarSemerath	2018-05-14
\|
*	Refactored to the milestone version of Viatra 2.0	OszkarSemerath	2018-05-08
\|
*	Updated and fixed dependencies:	OszkarSemerath	2018-05-07
\| \| \| \| \| \|	- All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra
*	upgraded attribute support for the graph solver	OszkarSemerath	2018-03-24
\|
*	Fixed nasty bug with creating root element	OszkarSemerath	2018-03-05
\|
*	neighbourhood calculated to fix range	OszkarSemerath	2017-10-27
\|
*	Representation included trace by accident	OszkarSemerath	2017-10-27
\|
*	Simple visualiser that prints the size of the intermediate solution.	OszkarSemerath	2017-08-27
\|
*	Primitive types added to the logic problem only if needed	OszkarSemerath	2017-08-27
\|
*	Added separate symbolic objects to all primitive objects	OszkarSemerath	2017-08-16
\|
*	Added known primitives to the scope	OszkarSemerath	2017-08-15
\|
*	Partial interpretation from initial instance model	OszkarSemerath	2017-08-15
\|
*	Literals from the problem are added to the initial set of primitive	OszkarSemerath	2017-08-15
\| \| \|	objects.
*	Partial interpretation initialiser with primitive types	OszkarSemerath	2017-08-15
\|
*	Primitive elements in the partial interpretation	OszkarSemerath	2017-08-15
\|
*	Added primitive types to the model code	OszkarSemerath	2017-08-15
\|
*	Adding visualisation support for partial interpretations.	OszkarSemerath	2017-07-12
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10