Ubuntu
cbmc package

ubuntu/+source/cbmc:applied/ubuntu/artful

  1. Git
  2. lp:ubuntu/+source/cbmc
  3. applied/ubuntu/artful
Last commit made on 2016-12-04
Get this branch:
git clone -b applied/ubuntu/artful 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/artful
Repository:
lp:ubuntu/+source/cbmc

Recent commits

a340033... by Michael Tautschnig

5.6-1 (patches applied)

Imported using git-ubuntu import.

57cb149... by Michael Tautschnig

9b30a3

No DEP3 Subject or Description header found

Gbp-Pq: 9b30a3.

3c8710a... by Michael Tautschnig

cpp/enum8 fails with GCC6 due to C++ front-end limitations

Gbp-Pq: enum8_knownbug.

49ee077... by Michael Tautschnig

MMX1 regression test failing

Gbp-Pq: mmx1_knownbug.

432e112... by Michael Tautschnig

big-endian support still work in progress

Gbp-Pq: big-endian-knownbugs2.

d85901e... by Michael Tautschnig

Use minisat from Debian package

Gbp-Pq: minisat-debian.

5a3c0dd... by Michael Tautschnig

5.6-1 (patches unapplied)

Imported using git-ubuntu import.

8a356eb... by Michael Tautschnig

5.5-1 (patches applied)

Imported using git-ubuntu import.

26329c1... by Michael Tautschnig

5.5-1 (patches unapplied)

Imported using git-ubuntu import.

cf3fb1e... by Michael Tautschnig

gcc_attributes5 newly fails in 5.5, needs debugging

Gbp-Pq: gcc_attributes5_regression.