aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterfixed bigdecimal <-> double casting errorLibravatar oszkarsemerath7 weeks
dreal-integrationCrossingScenario case study is ready for serverLibravatar Aren Babikian4 months
models20-measurementsadd readme and diversity measurementsLibravatar Aren Babikian5 months
Realistic-Generation-SUREcode for paperLibravatar 20001LastOrder7 months
Vampire-NewThis branch is ready to be merged into masterLibravatar ArenBabikian12 months
Attribute-SolverGet a different solutionLibravatar anqili42613 months
RealisticMetricsREALMET: forgot to add .Libravatar ArenBabikian22 months
hypergraphsChange example (?)Libravatar Rebus Farkas3 years
Scope-PS-RefactorSupport for updated partial model representation during generationLibravatar OszkarSemerath3 years
cardinality-counterAbstract supertype cardinality countLibravatar LilianaBohus3 years
[...]
 
 
AgeCommit messageAuthor
2021-05-03fixed bigdecimal <-> double casting errorHEADmasterLibravatar oszkarsemerath
2021-03-12adds some MM imagesLibravatar Aren Babikian
2021-02-16CrossingScenario case study is ready for serverdreal-integrationLibravatar Aren Babikian
2021-02-16add dreal-timeout flagLibravatar Aren Babikian
2021-02-16Ready for strategies case studyLibravatar Aren Babikian
2021-02-16Minor adjsutments to CrossScen ad FamTree local case studiesLibravatar Aren Babikian
2021-02-15fix dreal call on solved problem imprecision issueLibravatar Aren Babikian
2021-02-14finished first impl that works sometimes (issue w/ SAT in Dreal rerun)Libravatar Aren Babikian
2021-02-14Add strategy flag + implement alost working crossingScenarioStrategyLibravatar Aren Babikian
2021-02-12add cs scalability case study artifactsLibravatar Aren Babikian
[...]
 
Clone
https://git.marussy.com/VIATRA-Generator
ssh://gitolite@marussy.com/VIATRA-Generator.git