CBMC

cbmc:fixed_integert

  1. Git
  2. lp:cbmc
  3. fixed_integert
Last commit made on 2019-02-21
Get this branch:
git clone -b fixed_integert https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
fixed_integert
Repository:
lp:cbmc

Recent commits

9f1c209... by Daniel Kroening <email address hidden>

added fixed_integert

911b9f3... by Michael Tautschnig

Merge pull request #4237 from diffblue/instructiont-transform

adding instructiont::transform(f)

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

adding instructiont::transform(f)

This avoids duplicating the idiom of iterating over the expressions in an
instruction.

4e30927... by Daniel Kroening <email address hidden>

remove to_integer(const exprt &, ...)

This function has been marked as "will go away" since 2013. It has no known
users.

f4dedec... by Peter Schrammel <email address hidden>

Merge pull request #3970 from peterschrammel/fault-localizer

Integrate fault localizer into goto checker [blocks: 4215]

60fe468... by Michael Tautschnig

Merge pull request #4205 from diffblue/get_set_instructiont_code

added instructiont::set_X

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

introduce instructiont::set_X

This avoids accidental disruption of sharing.

43363a3... by Michael Tautschnig <email address hidden>

Remove broken-smt-backend tag from passing tests

These pass at present. No attempt to bisect and link to the respective fixes has
been made.

e85d6ba... by Owen <email address hidden>

Remove redundant line

55eec59... by Romain Brenguier <email address hidden>

Merge pull request #3988 from romainbrenguier/refactor/symex-rename1

Refactoring in goto_symex