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

	Commit message (Collapse)	Author	Age
*	remove local-docker file transfer	Aren Babikian	2021-01-09
\|
*	fix dup decl bug + adjust famTree case study	Aren Babikian	2021-01-07
\|
*	prepping measurement setup w/ dreal	Aren Babikian	2021-01-06
\|
*	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
\|
*	Fix VQL validator breakage after Execute Application Configuration	Kristóf Marussy	2020-12-02
\|
*	Merge branch 'master' of github.com:viatra/VIATRA-Generator	Kristóf Marussy	2020-11-26
\|\
\| *	NumericProblemSolver is initialized only if it is necessary	Oszkar Semerath	2020-11-13
\| \|
* \|	Fix Z3 dependency	Kristóf Marussy	2020-11-26
\|/
*	Use String to create RealExpr	anqili426	2020-05-13
\|
*	removed unnecesary printing	Oszkar Semerath	2020-05-12
\|
*	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\|
*	precise time measurements for the numeric solver	Oszkar Semerath	2020-05-12
\|
*	Fixed bug in setting constant types	anqili426	2020-05-11
\|
*	Added support for real numbers	anqili426	2020-05-10
\|
*	closing numerical solver	Oszkar Semerath	2020-05-10
\|
*	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09
\|
*	Rebuild with Eclipse 2020-03	Kristóf Marussy	2020-05-07
\|
*	viatra parsing fixes	Oszkar Semerath	2020-05-07
\|
*	Adjust classpath for Z3 in viatra2logic	ArenBabikian	2020-05-06
\|
*	Able to run Pledge Case Study	ArenBabikian	2020-04-28
\|
*	Merge branch 'Attribute-Solver'	anqili426	2020-04-26
\|\
\| *	Added FakeIntegerElement	anqili426	2020-04-26
\| \|
* \|	Merge branch 'Attribute-Solver'	anqili426	2020-04-25
\|\\|
\| *	Added new test	anqili426	2020-04-22
\| \|
\| *	Added measurements	anqili426	2020-04-15
\| \|
\| *	Added test methods with running time measurement	anqili426	2020-04-15
\| \|
\| *	Added logic to get a solution	anqili426	2020-04-15
\| \|
\| *	Updated logic that creates a numeric problem using matches	anqili426	2020-04-08
\| \|
\| *	Added logic to create a numeric problem instance with pattern matches	anqili426	2020-04-07
\| \|
\| *	Added logic to form numeric problem templates	anqili426	2020-03-31
\| \|
\| *	Added call to form numeric problem templates	anqili426	2020-03-31
\| \|
* \|	variable mapping trace is created after mapping	Oszkar Semerath	2020-04-17
\| \|
* \|	Variable trace added to Viatra2Logic mapping	Oszkar Semerath	2020-04-17
\| \|
* \|	check constraint is a special eval	Oszkar Semerath	2020-04-15
\|/
*	parsing count, min, max, check and eval v1	Oszkar Semerath	2019-07-15
\|
*	ParseUtil hijacked original vql parser and caused errors - fix by kris7t	OszkarSemerath	2019-03-19
\| \| \|	https://github.com/kris7t
*	Removed unnecessary logging	OszkarSemerath	2019-02-17
\|
*	Update error message for untranslated types in Viatra	OszkarSemerath	2018-10-11
\|
*	updated support for java types	OszkarSemerath	2018-09-14
\|
*	Updated type provider to support java native types	OszkarSemerath	2018-08-10
\|
*	Scope support for attributes	OszkarSemerath	2018-07-16
\|
*	Cleared metafiles	OszkarSemerath	2018-05-12
\|
*	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
\|