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

Age	Commit message (Expand)	Author
2023-10-30	Basic scope construction	Jakob L. Kreuze
2023-10-30	Re-do first pass variable identification	Jakob L. Kreuze
2023-10-26	Compiles examples/01-computable-assign-scalar.rego	Jakob L. Kreuze
2023-10-26	Export more operations on AST elements	Jakob L. Kreuze
2023-10-25	Return side information when compiling terms	Jakob L. Kreuze
2023-10-24	Compile literals	Jakob L. Kreuze
2023-10-21	Import Lean representation from XACML compiler	Jakob L. Kreuze
2023-10-21	Last refactoring before sending out update	Jakob L. Kreuze
2023-10-21	Move OPA interaction to AST module	Jakob L. Kreuze
2023-10-21	ocamlformat	Jakob L. Kreuze
2023-10-21	Integrate test suite	Jakob L. Kreuze
2023-10-21	Extract functionality to library	Jakob L. Kreuze
2023-10-19	Initial ast walking example	Jakob L. Kreuze
2023-10-19	Fix parse errors on existing examples	Jakob L. Kreuze
2023-10-17	Complete parsing of rule_head_rhs	Jakob L. Kreuze
2023-10-17	Complete parsing of expressions	Jakob L. Kreuze
2023-10-17	Allow call as a term	Jakob L. Kreuze
2023-10-17	Last commit before allowing calls as expressions	Jakob L. Kreuze
2023-10-17	Re-implement in terms of parse_term	Jakob L. Kreuze
2023-10-17	Re-order inductive definitions	Jakob L. Kreuze
2023-10-17	Remove infix/unary operators	Jakob L. Kreuze
2023-10-17	Complete parse_term	Jakob L. Kreuze
2023-10-17	Better support for parsing bodies	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