Code

Updates to Lean validator spec#210

Code

Merged

khieta merged 7 commits intomaincedar-policy/cedar-spec:mainfrom khieta/change-lean-val-drtcedar-policy/cedar-spec:khieta/change-lean-val-drtCopy head branch name to clipboardFeb 8, 2024

+75-42

Commits

Commits on Dec 26, 2023

• wip

  khieta

  committed
  df3074a

  Copy full SHA for df3074a

Commits on Feb 6, 2024

• resolve merge conflict

  khieta

  committed
  3d93d47

  Copy full SHA for 3d93d47

• fix more merge issues

  khieta

  committed
  c33ee19

  Copy full SHA for c33ee19

• more fixes

  khieta

  committed
  a664593

  Copy full SHA for a664593

• another fix

  khieta

  committed
  32e886a

  Copy full SHA for 32e886a

• cargo fmt

  khieta

  committed
  8dc7619

  Copy full SHA for 8dc7619

Commits on Feb 7, 2024

• adress review comment

  khieta

  committed
  03fddd7

  Copy full SHA for 03fddd7