rego-proofs.git/rego-proofs/compiler-rewrite/lib/lean.ml, branch master Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=master 2023-12-21T18:38:41Z Get rid of old compiler code 2023-12-21T18:38:41Z Jakob L. Kreuze 2023-12-21T18:38:41Z urn:sha1:4ef90bd4f04a9df089c31f6eb44f5cb3c2680c49 Compile error condition 2023-11-11T00:58:20Z Jakob L. Kreuze 2023-11-11T00:58:20Z urn:sha1:99e9e7f611988cbe5608db3746aea52c91f7a2ea Basic expression simplification 2023-11-08T00:59:07Z Jakob L. Kreuze 2023-11-08T00:59:07Z urn:sha1:740953852ed83cad09ef5ed9d6f0cf1d46c445a8 Compile references to inductively-defined variables 2023-11-01T17:10:35Z Jakob L. Kreuze 2023-11-01T17:10:35Z urn:sha1:9c61d73415d0ea3923bc7fca345009c7237da76b Compiles examples/01-computable-assign-scalar.rego 2023-10-26T23:12:20Z Jakob L. Kreuze 2023-10-26T23:12:20Z urn:sha1:201109613242b029cf291fc09582e697334fb6e7 Compile literals 2023-10-24T22:59:42Z Jakob L. Kreuze 2023-10-24T22:59:42Z urn:sha1:71739f089d790cd238b44b8ab533da7d2b026ffb Import Lean representation from XACML compiler 2023-10-21T18:46:14Z Jakob L. Kreuze 2023-10-21T18:46:14Z urn:sha1:8c0dfecb1653f69049b0e2cd77ac01a1d1f32a32