CBMC

cbmc:regparam

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

Branch merges

Branch information

Name:
regparam
Repository:
lp:cbmc

Recent commits

70b65fd... by Daniel Kroening <email address hidden>

added regparam(x) gcc type attribute

8befd02... by Daniel Kroening <email address hidden>

Merge pull request #2238 from owen-jones-diffblue/owen-jones-diffblue/doc/irep_id

Add documentation of irep_idt and dstringt

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

01dc76b... by Owen Jones <email address hidden>

Add section on irep_idt and dstringt

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

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

56256f1... by Owen Jones <email address hidden>

Minor typos in irept documentation

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