Code

Format trace to JSON format#754

Code

Merged

rprimet merged 19 commits intomasterCatalaLang/catala:masterfrom trace_to_jsonCatalaLang/catala:trace_to_jsonCopy head branch name to clipboardJan 21, 2025

+195-57

Commits

Commits on Jan 8, 2025

• Add trace format CLI flag

  

  denismerigoux

  authored and

  AltGr

  committed
  0611809

  Copy full SHA for 0611809

• Two tracks

  

  denismerigoux

  authored and

  AltGr

  committed
  5ed499e

  Copy full SHA for 5ed499e

• draft

  

  rprimet

  authored and

  AltGr

  committed
  3f1826d

  Copy full SHA for 3f1826d

• interim commit

  

  rprimet

  authored and

  AltGr

  committed
  88e40d6

  Copy full SHA for 88e40d6

• Print JSON trace but bug on implementation mismatch

  

  denismerigoux

  authored and

  AltGr

  committed
  f83279d

  Copy full SHA for f83279d

• Debug of JSON trace formatting OK

  

  denismerigoux

  authored and

  AltGr

  committed
  6ff4a5d

  Copy full SHA for 6ff4a5d

• this dotfile should not have been added

  

  rprimet

  authored and

  AltGr

  committed
  c86a831

  Copy full SHA for c86a831

• output trace to file

  

  rprimet

  authored and

  AltGr

  committed
  b963882

  Copy full SHA for b963882

• remove unneeded flush

  

  rprimet

  authored and

  AltGr

  committed
  770c842

  Copy full SHA for 770c842

• formatting

  

  rprimet

  authored and

  AltGr

  committed
  c094ac6

  Copy full SHA for c094ac6

• trace output: use a file argument instead of string

  AltGr

  committed
  c9ce9fe

  Copy full SHA for c9ce9fe

Commits on Jan 13, 2025

• Json: print decimals according to the standard

  AltGr

  committed
  cd99504

  Copy full SHA for cd99504

Commits on Jan 15, 2025

• Update runtimes/ocaml/runtime.ml

  Show description for dbbf551
  

  rprimet

  and

  AltGr

  authored
  dbbf551

  Copy full SHA for dbbf551

• refactor command line options

  rprimet

  committed
  83cdbe2

  Copy full SHA for 83cdbe2

Commits on Jan 17, 2025

• temporarily protect indent

  rprimet

  committed
  8f1764f

  Copy full SHA for 8f1764f

• infer json trace_format if the output filename has a .json extension (thanks @Vbot)

  rprimet

  committed
  d673ea4

  Copy full SHA for d673ea4

• reject trace file names whose extension start in .catala

  rprimet

  committed
  5a26d13

  Copy full SHA for 5a26d13

Commits on Jan 20, 2025

• Interpreter: restore human printing format

  AltGr

  committed
  2eecc04

  Copy full SHA for 2eecc04

Commits on Jan 21, 2025

• Fix trace printing

  Show description for 0bf8966
  AltGr

  committed
  0bf8966

  Copy full SHA for 0bf8966