CBMC

cbmc:format-functor

  1. Git
  2. lp:cbmc
  3. format-functor
Last commit made on 2018-05-18
Get this branch:
git clone -b format-functor https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
format-functor
Repository:
lp:cbmc

Recent commits

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

use formatter in show_symbol_table

1e7fb0a... by Daniel Kroening <email address hidden>

C++ formatter

841d407... by Daniel Kroening <email address hidden>

formatter for Java

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

formatter for ANSI-C

677ea94... by Daniel Kroening <email address hidden>

replace usage of format() by debug_formatter()

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

functor for language-specific expression formatting

a06503b... by Michael Tautschnig

Merge pull request #2197 from tautschnig/fix-help

Fix help output of --generate-function-body-options

05e4bc3... by Michael Tautschnig <email address hidden>

Remove stray whitespace previously demanded by clang-format

3261f4d... by Michael Tautschnig <email address hidden>

Fix help output of --generate-function-body-options

7c67b23... by Michael Tautschnig

Merge pull request #2110 from tautschnig/type-mismatch-exception

Use improved reporting for equality-without-matching-types