CBMC

cbmc:windows-console-streambuf

  1. Git
  2. lp:cbmc
  3. windows-console-streambuf
Last commit made on 2018-08-17
Get this branch:
git clone -b windows-console-streambuf https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
windows-console-streambuf
Repository:
lp:cbmc

Recent commits

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

switch Windows console to UTF-8

1ad6b5d... by antlechner <email address hidden>

Merge pull request #2754 from antlechner/antonia/ci-lazy-loading-rec-clinit

Fix lazy loading of enum static initializers

03bdf37... by Daniel Kroening <email address hidden>

Merge pull request #2755 from diffblue/COMPILING-again

Update compilation instructions

df0605e... by Antonia Lechner <email address hidden>

Add test for enum field of argument type

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

Red Hat and Fedora now use dnf instead of yum

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

jbmc build now uses Maven, not unzip

49089b1... by Antonia Lechner <email address hidden>

Fix lazy loading of enum static initializers

Rather than calling clinit_wrapper on every parameter to the entry
method that is an enum, we should first load all the classes that may
be needed before we enter the entry method, and then call
clinit_wrapper on all of those which are enums. For example, the case of
an enum field of an argument to the entry method would have previously
hit an invariant violation.

e1fc49f... by Michael Tautschnig

Merge pull request #2720 from tautschnig/replace_symbol-cleanup1

replace_symbolt: hide {expr,type}_map

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

replace_symbolt: hide {expr,type}_map

Values should only be added via insert. Add expr_map access functions as some
code still does access the expr_map.

3f487c3... by Michael Tautschnig

Merge pull request #2724 from tautschnig/replace-symbolt-unit-test

Unit test of replace_symbolt