aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-12-22Prove remaining `sorry' statementsHEADmasterJakob L. Kreuze
2023-12-22Finish proving `pr'Jakob L. Kreuze
2023-12-22Prove ta_external_grades_not_applicableJakob L. Kreuze
2023-12-21Add READMEJakob L. Kreuze
2023-12-21Update lemmasJakob L. Kreuze
2023-12-21s/simp/rfl/ where necessaryJakob L. Kreuze
2023-12-21LawfulBEq proofsJakob L. Kreuze
2023-12-21Get rid of old compiler codeJakob L. Kreuze
2023-12-21Check-in remaining filesJakob L. Kreuze
2023-12-21Check-in 2023-12-21Jakob L. Kreuze
2023-12-21Check-in 2023-12-15Jakob L. Kreuze
2023-12-21Check-in 2023-12-11Jakob L. Kreuze
2023-12-21Check-in 2023-12-07Jakob L. Kreuze
2023-12-21Check-in 2023-12-06Jakob L. Kreuze
2023-12-19Fix match evaluationJakob L. Kreuze
2023-12-19Initial check-in of XACML implementation in RegoJakob L. Kreuze
2023-12-05Support compilation of multiple filesJakob L. Kreuze
2023-12-05Proper executable for XACML compilerJakob L. Kreuze
2023-11-16Use fold_and where necessaryJakob L. Kreuze
2023-11-16Fix compilation of function argumentsJakob L. Kreuze
2023-11-15Have evaluate_policy* take the results of its children as a parameterJakob L. Kreuze
2023-11-15Add semantics for obligation/advice expressionsJakob L. Kreuze
2023-11-15Clearer translation of XACML to Rego valuesJakob L. Kreuze
2023-11-15Initial encoding of XACML semantics in RegoJakob 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

© 2015 - 2026 Jakob L. Kreuze