Merge requests · SoSy-Lab / Software / CPAchecker

Fix `-clang` failing if used with `-noout`

!47 · created Apr 09, 2021 by Thomas Lemberger component: LLVM Frontend
- 1 left
- 8
updated Apr 09, 2021
Draft: Add feature to convert test goals to condition automata

!42 · created Jan 08, 2021 by Thomas Lemberger
- 1 left
- 5
updated Apr 12, 2021
Upgrade Octagon and Elina Library

!41 · created Dec 28, 2020 by Karlheinz Friedberger
- 1 left
- 0
updated Dec 28, 2020
Build process via npm for the HTML report

!40 · created Dec 10, 2020 by Philipp Wendler component: HTML Report
- 1 left
- 22
updated Apr 06, 2021
Merge Legion

!38 · created Dec 09, 2020 by Philipp Wendler
- 1 left
- 199
updated Jan 25, 2021
MR for code review of branch acsl-bachelor

!35 · created Nov 19, 2020 by Martin Spiessl
- 1 left
- 58
updated Apr 09, 2021
WIP: Unit tests fault localization

!32 · created Nov 05, 2020 by Thomas Lemberger
- 1 left
- 26
updated Mar 23, 2021
MR for code review of branch sl integration0

!25 · created Sep 19, 2020 by Martin Spiessl
- 1 left
- 114
updated Jan 25, 2021
MR for Code Review of loopaccel branch

!22 · created Aug 04, 2020 by Martin Spiessl Thesis topic
- 1 left
- 107
updated Apr 05, 2021
Merge CPALockator

!9 · created Oct 14, 2019 by Philipp Wendler
- 1 left
- 2
updated Jan 25, 2021
Backward transfer

!8 · created Sep 25, 2019 by Karlheinz Friedberger Thesis topic
- 1 left
- 20
updated Dec 27, 2020