Code

Adding concurrency to Java#1718

Code

Merged

thk123 merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

cesaro:concurrency-team-small-fixescesaro/cbmc:concurrency-team-small-fixesCopy head branch name to clipboard

Jan 23, 2018

Commits

Commits on Jan 22, 2018

• Folder build/ ignored.

  Show description for d978ef9
  

  cesaro

  authored and

  Degiorgio

  committed
  d978ef9

  Copy full SHA for d978ef9

• ireps of type "ID_atomic_begin" and "ID_atomic_end" will now be properly displayed

  Show description for 001c1a2
  Degiorgio

  committed
  001c1a2

  Copy full SHA for 001c1a2

• Refectors how CBMC interprets a codet thread-block

  Show description for 5c3997d
  Degiorgio

  committed
  5c3997d

  Copy full SHA for 5c3997d

• Fixes wrong invocation order for static initializers

  Show description for 22afc5c
  

  cesaro

  authored and

  Degiorgio

  committed
  22afc5c

  Copy full SHA for 22afc5c