Code

Synthesise lambda classes#4787

Code

Merged

LAJW merged 33 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/synthesise-lambda-classessmowton/cbmc:smowton/feature/synthesise-lambda-classesCopy head branch name to clipboard

Aug 8, 2019

Commits

Commits on Aug 6, 2019

• Factor out create_stub_method_symbol

  smowton

  committed
  da9ff09

  Copy full SHA for da9ff09

• Record class' instance methods against their type

  Show description for 2ad7ccf
  smowton

  committed
  2ad7ccf

  Copy full SHA for 2ad7ccf

• Implement lambda code synthesis

  Show description for 31caca0
  smowton

  committed
  31caca0

  Copy full SHA for 31caca0

• Move lambda test script to test_goto_functions.desc

  Show description for 3e1d7ca
  smowton

  committed
  3e1d7ca

  Copy full SHA for 3e1d7ca

• Remove no-longer-applicable explanation of symex-driven-loading-xfail

  Show description for 631b154
  smowton

  committed
  631b154

  Copy full SHA for 631b154

• Lambda tests: use local interface

  Show description for cff0543
  smowton

  committed
  cff0543

  Copy full SHA for cff0543

• Expand existing lambda test to check that lambdas behave as expected

  smowton

  committed
  a79fa31

  Copy full SHA for a79fa31

• Ignore lambdas whose target interfaces have multiple methods

  Show description for 06e9865
  smowton

  committed
  06e9865

  Copy full SHA for 06e9865

• Add tests for as-yet unsupported lambda types

  smowton

  committed
  db70af6

  Copy full SHA for db70af6

• Add more lambda tests

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  963a237

  Copy full SHA for 963a237

• Group create_invokedynamic_synthetic_classes into scopes

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  b0475d0

  Copy full SHA for b0475d0

• Expose only name/id instead of the class

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  1c631fa

  Copy full SHA for 1c631fa

• Convert named scopes into functions

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  3f157f6

  Copy full SHA for 3f157f6

• Convert lambdas into functions

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  510d724

  Copy full SHA for 510d724

• Pull out function create_implemented_method_symbol for invokedynamic conversion

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  9c466c7

  Copy full SHA for 9c466c7

• Combine create_synthetic_symbol and create_synthetic_type

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  1e0165b

  Copy full SHA for 1e0165b

• Decrease nesting and spacing name functions consistently

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  04b6702

  Copy full SHA for 04b6702

• Move the comment outside of the function

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  d141c77

  Copy full SHA for d141c77

• Remove controversial get_ prefix

  Show description for 8be6241
  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  8be6241

  Copy full SHA for 8be6241

• Replace includes with forward declarations

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  0ca2455

  Copy full SHA for 0ca2455

• Get rid of the block scope and cmb variable

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  9c69d53

  Copy full SHA for 9c69d53

• Use can_cast instead of id comparison

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  314cd7c

  Copy full SHA for 314cd7c

• Avoid misleading special characters within lambda synthetic class names

  Show description for 1536103
  smowton

  committed
  1536103

  Copy full SHA for 1536103

• Slice type_symbolt on creation

  Show description for 2a0025d
  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  2a0025d

  Copy full SHA for 2a0025d

• Rename implemneted_interface_tag to functional_interface_tag

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  832f5a1

  Copy full SHA for 832f5a1

• Use `symbol.name` as the id

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  d42aa87

  Copy full SHA for d42aa87

• Rename method names in the lambda test

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  652da04

  Copy full SHA for 652da04

• Add reference equality and static initialized lambda check

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  86554a9

  Copy full SHA for 86554a9

• Add nondet capture test

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  eb0f4cc

  Copy full SHA for eb0f4cc

• Add nondet array primitive and reference tests

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  bd8f557

  Copy full SHA for bd8f557

• Formatting

  

  Lukasz A.J. Wrona

  authored and

  smowton

  committed
  c1a2f4d

  Copy full SHA for c1a2f4d

Commits on Aug 8, 2019

• Fix invokedynamic typing

  smowton

  committed
  5c2717a

  Copy full SHA for 5c2717a

• Sync test_goto_functions and test.desc classpaths

  smowton

  committed
  a316fd5

  Copy full SHA for a316fd5