cedar-policy-symcc
Symbolic Cedar Compiler (SymCC): translates queries about Cedar policies to SMT
- Latest release
- 10h ago
- Releases
- 14
- Known CVEs
- 0
- First release
- Nov 10, 2025
- License
- Apache-2.0
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
Insights
Activity
- Total releases
- 14
- Last 12 months
- 14
- Cadence
- ~13 days
- Dependencies
- 18
Releases per month
last 12 monthsRelease mix
- minor 4
- patch 9
14
releases
Dependencies
Depends on
0.5.2-
async-recursion
^1.1
-
cedar-policy
=4.11.1
-
cedar-policy-core
=4.11.1
-
chrono
^0.4.44
-
cool_asserts
^2.0
dev
-
insta
^1.47
dev
-
itertools
^0.14
-
miette
^7.6.0
dev
-
miette
^7.6.0
-
nonempty
^0.12.0
1–10 of 18
Used by
1Releases