CBMC

cbmc:Dresden

  1. Git
  2. lp:cbmc
  3. Dresden
Last commit made on 2017-11-07
Get this branch:
git clone -b Dresden https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
Dresden
Repository:
lp:cbmc

Recent commits

346ad47... by Michael Tautschnig <email address hidden>

Accept more mismatching function definition/declaration pairs

As long as the bit-width of parameters matches, we should be able to obtain sane
results.

533bc6e... by Michael Tautschnig <email address hidden>

Accept the --build-id option in goto-ld

3608c02... by Michael Tautschnig <email address hidden>

Cope with EFI binaries

Running objcopy on EFI binaries does not work, hence we need to give up on the
goto-cc sections in a graceful manner.

6c489db... by Michael Tautschnig <email address hidden>

Do not modify object_files list while processing it

Its contents is useful elsewhere and should not be unnecessarily destroyed.

a87500e... by Michael Tautschnig <email address hidden>

Distribute ls_parse.py with goto-cc

1e00134... by Michael Tautschnig <email address hidden>

Make linker-script processing failures non-fatal

The current parsing code is not yet tested on a sufficient variety of scripts.
Failing to process linker scripts is as good as the previous state where they
had been ignored completely.

da8585b... by Michael Tautschnig <email address hidden>

fixup! goto-gcc removes CPROVER macros for native gcc

360458b... by Daniel Kroening <email address hidden>

disable -D__CPROVER command line additions

efd75fc... by Daniel Kroening <email address hidden>

remove RUN output for gcc mode

5e7bae0... by Daniel Kroening <email address hidden>

fix for failing assertion