Code

Json tweaks#2171

Code

Merged

thk123 merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:json_tweaksthomasspriggs/cbmc:json_tweaksCopy head branch name to clipboard

May 10, 2018

Commits

Commits on May 10, 2018

• Supply `value_type` typedef in `json_arrayt` for STL algorithm usage.

  Show description for a589a56
  thomasspriggs

  committed
  a589a56

  Copy full SHA for a589a56

• Expose `emplace_back` method of underlying `std::vector` in `json_arrayt`.

  Show description for 28117d2
  thomasspriggs

  committed
  28117d2

  Copy full SHA for 28117d2

• Update constructor of `jsont` based on the copy and move idiom.

  Show description for ce674b5
  thomasspriggs

  committed
  ce674b5

  Copy full SHA for ce674b5

• Allow constructon of `json_stringt` from `irep_idt`.

  Show description for 2907ba9
  thomasspriggs

  committed
  2907ba9

  Copy full SHA for 2907ba9

• Clang format updates.

  thomasspriggs

  committed
  402bc56

  Copy full SHA for 402bc56

• Expose `begin` and `end` methods of underlying `std::vector` in `json_arrayt`.

  Show description for f3670e3
  thomasspriggs

  committed
  f3670e3

  Copy full SHA for f3670e3