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

	Commit message (Collapse)	Author	Age
*	Numeric solver dreal hardcoding -> configV4transformation	OszkarSemerath	2021-07-30
\|
*	CrossingScenario case study is ready for serverdreal-integration	Aren Babikian	2021-02-16
\|
*	add dreal-timeout flag	Aren Babikian	2021-02-16
\|
*	Ready for strategies case study	Aren Babikian	2021-02-16
\|
*	fix dreal call on solved problem imprecision issue	Aren Babikian	2021-02-15
\|
*	finished first impl that works sometimes (issue w/ SAT in Dreal rerun)	Aren Babikian	2021-02-14
\|
*	Add strategy flag + implement alost working crossingScenarioStrategy	Aren Babikian	2021-02-14
\|
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	almost finish crossscen VQL + implement ITE handling + prelim results	Aren Babikian	2021-01-20
\|
*	add vsconfig flag to allow running dreal locally	Aren Babikian	2021-01-19
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	Add config flag for selecting numeric solver. Integ with Z3	Aren Babikian	2021-01-06
\|
*	implement isSatisfiable with Dreal integration	Aren Babikian	2021-01-06
\|
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
\|
*	intermediateConsistencyCheck controls the maySatisfiable only	Oszkar Semerath	2020-05-19
\|
*	fixes for the measurement	Oszkar Semerath	2020-05-14
\|
*	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\|
*	Allow real numbers to be in the solution	anqili426	2020-05-10
\|
*	separated must and current UP rules to support non-prop neg finds	Oszkar Semerath	2020-05-11
\|
*	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\|
*	uninvolved objects are filled with a default value	Oszkar Semerath	2020-05-09
\|
*	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09