rego-proofs.git, branch merge-parsing-stages Lean proofs for my Master's thesis https://www.git.jakob.space/rego-proofs.git/atom?h=merge-parsing-stages 2023-05-13T13:08:22Z Uncomment remaining tests 2023-05-13T13:08:22Z Jakob L. Kreuze 2023-05-13T13:08:22Z urn:sha1:ac653562913a12bef6273cc7e32b2621812411f1 Separate pass for compiling object literals 2023-05-13T13:08:10Z Jakob L. Kreuze 2023-05-13T13:05:00Z urn:sha1:f70c50082b4e5e43da05d2101013ee9b07732cfc Some processing order issues resolved 2023-05-12T17:15:07Z Jakob L. Kreuze 2023-05-12T17:15:07Z urn:sha1:79b39cb5bb6203f3a1ced5d3e2d61f08d7abe3eb Join files 2023-05-10T23:48:57Z Jakob L. Kreuze 2023-05-10T23:48:57Z urn:sha1:1ab7d7a0c7cc40ab37b2f3285252dc0b062915c2 Uncomment failing test 2023-05-10T23:45:51Z Jakob L. Kreuze 2023-05-10T23:45:51Z urn:sha1:d763080d6b0877dc76c8816f833d29aceda5ad38 Parse rules with `else' branches 2023-05-10T23:43:40Z Jakob L. Kreuze 2023-05-10T23:41:46Z urn:sha1:7b868aa5f27f70973d8108bade452993204c89a3 Arrays are multi-dimensional but we actually want to restrict to 1 dimension 2023-05-10T19:49:19Z Jakob L. Kreuze 2023-05-10T19:49:19Z urn:sha1:a021f72e4f8ade7bdd30b348b819bf4fb0574f00 Finish parsing tests of interest; some issues discovered 2023-05-10T19:05:09Z Jakob L. Kreuze 2023-05-10T19:05:09Z urn:sha1:0e8ac0d97b254689703e6701500c655c1efb99d6 Initial parsing tests 2023-05-06T00:05:55Z Jakob L. Kreuze 2023-05-06T00:05:55Z urn:sha1:6f1bd841ce639b9f26b0b99dc90d6c53a6eae9e0 Implement with-new-identifiers macro 2023-05-04T21:41:39Z Jakob L. Kreuze 2023-05-04T21:41:39Z urn:sha1:fc67a3d0ec16d45b10d2962b2798a1f6148b1c1a