Release 4.2.2

Release 4.2.1

Release 4.2

Thanks to all contributors!

Release 4.1

Thanks to all contributors!

Release 4.0

Release 3.0 of CPAchecker

Many thanks to all contributors!


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-3.0@47050 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

Release 2.4 of CPAchecker!

Many thanks to all contributors!


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-2.4@46982 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

Release 2.3.1 of CPAchecker!

Many thanks to all contributors!


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-2.3.1@46354 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

Release 2.3 of CPAchecker!

Many thanks to all contributors!


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-2.3@45343 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

Release 2.2 of CPAchecker

Many thanks to all contributors!


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/tags/cpachecker-2.2@42400 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c