CBMC

cbmc:pretty-constructors

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

Branch merges

Branch information

Name:
pretty-constructors
Repository:
lp:cbmc

Recent commits

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

use is_constructor member in parse tree

6c0c8d9... by Daniel Kroening <email address hidden>

pretty print constructor names, in the style of javap

41d7a45... by Romain Brenguier <email address hidden>

Merge pull request #2129 from romainbrenguier/bugfix/generic_type_index

[TG-3374] Fix generic_type_index

53bc892... by Romain Brenguier

Add invariant in java_generic_symbol_type

This also adapt unit tests that would make the invariant fail.

e3f240a... by Romain Brenguier

Use get_name in generic_type_index

4a6ae9b... by Romain Brenguier

Add java_types unit tests to Makefile

4c5144d... by Romain Brenguier

Unit test for generic_type_index

8f0f780... by Romain Brenguier

Unit test for java_generic_symbol_type

41b3a6a... by Romain Brenguier

Move java_generic_symbol_typet definitions to cpp

0afbe0f... by Romain Brenguier

Unit test java_type_from_string and fix doc

Unit-testing this function revealed some mistakes in the examples given
in the documentation.