lp:ubuntu/trusty/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

18. By Adam Conrad on 2013-10-28

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

17. By Adam Conrad on 2013-10-28

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

16. By Adam Conrad on 2012-11-07

Fix preprocessing on armhf by passing through the __ARM_PCS_VFP define.

15. By Ilya Barygin on 2012-11-05

Don't fail on unused-result warnings.

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

10. By Salvatore Bonaccorso on 2012-05-20

* Non-maintainer upload.
* Update fix-FTBFS-with-gcc-4.7.patch patch.
  Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
  Thanks to Steven Chamberlain <email address hidden> for the patch.
  (Closes: #673579)

9. By Salvatore Bonaccorso on 2012-05-13

* Non-maintainer upload.
* Add fix-FTBFS-with-gcc-4.7.patch patch.
  Fix FTBFS with gcc 4.7. Fix missing <unistd.h> includes and add 'this->'
  where needed.
  Thanks to Cyril Brulebois <email address hidden> for the patch. (Closes: #667131)