| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-11-15 | Have evaluate_policy* take the results of its children as a parameter | Jakob L. Kreuze |
| 2023-11-15 | Add semantics for obligation/advice expressions | Jakob L. Kreuze |
| 2023-11-15 | Clearer translation of XACML to Rego values | Jakob L. Kreuze |
| 2023-11-15 | Initial encoding of XACML semantics in Rego | Jakob L. Kreuze |
 |
index : rego-proofs.git | |
| Lean proofs for my Master's thesis | Jakob L. Kreuze |
| aboutsummaryrefslogtreecommitdiff |
path: root/xacml-translation
© 2015 - 2026 Jakob L. Kreuze