Code

Deprecate Dafny formalization#219

Code

Merged

khieta merged 7 commits intomaincedar-policy/cedar-spec:mainfrom khieta/deprecate-dafnycedar-policy/cedar-spec:khieta/deprecate-dafnyCopy head branch name to clipboardFeb 19, 2024

+919-12,435

Commits

Commits on Feb 13, 2024

• first pass

  khieta

  committed
  7cf9d43

• update README

  khieta

  committed
  46ee9b1

• fixes

  khieta

  committed
  0007fdd

• Update cedar-drt/README.md

  Show description for 613c191
  

  khieta

  and

  cdisselkoen

  authored
  613c191

Commits on Feb 16, 2024

• add additional validation targets

  khieta

  committed
  2f7755d

• cargo fmt

  khieta

  committed
  e33eab4

• Merge branch 'main' into khieta/deprecate-dafny

  khieta

  authored
  c1e6ef9