Commit Graph

Select branches

Hide Pull Requests

UnifyAllSolutions

UnifyDependentSubstitutions

addPackages

antlr

antlr2

astRecordRefactoring

bcGenerics

bcel

bigCleanup

bigRefactoring

bigRefactoringUnifyComment

bytecode

bytecode2

bytecodeGenerics

bytecodeGenericsSecond

classfile

classloader

fixPlugin

generateTestConstraints

gradle

inferWildcards

intellij

martin

master

ohneMaven

parseSignature

parser

patternMatching

plugin

refactorToAPIs

refactoring

refactoring2020

refactoringConstraintSet

refactoringUnify

sat

simplifyRes

strucTypes

strucTypesNew

strucTypesTemp

strucTypesVollmer

strucTypes_dev2

strucTypes_dev_PL

targetBytecode

typeErasure

unif23

unif23Full

unif23NoOptParallel

unif23NoOptParallel_Lehmann

unify

unify-PartialOrderSet

unify-test

unifyDev

unifyOptimierung

unifyStable

Mono Color