lp:ubuntu/wily-proposed/cbmc

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

20. By Michael Tautschnig on 2015-05-11

* New upstream release
* Most 5.0 patches merged

19. By Michael Tautschnig on 2015-02-08

Fix long-double-width on sparc

18. By Michael Tautschnig on 2015-02-07

Pick big-endian patches from trunk (Closes: 776842)

17. By Michael Tautschnig on 2014-12-18

* Make assertion fail if chdir fails. Thanks Graham Inggs for the heads-up.
  (Closes: #773455)
* Updated Standards version to 3.9.6 (no changes required)

16. By Adam Conrad on 2013-10-28

arm64-aarch64: Use __aarch64__ on arm64, not __arm64__ or __arm__

15. By Adam Conrad on 2013-10-28

* Merge from Debian unstable; remaining changes:
  - build with -Wno-error=unused-result to avoid FTBFS from -Werror

14. By Michael Tautschnig on 2012-09-20

s390x hack, will be fixed properly in next upstream release

13. By Michael Tautschnig on 2012-09-20

* Fix preprocessing on architectures with unsigned char
* Proper word size define for mips
* Added regression test to check for missing builtins

12. By Michael Tautschnig on 2012-09-19

* Fix missing includes on freebsd kernels, once more
* Fix test suite for non-x86 architecture specifics

11. By Michael Tautschnig on 2012-09-19

* Fix missing includes on freebsd kernels
* Fixed test output helper