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
hypergraphsChange example (?)Libravatar Rebus Farkas6 years
Scope-PS-RefactorSupport for updated partial model representation during generationLibravatar OszkarSemerath6 years
cardinality-counterAbstract supertype cardinality countLibravatar LilianaBohus6 years
Vampire-ArenBfinal commit before the presentationLibravatar ArenBabikian6 years
smartgridgeneratorFinished Realistic Generator Libravatar Mayer Krisztián6 years
 
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 13:45:13 +0000