Code

Java local variable block scoping#392

Code

Merged

kroening merged 6 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:local_variable_block_scoping_mastersmowton/cbmc:local_variable_block_scoping_masterCopy head branch name to clipboard

Jan 18, 2017

Commits

Commits on Jan 9, 2017

• Move converted_instructiont and address_mapt to class scope

  Show description for f72679d
  smowton

  committed
  f72679d

  Copy full SHA for f72679d

• Add named variables to the symtab upon registration

  Show description for 7c201a2
  smowton

  committed
  7c201a2

  Copy full SHA for 7c201a2

• Add block-tree creation functions

  Show description for 9ea8d0c
  smowton

  committed
  9ea8d0c

  Copy full SHA for 9ea8d0c

• Add scoped mamed variable declarations

  Show description for 49688fa
  smowton

  committed
  49688fa

  Copy full SHA for 49688fa

Commits on Jan 17, 2017

• Style fixes for java_bytecode_convert_method

  smowton

  committed
  5e2f632

  Copy full SHA for 5e2f632

• Add basic test for lexical scope inference

  Show description for 6cc846a
  smowton

  committed
  6cc846a

  Copy full SHA for 6cc846a