aboutsummaryrefslogtreecommitdiff
path: root/xacml-proofs/compiler
AgeCommit message (Expand)Author
2023-12-21Check-in remaining filesJakob L. Kreuze
2023-12-05Support compilation of multiple filesJakob L. Kreuze
2023-12-05Proper executable for XACML compilerJakob 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
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-12Initial commitJakob L. Kreuze

© 2015 - 2026 Jakob L. Kreuze