Ubuntu
cbmc package

ubuntu/+source/cbmc:applied/ubuntu/cosmic-proposed

  1. Git
  2. lp:ubuntu/+source/cbmc
  3. applied/ubuntu/cosmic-proposed
Last commit made on 2018-07-06
Get this branch:
git clone -b applied/ubuntu/cosmic-proposed https://git.launchpad.net/ubuntu/+source/cbmc
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/cosmic-proposed
Repository:
lp:ubuntu/+source/cbmc

Recent commits

a2e7d1c... by Michael Tautschnig

5.9-6 (patches applied)

Imported using git-ubuntu import.

2fd72b7... by Michael Tautschnig

Do not enforce little-endian representation on big-endian archs

Gbp-Pq: java-endianness-fix.

3c0f678... by Michael Tautschnig

MIPS preprocessing fixup

Gbp-Pq: mips-fixup.

9129d62... by Michael Tautschnig

Comparison against -1 would be always false for unsigned char

Gbp-Pq: unsigned-char-test-fix.

5ca114c... by Michael Tautschnig

kfreebsd uses ELF

Gbp-Pq: goto-gcc-kfreebsd.

61792ac... by Michael Tautschnig

Fixup to earlier preprocessing changes

Gbp-Pq: fixup-preprocessing.

9663e99... by Michael Tautschnig

Support for big-endian byte_extract not fully implemented

Gbp-Pq: missing-support-for-big-endian.

9b62411... by Michael Tautschnig

The values tested are fixed for little-endian architectures

Gbp-Pq: byte_update-tests-are-little-endian-only.

f7f5d53... by Michael Tautschnig

Do not require 32-bit cross preprocessing support

Gbp-Pq: no-32-bit-support-needed.

20ebbec... by Michael Tautschnig

Follow-up fix for preprocessing for x32

Gbp-Pq: fixup-x32-support.