Select Git revision
- Branches 20
- memDefReach
- f-LLVM11Support
- f-fixCStylePolymorphism
- development
- f-DoubleCheckAssert
- f-fixVTableRetrieval
- f-AlignProjectIRDB
- f-AutomatedBugFixing
- master default protected
- f-EdgeFunctionSigFac
- f-FixBitVectorSetLess
- f-FixLatticeDomainLess
- f-FixCMakeIntreeDetection
- f-ReworkFlowEdgeFunctionsMemoryManagement
- f-IIAAnalysis
- f-FlowEdgeFunctionPointerImprovement
- f-RemovedUnneededProblemRefs
- f-MemoryReplaceTable
- f-InterMonoFullConstantPropagation
- f-UpdateLoggerEdgeFunctionCache
- Tags 8
- v0120
- v0819
- v0619
- v0319
- v1218
- v1118
- v1018
- v-pldi18
-
Created dockerfile and successfully built a docker image for phasar · 55c8fccdFabian Schiebel authored
