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

	Commit message (Collapse)	Author	Age
*	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
\|
*	fix derived feature handling + impove dreal calling	Aren Babikian	2021-02-03
\|
*	Simple working version. Still diversity issue	Aren Babikian	2021-01-24
\|
*	Almost done implementing collision correctly	Aren Babikian	2021-01-22
\|
*	Major MM update + Refactor VQL + post-meeting approach change	Aren Babikian	2021-01-21
\|
*	almost finish crossscen VQL + implement ITE handling + prelim results	Aren Babikian	2021-01-20
\|
*	add Actor+CollisionExists constrs & adjust dreal parser & measurements	Aren Babikian	2021-01-19
\|
*	add vsconfig flag to allow running dreal locally	Aren Babikian	2021-01-19
\|
*	complete queries for lane structure	Aren Babikian	2021-01-17
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	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
\|
*	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