-
Notifications
You must be signed in to change notification settings - Fork 41
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Add fuzz targets for counterexample generation with z3
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#974 In cedar-policy/cedar-spec;Prove residuals from TPE satisfy Symcc preconditions
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#967 In cedar-policy/cedar-spec;Model and proofs for unlinked template validation
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#945 In cedar-policy/cedar-spec;Add typechecker DRT target that ensures the same typed expression is computed
feature-requestRequest for a new featureRequest for a new featureStatus: Open.Generate SMT-LIB compatible strings
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#760 In cedar-policy/cedar-spec;Properly make solver exit upon errors
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#753 In cedar-policy/cedar-spec;Request context value generator doesn't consider optional attributes
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#739 In cedar-policy/cedar-spec;cedar-lean-cli analyze comparemaybe does not need to consider request environments not targeted by any policyclarification-neededNeeds further clarificationNeeds further clarificationfeature-requestRequest for a new featureRequest for a new featureStatus: Open.#634 In cedar-policy/cedar-spec;Confirm we are adequately testing invalid EIDs for enum entities
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#593 In cedar-policy/cedar-spec;Implement enumeration-based generation for some test targets
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#542 In cedar-policy/cedar-spec;I need Cedar for C#/.NET
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#535 In cedar-policy/cedar-spec;Test typechecking for expressions in addition to policy validation
feature-requestRequest for a new featureRequest for a new featureStatus: Open.#511 In cedar-policy/cedar-spec;