rego-proofs.git/xacml-proofs/compiler/bin/main.ml, branch master Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=master 2023-12-21T18:20:58Z Check-in remaining files 2023-12-21T18:20:58Z Jakob L. Kreuze 2023-12-21T18:20:58Z urn:sha1:be7067d632aa665c20f96d3b344a84c95b0f8ff8 Support compilation of multiple files 2023-12-05T21:13:26Z Jakob L. Kreuze 2023-12-05T21:13:01Z urn:sha1:d96710a823d7f9ede16a18774131a47729e967a0 Proper executable for XACML compiler 2023-12-05T20:50:44Z Jakob L. Kreuze 2023-12-05T20:50:44Z urn:sha1:328d8bf54255ec9be6dd19360ea66b0cb4e0c9e5 Refactor equality 2023-10-10T23:08:22Z Jakob L. Kreuze 2023-10-10T23:08:22Z urn:sha1:29be8525a603f7ea290781182c283601c575cbbc Order variable definitions 2023-10-06T20:09:31Z Jakob L. Kreuze 2023-10-06T20:09:31Z urn:sha1:5899b086424b1d91f147488cd9aa724e92b68bdb Order Lean definitions 2023-10-06T19:52:00Z Jakob L. Kreuze 2023-10-06T19:28:48Z urn:sha1:c97b75dcf67a79bd9b4677181ae0c8e2d211b748 Implement PolicySetIdReference, PolicyIdReference 2023-10-05T18:16:04Z Jakob L. Kreuze 2023-10-05T18:16:04Z urn:sha1:3a2a410145f0e39084a86697eda5a0d37515bbfe Validate VersionType 2023-10-04T23:41:51Z Jakob L. Kreuze 2023-10-04T23:40:24Z urn:sha1:249150abcfb531c55fafc2e4907b8a6bb90292d4 Naive variable erasure 2023-10-04T23:26:11Z Jakob L. Kreuze 2023-10-04T23:26:11Z urn:sha1:4113a22a6595d00865b107f7b9a178fa42791b0a Order of evaluation will have to follow a topological sort Environment for variable erasure 2023-10-04T23:12:35Z Jakob L. Kreuze 2023-10-04T23:12:35Z urn:sha1:6734038152a68d6283d68797ea1e3ad7906a72ae