rego-proofs.git - Lean proofs for my Master's thesis

Age	Commit message (Expand)	Author
2023-12-21	Check-in 2023-12-07	Jakob L. Kreuze
2023-12-21	Check-in 2023-12-06	Jakob L. Kreuze
2023-12-05	Support compilation of multiple files	Jakob L. Kreuze
2023-12-05	Proper executable for XACML compiler	Jakob L. Kreuze
2023-10-15	Rego compiler: initial commit	Jakob L. Kreuze
2023-10-10	Refactor equality	Jakob L. Kreuze
2023-10-06	Order variable definitions	Jakob L. Kreuze
2023-10-06	Order Lean definitions	Jakob L. Kreuze
2023-10-05	Implement PolicySetIdReference, PolicyIdReference	Jakob L. Kreuze
2023-10-04	Validate VersionType	Jakob L. Kreuze
2023-10-04	Naive variable erasure	Jakob L. Kreuze
2023-10-04	Environment for variable erasure	Jakob L. Kreuze
2023-10-04	PolicySet actually can't contain a Rule (whoops)	Jakob L. Kreuze
2023-10-04	Fix ordering issue with PolicySet compilation	Jakob L. Kreuze
2023-10-04	Individual definitions for policy elements	Jakob L. Kreuze
2023-10-02	Add missing components	Jakob L. Kreuze
2023-10-02	Compilation of typed literals	Jakob L. Kreuze
2023-09-30	Rule compilation	Jakob L. Kreuze
2023-09-30	Use OCaml exceptions for more traceable errors	Jakob L. Kreuze
2023-09-30	Implement match compilation	Jakob L. Kreuze
2023-09-28	Initial commit for Xacml translator	Jakob L. Kreuze
2023-09-24	Implement advice/obligation combining	Jakob L. Kreuze
2023-09-23	Use explicit tree structure to represent policy tree	Jakob L. Kreuze
2023-09-21	First propagation of missing attribute errors	Jakob L. Kreuze
2023-09-21	Initial attempt at PolicySet evaluation; hitting a wall with nontermination	Jakob L. Kreuze
2023-09-21	Distinguish between rule/policy combinators	Jakob L. Kreuze
2023-09-21	Evaluate AllOf/AnyOf according to § 7.7	Jakob L. Kreuze
2023-09-20	Policy evaluation	Jakob L. Kreuze
2023-09-20	Rule evaluation	Jakob L. Kreuze
2023-09-19	Condition evaluation	Jakob L. Kreuze
2023-09-19	Target/Match semantics	Jakob L. Kreuze
2023-09-19	Expression evaluation	Jakob L. Kreuze
2023-09-13	Beginnings of encoding bags into semantics	Jakob L. Kreuze
2023-09-12	Move Match evaluation to namespace	Jakob L. Kreuze
2023-09-12	Drop examples to make exprimenting easier	Jakob L. Kreuze
2023-09-12	Troll through syntax once more	Jakob L. Kreuze
2023-09-12	Initial evaluation for obligation/advice	Jakob L. Kreuze
2023-09-12	Intro Obligations and Expressions to the type definitions	Jakob L. Kreuze
2023-09-12	Implement evaluate_designator	Jakob L. Kreuze
2023-09-12	More cleanup	Jakob L. Kreuze
2023-09-12	Rename Xacml*	Jakob L. Kreuze
2023-09-12	Initial implementation of evaluation functions	Jakob L. Kreuze
2023-09-12	First implementation of evaluate_rule	Jakob L. Kreuze
2023-09-12	Introduce XacmlValue	Jakob L. Kreuze
2023-09-12	Changes so example 4.1 type checks	Jakob L. Kreuze
2023-09-12	Initial commit	Jakob L. Kreuze