CBMC

cbmc:find-conversion

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

Branch merges

Branch information

Name:
find-conversion
Repository:
lp:cbmc

Recent commits

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

initial stab on find-conversion analysis

c988ca5... by Owen Jones <email address hidden>

Add section on irep_idt and dstringt

6593d96... by Owen Jones <email address hidden>

Minor typos in irept documentation

34b0ac6... by Peter Schrammel <email address hidden>

Merge pull request #2236 from diffblue/show-class-hierarchy

JSON output for show-class-hierarchy

8e8e450... by Chris Smowton <email address hidden>

Merge pull request #2232 from owen-jones-diffblue/owen-jones-diffblue/generic-bounded-types

Java generic bounded types in method signatures

2f4c6ad... by Peter Schrammel <email address hidden>

Add and unify --show-class-hierarchy command line option

3cf4e3a... by Daniel Kroening <email address hidden>

Merge pull request #2178 from thomasspriggs/remove_java_bytecode_parse_treet_swap

 Remove `java_bytecode_parse_treet::classt::swap` and return using `optionalt` instead.

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

Add JSON output for class hierarchy

68c45ed... by Peter Schrammel <email address hidden>

Improve class hierarchy output

more readable output, adds info whether class is abstract
removes the plain text unit test which is replaced by a
JBMC regression test in a later commit

eeb732f... by Thomas Andrew Spriggs

Switch `push_back` to `emplace_back` when constructing `parse_trees`.