0
AWS details semantic diffing of formal policies with anti-unification
AWS published a post on 11 November describing a semantic diff for formal policies, built on anti-unification. It shows shared parts once and marks the differences left under the declared rules. One use case is comparing LLM-generated policies.
