Code

TPE Lean model#548

Code

Merged

shaobo-he-aws merged 45 commits intomaincedar-policy/cedar-spec:mainfrom feature/shaobo/tpe-experimentalcedar-policy/cedar-spec:feature/shaobo/tpe-experimentalCopy head branch name to clipboardMar 6, 2025

+1,178-5

Commits

Commits on Feb 18, 2025

• prototype

  Show description for fe79c65
  shaobo-he-aws

  committed
  fe79c65

  Copy full SHA for fe79c65

• updates

  Show description for 83e97af
  shaobo-he-aws

  committed
  83e97af

  Copy full SHA for 83e97af

Commits on Feb 21, 2025

• Updates

  Show description for b1dcd47
  shaobo-he-aws

  committed
  b1dcd47

  Copy full SHA for b1dcd47

• completely use Residual as inputs

  Show description for a55d831
  shaobo-he-aws

  committed
  a55d831

  Copy full SHA for a55d831

• assign meaning to Residual

  Show description for bc8d77d
  shaobo-he-aws

  committed
  bc8d77d

  Copy full SHA for bc8d77d

• I have no idea what I was doing but it kinda makes sense

  Show description for 1444e57
  shaobo-he-aws

  committed
  1444e57

  Copy full SHA for 1444e57

Commits on Feb 22, 2025

• restructure code

  Show description for a55ae5e
  shaobo-he-aws

  committed
  a55ae5e

  Copy full SHA for a55ae5e

• prototype 0

  Show description for e8ea818
  shaobo-he-aws

  committed
  e8ea818

  Copy full SHA for e8ea818

Commits on Feb 23, 2025

• we can just use TypedExpr as the input

  Show description for 2a4f812
  shaobo-he-aws

  committed
  2a4f812

  Copy full SHA for 2a4f812

• bug fix

  Show description for 5bf1f5b
  shaobo-he-aws

  committed
  5bf1f5b

  Copy full SHA for 5bf1f5b

Commits on Feb 24, 2025

• updates

  Show description for 5c1801b
  shaobo-he-aws

  committed
  5c1801b

  Copy full SHA for 5c1801b

• Merge remote-tracking branch 'origin/main' into feature/shaobo/tpe-experimental

  shaobo-he-aws

  committed
  b5b0660

  Copy full SHA for b5b0660

• updates

  Show description for 558fdb3
  shaobo-he-aws

  committed
  558fdb3

  Copy full SHA for 558fdb3

• unit tests and fixes

  Show description for 6a35a7c
  shaobo-he-aws

  committed
  6a35a7c

  Copy full SHA for 6a35a7c

Commits on Feb 25, 2025

• another test and fixes

  Show description for 5a0a7a7
  shaobo-he-aws

  committed
  5a0a7a7

  Copy full SHA for 5a0a7a7

• clean up a little bit

  Show description for 3d12849
  shaobo-he-aws

  committed
  3d12849

  Copy full SHA for 3d12849

Commits on Feb 26, 2025

• updates

  Show description for 43e1c59
  shaobo-he-aws

  committed
  43e1c59

  Copy full SHA for 43e1c59

• Merge remote-tracking branch 'origin/main' into feature/shaobo/tpe-experimental

  shaobo-he-aws

  committed
  bff7c0d

  Copy full SHA for bff7c0d

• concretization

  Show description for d215e9f
  shaobo-he-aws

  committed
  d215e9f

  Copy full SHA for d215e9f

• Updates

  Show description for a3cba4e
  shaobo-he-aws

  committed
  a3cba4e

  Copy full SHA for a3cba4e

Commits on Feb 27, 2025

• updates

  Show description for f524359
  shaobo-he-aws

  committed
  f524359

  Copy full SHA for f524359

• Updates

  Show description for d111cc8
  shaobo-he-aws

  committed
  d111cc8

  Copy full SHA for d111cc8

• updates

  Show description for bbe7c66
  shaobo-he-aws

  committed
  bbe7c66

  Copy full SHA for bbe7c66

• updates

  Show description for 8875354
  shaobo-he-aws

  committed
  8875354

  Copy full SHA for 8875354

• updates

  Show description for edca6a3
  shaobo-he-aws

  committed
  edca6a3

  Copy full SHA for edca6a3

• updates

  Show description for fe563f3
  shaobo-he-aws

  committed
  fe563f3

  Copy full SHA for fe563f3

• error function

  Show description for 6f0491c
  shaobo-he-aws

  committed
  6f0491c

  Copy full SHA for 6f0491c

• updates

  Show description for c38ca57
  shaobo-he-aws

  committed
  c38ca57

  Copy full SHA for c38ca57

• Merge remote-tracking branch 'origin/main' into feature/shaobo/tpe-experimental

  shaobo-he-aws

  committed
  4cb69eb

  Copy full SHA for 4cb69eb

• bug fix and unit tests

  Show description for e553a1d
  shaobo-he-aws

  committed
  e553a1d

  Copy full SHA for e553a1d

Commits on Feb 28, 2025

• remove ↦

  Show description for 53165f7
  shaobo-he-aws

  committed
  53165f7

  Copy full SHA for 53165f7

• updates

  Show description for 56c90a4
  shaobo-he-aws

  committed
  56c90a4

  Copy full SHA for 56c90a4

• attrsOf

  Show description for 5814e1d
  shaobo-he-aws

  committed
  5814e1d

  Copy full SHA for 5814e1d

• tried to simplify termination proofs

  Show description for c9e5f4f
  shaobo-he-aws

  committed
  c9e5f4f

  Copy full SHA for c9e5f4f

• format

  Show description for f545b9c
  shaobo-he-aws

  committed
  f545b9c

  Copy full SHA for f545b9c

• fix proof

  Show description for e1df698
  shaobo-he-aws

  committed
  e1df698

  Copy full SHA for e1df698

• added comment

  Show description for e12c25a
  shaobo-he-aws

  committed
  e12c25a

  Copy full SHA for e12c25a

• clean up

  Show description for 8cd9dbc
  shaobo-he-aws

  committed
  8cd9dbc

  Copy full SHA for 8cd9dbc

• more clean up

  Show description for 68608c8
  shaobo-he-aws

  committed
  68608c8

  Copy full SHA for 68608c8

• error propagation

  Show description for 9702bb0
  shaobo-he-aws

  committed
  9702bb0

  Copy full SHA for 9702bb0

Commits on Mar 3, 2025

• more unit tests

  Show description for 251c653
  shaobo-he-aws

  committed
  251c653

  Copy full SHA for 251c653

• Merge remote-tracking branch 'origin/main' into feature/shaobo/tpe-experimental

  shaobo-he-aws

  committed
  1f58453

  Copy full SHA for 1f58453

• datetime

  Show description for 0c3e505
  shaobo-he-aws

  committed
  0c3e505

  Copy full SHA for 0c3e505

• Merge remote-tracking branch 'origin/main' into feature/shaobo/tpe-experimental

  shaobo-he-aws

  committed
  54dfbb8

  Copy full SHA for 54dfbb8

• review feedback

  Show description for 5d884df
  shaobo-he-aws

  committed
  5d884df

  Copy full SHA for 5d884df