Ubuntu
cbmc package

Change logs for cbmc source package in Disco

  1. Disco (19.04)
  2. Change log 
  • cbmc (5.10-5) unstable; urgency=low

  * Use default-jdk-headless instead of openjdk-8 (Closes: #910704)

 -- Michael Tautschnig <email address hidden>  Wed, 17 Oct 2018 19:55:17 +0100
  • cbmc (5.9-6) unstable; urgency=low

  * Fix mips 32-bit cross configuration
  * Fix Java string literal conversion for big-endian architectures

 -- Michael Tautschnig <email address hidden>  Thu, 05 Jul 2018 22:36:05 +0100