Code

feat: http + json extended example#91

Code

Merged

lonerapier merged 21 commits intomainpluto/parser-attestor:mainfrom spotify-examplepluto/parser-attestor:spotify-exampleCopy head branch name to clipboardSep 24, 2024

+1,431-559

Commits

Commits on Sep 20, 2024

• add input

  lonerapier

  committed
  0a06414

• fix array index codegen bug

  lonerapier

  committed
  23d37c5

• refactor: tests utils reorganise

  lonerapier

  committed
  730c2c0

• add spotify test

  lonerapier

  committed
  e87732a

• save work till now, start on integrated codegen

  lonerapier

  committed
  c683f3a

• save work

  lonerapier

  committed
  9efb1ca

Commits on Sep 21, 2024

• fix: tests

  lonerapier

  committed
  3bf9941

• refactor: codegen

  lonerapier

  committed
  d550b32

• add integrated codegen

  lonerapier

  committed
  60e264a

• test: add separate test for correctness

  lonerapier

  committed
  0f17e7f

• refactor: change Syntax and StateUpdate to prevent duplicate callable symbols in JSON parser

  lonerapier

  committed
  760be60

• feat: accept inputs in bytes for readJSONInputFile

  lonerapier

  committed
  7250b02

• add extended witness gen in cli

  lonerapier

  committed
  3ccdc95

• feat: extended test works!!!

  lonerapier

  committed
  9861bcf

Commits on Sep 23, 2024

• refactor: json cleanup

  lonerapier

  committed
  d01c855

• add tests

  lonerapier

  committed
  925bc61

Commits on Sep 24, 2024

• add test and lint CI

  lonerapier

  committed
  feabcf6

• add http and extended codegen docs

  lonerapier

  committed
  0113b1a

• add docs

  lonerapier

  committed
  ef4ad06

• rm old README info

  Autoparallel

  committed
  eadd686

• Update http.rs (#92)

  Autoparallel

  authored
  f06ffb7