Ubuntu
cbmc package

ubuntu/+source/cbmc:applied/ubuntu/noble

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

Recent commits

e7d2fb9... by Graham Inggs

5.95.1-4ubuntu1 (patches applied)

Imported using git-ubuntu import.

5c643fa... by Graham Inggs

Fixup

Gbp-Pq: even-more-no-64-bit-preproc.

6237f4b... by Graham Inggs

We don't handle endianness and pointers properly

Gbp-Pq: big-endian-pointers-3.

adda7d6... by Graham Inggs

consistent signedness

Gbp-Pq: unsigned-char-cpp.

e7f5550... by Graham Inggs

fix logl recursion

Gbp-Pq: logl-recursion.

9b21eae... by Graham Inggs

fixup

Gbp-Pq: no-preproc-followup-2.

20610e9... by Graham Inggs

Patch for patch

Gbp-Pq: nopreproc-follow-up.

c72df71... by Graham Inggs

Shadow memory doesn't work on big-endian archs

Gbp-Pq: disable-shadow-memory-tests.

1bb569d... by Graham Inggs

Do not require 64-bit headers

Gbp-Pq: no-64bit-preproc.

f1b17cd... by Graham Inggs

Support unsigned char, fix type header clean

Gbp-Pq: unsigned-char-type-header-fix.