rego-proofs.git/xacml-translation, branch master Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=master 2023-12-21T18:20:58Z Check-in remaining files 2023-12-21T18:20:58Z Jakob L. Kreuze 2023-12-21T18:20:58Z urn:sha1:be7067d632aa665c20f96d3b344a84c95b0f8ff8 Fix match evaluation 2023-12-19T19:16:57Z Jakob L. Kreuze 2023-12-19T18:52:55Z urn:sha1:ccb6ddc27fd30a655fff29211c6442f77d7361a4 Initial check-in of XACML implementation in Rego 2023-12-19T18:52:25Z Jakob L. Kreuze 2023-12-19T18:52:25Z urn:sha1:14b2cf6a158b840194177973bb9fd0067cbb35b9 Have evaluate_policy* take the results of its children as a parameter 2023-11-15T20:00:55Z Jakob L. Kreuze 2023-11-15T20:00:55Z urn:sha1:282a7ee9108911a19c593cc3b28cbe2b002687a8 Add semantics for obligation/advice expressions 2023-11-15T19:59:30Z Jakob L. Kreuze 2023-11-15T19:59:30Z urn:sha1:dd0b3db4525170ec0a6f4ae7c9ccc3bda60d7597 Clearer translation of XACML to Rego values 2023-11-15T19:20:01Z Jakob L. Kreuze 2023-11-15T19:15:46Z urn:sha1:fd40392d5d6b796a85637bc96c564a6e173e8858 Initial encoding of XACML semantics in Rego 2023-11-15T18:16:23Z Jakob L. Kreuze 2023-11-15T01:15:23Z urn:sha1:08ba0c131341ed530d48576c34ca96b6c7a3be20