v4.8.0
·
43 commits
to release/4.8.x
since this release
Release 4.8.0, available on crates.io
Added
- Added
TpeResponse::residual_policiesandTpeResponse::nontrivial_residual_policiesto get residual policies under experimental featuretpe. (#1906) - Added
PartialEntity::newandPartialEntities::from_partial_entitiesto programmatically constructPartialEntityandPartialEntitiesunder featuretpe. (#1916)
Changed
- For the
tpeexperimental feature,PartialEntities::from_concretenow requires aSchemaand will validate the entities,
ensuring that aPartialEntitiesobject always meets the preconditions required for type aware partial evaluation. (#1903) - Evaluate
hasoperation when the LHS record is projectable during partial evaluation. (#1912) - Deprecated schema parsing errors
ActionAttributesContainEmptySet,UnsupportedActionAttribute,ActionAttrEval, andExprEscapeUsed.
These errors are never returned, so it is safe to delete any associated error handling code. (#1929) - Made policy validation for
in,==, andhasTagslightly more permissive to match the formally verified Lean model. (#1931) - Increase partial evaluation precision for
if-then-else,or,andexpressions (#1940)
Fixed
- Removed incorrect dependency of feature
partial-evalof featuretpe. (#1898) - Fixed incomplete policy ID renaming by
PolicySet::merge. Updated policy IDs were correctly reflected when getting a
policy withPolicySet::policyandPolicySet::template, butPolicy::id,Template::id, andPolicy::template_id
continued to return the original id. - Fixed issue where
SchemaFragment::to_cedarschemacould return a string that is not a valid Cedar schema.