aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-10-30Basic scope constructionJakob L. Kreuze
2023-10-30Re-do first pass variable identificationJakob L. Kreuze
2023-10-26Compiles examples/01-computable-assign-scalar.regoJakob L. Kreuze
2023-10-26Export more operations on AST elementsJakob L. Kreuze
2023-10-25Return side information when compiling termsJakob L. Kreuze
2023-10-24Compile literalsJakob L. Kreuze
2023-10-21Import Lean representation from XACML compilerJakob L. Kreuze
2023-10-21Last refactoring before sending out updateJakob L. Kreuze
2023-10-21Move OPA interaction to AST moduleJakob L. Kreuze
2023-10-21ocamlformatJakob L. Kreuze
2023-10-21Integrate test suiteJakob L. Kreuze
2023-10-21Extract functionality to libraryJakob L. Kreuze
2023-10-19Initial ast walking exampleJakob L. Kreuze
2023-10-19Fix parse errors on existing examplesJakob L. Kreuze
2023-10-17Complete parsing of rule_head_rhsJakob L. Kreuze
2023-10-17Complete parsing of expressionsJakob L. Kreuze
2023-10-17Allow call as a termJakob L. Kreuze
I've validated that the reference implementation accepts arbitrary terms as ref arguments
2023-10-17Last commit before allowing calls as expressionsJakob L. Kreuze
This flies in the face of the grammar [1] but is accepted by the reference implementation... [1]: https://www.openpolicyagent.org/docs/latest/policy-reference/#grammar
2023-10-17Re-implement in terms of parse_termJakob L. Kreuze
No need for Ignore since it's desugared to some gensym'd variable
2023-10-17Re-order inductive definitionsJakob L. Kreuze
2023-10-17Remove infix/unary operatorsJakob L. Kreuze
They're desugared to function calls
2023-10-17Complete parse_termJakob L. Kreuze
No need for membership since it's just sugar for internal.member_2
2023-10-17Better support for parsing bodiesJakob L. Kreuze
2023-10-15Rego compiler: initial commitJakob L. Kreuze
2023-10-10Refactor equalityJakob L. Kreuze
2023-10-06Order variable definitionsJakob L. Kreuze
2023-10-06Order Lean definitionsJakob L. Kreuze
2023-10-05Implement PolicySetIdReference, PolicyIdReferenceJakob L. Kreuze
2023-10-04Validate VersionTypeJakob L. Kreuze
2023-10-04Naive variable erasureJakob L. Kreuze
Order of evaluation will have to follow a topological sort
2023-10-04Environment for variable erasureJakob L. Kreuze
2023-10-04PolicySet actually can't contain a Rule (whoops)Jakob L. Kreuze
2023-10-04Fix ordering issue with PolicySet compilationJakob L. Kreuze
2023-10-04Individual definitions for policy elementsJakob L. Kreuze
2023-10-02Add missing componentsJakob L. Kreuze
2023-10-02Compilation of typed literalsJakob L. Kreuze
2023-09-30Rule compilationJakob L. Kreuze
2023-09-30Use OCaml exceptions for more traceable errorsJakob L. Kreuze
2023-09-30Implement match compilationJakob L. Kreuze
2023-09-28Initial commit for Xacml translatorJakob L. Kreuze
2023-09-24Implement advice/obligation combiningJakob L. Kreuze
2023-09-23Use explicit tree structure to represent policy treeJakob L. Kreuze
2023-09-21First propagation of missing attribute errorsJakob L. Kreuze
2023-09-21Initial attempt at PolicySet evaluation; hitting a wall with nonterminationJakob L. Kreuze
2023-09-21Distinguish between rule/policy combinatorsJakob L. Kreuze
2023-09-21Evaluate AllOf/AnyOf according to § 7.7Jakob L. Kreuze
2023-09-20Policy evaluationJakob L. Kreuze
2023-09-20Rule evaluationJakob L. Kreuze
2023-09-19Condition evaluationJakob L. Kreuze
2023-09-19Target/Match semanticsJakob L. Kreuze

© 2015 - 2026 Jakob L. Kreuze