master : lp:cbmc : Git : Code : CBMC

Branch information

9ae35de... by Daniel Kroening <email address hidden> on 2017-09-03

Merge pull request #1337 from tautschnig/member_offset_bits

member_offset_bits: express member offset in bits instead of bytes

def38e9... by Daniel Kroening <email address hidden> on 2017-09-03

Merge pull request #1336 from tautschnig/goto-diff-signed

target name wrong for signed variant of goto-diff

10121e3... by Daniel Kroening <email address hidden> on 2017-09-03

Merge pull request #1338 from tautschnig/replace-assert

replace assert(false) by UNREACHABLE

9b8013a... by Daniel Kroening <email address hidden> on 2017-09-03

Merge pull request #1335 from tautschnig/cleanup-metachar

MetaChar: use std::stringstream for incremental escaped-string construction

cdd55fa... by Daniel Kroening <email address hidden> on 2017-08-29

replace assert(false) by UNREACHABLE

a1a6462... by Michael Tautschnig <email address hidden> on 2017-05-13

member_offset_bits: express member offset in bits instead of bytes

4c74ea0... by Daniel Kroening <email address hidden> on 2017-09-03

target name wrong for signed variant of goto-diff

1828809... by Michael Tautschnig <email address hidden> on 2017-05-13

MetaChar: use std::stringstream for incremental escaped-string construction

This avoids the use of lower-level snprintf.

ed78c6b... by Daniel Kroening <email address hidden> on 2017-09-03

Merge pull request #1329 from tautschnig/union-padding-fix

Union padding fix

72e0fc7... by Daniel Kroening <email address hidden> on 2017-08-25

Test alignment of unions

»