aboutsummaryrefslogtreecommitdiff
path: root/rego-proofs
AgeCommit message (Collapse)Author
2023-12-21Get rid of old compiler codeJakob L. Kreuze
2023-12-21Check-in remaining filesJakob L. Kreuze
2023-11-16Use fold_and where necessaryJakob L. Kreuze
2023-11-16Fix compilation of function argumentsJakob L. Kreuze
2023-11-10Compile error conditionJakob L. Kreuze
2023-11-10Handle nested parametersJakob L. Kreuze
2023-11-09Handle else keywordJakob L. Kreuze
2023-11-07Basic expression simplificationJakob L. Kreuze
2023-11-07Fix parsing issue for set rulesJakob L. Kreuze
2023-11-07Compile imports (not really)Jakob L. Kreuze
2023-11-07Re-instate assignment order assertionJakob L. Kreuze
2023-11-07Handle existential quantification over objectsJakob L. Kreuze
2023-11-03CheckpointJakob L. Kreuze
2023-11-03More reliable handling of rules with formal parametersJakob L. Kreuze
2023-11-03Ensure identifiers produced by gensym are legal Lean variable namesJakob L. Kreuze
2023-11-02Add support for Negate rulesJakob L. Kreuze
2023-11-02Parse Negate properlyJakob L. Kreuze
2023-11-02Compile functionsJakob L. Kreuze
2023-11-02Minor refactoringJakob L. Kreuze
2023-11-01Initial attempt at compiling rules with sets/objects as headsaJakob L. Kreuze
2023-11-01Fix assignment rule parsingJakob L. Kreuze
2023-11-01Compile default rulesJakob L. Kreuze
2023-11-01Compile references to inductively-defined variablesJakob L. Kreuze
2023-11-01Replace complete with more detailed description of variable usageJakob L. Kreuze
2023-10-31Add support for nested definitionsJakob L. Kreuze
2023-10-31Use gensym for generated identifiersJakob L. Kreuze
2023-10-31Error on variables used before assignmentJakob L. Kreuze
2023-10-31Assigned field for variable recordsJakob L. Kreuze
2023-10-31More detailed variable usage analysisJakob L. Kreuze
2023-10-31No longer need to pass up local definitionsJakob L. Kreuze
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

© 2015 - 2026 Jakob L. Kreuze