Merge requests · SoSy-Lab / Software / CPAchecker

WIP: Resolve "Use clang together with LLVM frontend"

!28 · created Oct 06, 2020 by Thomas Lemberger trunk
Student Task auto-migrated component: LLVM Frontend enhancement priominor
- Closed
- 9
updated Nov 15, 2020
Implement coverage-based fault localization with Tarantula, Ochiai, DStar

!24 · created Sep 02, 2020 by Thomas Lemberger trunk
Thesis topic
- Closed
- 158
updated Sep 22, 2020
SMGCPA merge

!19 · created May 22, 2020 by Philipp Wendler trunk
component: SMGCPA
- Closed
- 11
updated Jun 16, 2020
WIP: Tarantula

!18 · created May 15, 2020 by Thomas Lemberger trunk
- Closed
- 75
updated May 27, 2020
WIP: Tarantula

!15 · created Apr 08, 2020 by Thomas Lemberger trunk
- Closed
- 64
updated Apr 20, 2020
Merge branch witnessValidationPredicate

!4 · created Jun 04, 2019 by Martin Spiessl trunk
- Closed
- 40
updated Jul 01, 2019
Cpa communication

!1 · created Mar 28, 2016 by Philipp Wendler trunk
- Closed
updated Mar 28, 2016