rego-proofs.git/rego-proofs/compiler-rewrite/lib/compiler.mli, 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 Add support for nested definitions 2023-10-31T22:58:46Z Jakob L. Kreuze 2023-10-31T22:50:18Z urn:sha1:923bfaec794af85a6d4c850e58966f33616784d1 More detailed variable usage analysis 2023-10-31T18:02:55Z Jakob L. Kreuze 2023-10-31T18:02:55Z urn:sha1:55b391229361435e3f29fefab82c738316d63ec4 Re-do first pass variable identification 2023-10-30T23:29:27Z Jakob L. Kreuze 2023-10-30T23:29:09Z urn:sha1:de40bef50417c9c57e02c75a6b1f484a42517db5 Compiles examples/01-computable-assign-scalar.rego 2023-10-26T23:12:20Z Jakob L. Kreuze 2023-10-26T23:12:20Z urn:sha1:201109613242b029cf291fc09582e697334fb6e7 Last refactoring before sending out update 2023-10-21T18:46:08Z Jakob L. Kreuze 2023-10-21T18:11:41Z urn:sha1:c134b1341fd80508f3292bdc6a6c5b048d51f834 Move OPA interaction to AST module 2023-10-21T18:02:01Z Jakob L. Kreuze 2023-10-21T18:02:01Z urn:sha1:b0bfb8908a4665d5047dfde3e6ab339454f2a136 ocamlformat 2023-10-21T17:53:43Z Jakob L. Kreuze 2023-10-21T17:53:43Z urn:sha1:5d7f7009e9e556a34467d65bee2e02aa4b48a95a Extract functionality to library 2023-10-21T17:05:15Z Jakob L. Kreuze 2023-10-21T17:05:15Z urn:sha1:82db84c44e349b3a755dbc65ba3f80511a315e06