Code

Add message format cli option#3491

Code

Merged

mtzguido merged 5 commits intoFStarLang:masterFStarLang/FStar:masterfrom W95Psp:add-message_format-cli-optionW95Psp/FStar:add-message_format-cli-optionCopy head branch name to clipboardSep 26, 2024

+2,544-564

Commits

Commits on Sep 26, 2024

• feat: add JSON serializers for errors

  

  W95Psp

  authored and

  mtzguido

  committed
  5f43c3d

  Copy full SHA for 5f43c3d

• feat: add message_format option: human or json

  

  W95Psp

  authored and

  mtzguido

  committed
  f17704b

  Copy full SHA for f17704b

• feat: message_format: JSON profiling messages

  

  W95Psp

  authored and

  mtzguido

  committed
  9131a8b

  Copy full SHA for 9131a8b

• chore: refresh OCaml snapshot

  

  W95Psp

  authored and

  mtzguido

  committed
  4e7ce30

  Copy full SHA for 4e7ce30

• Adding tests for --message_format json

  mtzguido

  committed
  0434212

  Copy full SHA for 0434212