-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: cedar-policy/cedar-spec
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Extend testing to cover partial attributes
#1021
opened Sep 10, 2026 by
john-h-kastner-aws
Contributor
•
3/3
Loading…
Updated spec for ipaddr variadic is in range
#1019
opened Sep 10, 2026 by
lianah
Contributor
Loading…
Model and proofs for unknown attribute extension to TPE
#1015
opened Sep 2, 2026 by
john-h-kastner-aws
Contributor
•
2/3
Loading…
Rewrite symcc transitivity enforcement in terms of set products and unions
#1001
opened Aug 13, 2026 by
john-h-kastner-aws
Contributor
Loading…
Use schema in TPE to reduce has/hasTag/in/==/is
#997
opened Jul 29, 2026 by
john-h-kastner-aws
Contributor
•
1/3
Loading…
Add typechecker DRT target comparing the typed expression (#840)
#995
opened Jul 28, 2026 by
repowazdogz-droid
Loading…
Update symcc opt path to use pre-compiled schema
#989
opened Jul 21, 2026 by
john-h-kastner-aws
Contributor
•
Draft
Models and proofs of correctness for permissions queries algorithms
#827
opened Jan 14, 2026 by
john-h-kastner-aws
Contributor
Loading…
ProTip!
no:milestone will show everything without a milestone.