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
2020-06-14This branch is ready to be merged into masterVampire-NewLibravatar ArenBabikian
2020-06-13remove Alloy solver copyLibravatar ArenBabikian
2020-06-07Merge branch 'Vampire-New' into Vampire-NewLibravatar ArenBabikian
2020-06-07VAMPIRE: Rebase on MasterLibravatar ArenBabikian
2020-06-07VAMPIRE: last commitLibravatar ArenBabikian
2020-06-07VAMPIRE: Further Post-submission updatesLibravatar ArenBabikian
2020-06-07VAMPIRE: post-submission pushLibravatar ArenBabikian
2020-06-07mid-measurement pushLibravatar ArenBabikian
2020-06-07VAMPIRE: complete data collection and code setupLibravatar ArenBabikian
2020-06-07VAMPIRE: complete testing setupLibravatar ArenBabikian
[...]
 
Clone
https://git.marussy.com/VIATRA-Generator
ssh://gitolite@marussy.com/VIATRA-Generator.git
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 17:26:10 +0000