Ubuntu
cbmc package

ubuntu/+source/cbmc:applied/ubuntu/hirsute

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

Recent commits

eb2cfdc... by Michael Tautschnig

5.12-5 (patches applied)

Imported using git-ubuntu import.

2510929... by Michael Tautschnig

clean the right file

Gbp-Pq: fix_cleanup_typo.

e9f851c... by Michael Tautschnig

disable tests that take too long on mipsel

Gbp-Pq: mipsel_expensive_tests.

c75ed18... by Michael Tautschnig

fix broken float128 patch

Gbp-Pq: cpp_fixup.

c1357ef... by Michael Tautschnig

support __ieee128 with C++

Gbp-Pq: float128_cpluscplus.

1221edc... by Michael Tautschnig

simplify big-endian byte updates

Gbp-Pq: big_endian_byte_update.

27e8ed6... by Michael Tautschnig

permit negative input value in regression test

Gbp-Pq: negative_value.

79800b9... by Michael Tautschnig

further float128 fixes

Gbp-Pq: float128-2.

077f9d9... by Michael Tautschnig

hardcode endianness assumptions in tests

Gbp-Pq: endianness_regression_tests.

5520c52... by Michael Tautschnig

mind endianness when reading ELF objects

Gbp-Pq: elf_endianness.