aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterchanged dot visualization to svg to make it compatible with batik 1.14Libravatar OszkarSemerath2 years
web-demoMerge remote-tracking branch 'origin/web-demo'Libravatar Kristóf Marussy3 years
statecoding_newinitial commit for new state codingLibravatar 20000LastOrder3 years
V4transformationNumeric solver dreal hardcoding -> configLibravatar OszkarSemerath3 years
dreal-integrationCrossingScenario case study is ready for serverLibravatar Aren Babikian3 years
models20-measurementsadd readme and diversity measurementsLibravatar Aren Babikian3 years
Realistic-Generation-SUREcode for paperLibravatar 20001LastOrder3 years
Vampire-NewThis branch is ready to be merged into masterLibravatar ArenBabikian4 years
Attribute-SolverGet a different solutionLibravatar anqili4264 years
RealisticMetricsREALMET: forgot to add .Libravatar ArenBabikian5 years
[...]
 
 
AgeCommit messageAuthor
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
2021-02-07measurement setup is ready for serverLibravatar Aren Babikian
2021-02-06Remove drealLibravatar Aren Babikian
[...]
 
Clone
https://git.marussy.com/VIATRA-Generator
ssh://gitolite@marussy.com/VIATRA-Generator.git
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-04-30 17:56:59 +0000