[CakeML-dev] env-refactor status
Michael.Norrish at data61.csiro.au
Michael.Norrish at data61.csiro.au
Tue Feb 21 04:09:41 UTC 2017
I’ve been super-busy with other bits and pieces, but don’t mind seeing the parser proofs cheated if don’t want to block the merge. I can fix them on master. Compiler/parsing had better build if you actually want to run the parser.
Michael
On 21/2/17, 14:19, "Ramana Kumar" <Ramana.Kumar at cl.cam.ac.uk> wrote:
Hi Michael, Hugo, Yong Kiam,
If there has been progress on this, I encourage you to update the
wiki: https://wiki.cakeml.org/env-refactor
My current snapshot understanding is:
- compiler/bootstrap/translation is probably done, Yong Kiam is
running it to test
- compiler/parsing/proofs is still broken
- compiler/parsing - unknown?
Yong Kiam suggests (and I agree) that we cheat the parsing proofs to
facilitate the merge, if they are looking to take a while and are the
only blocker.
Cheers,
Ramana
On 14 February 2017 at 08:34, Yong Kiam <tanyongkiam at gmail.com> wrote:
> The translation is now past the major stuff that changed (I think), so it
> should be hopefully done soon.
>
> I'm investigating a pmatch translation failure of known_op
>
> I haven't tried translating with the parser on the head of the PR on HOL
> though.
>
> On Mon, Feb 13, 2017 at 1:30 AM, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>
> wrote:
>>
>> Hi all,
>>
>> I'd like to collect the list of problems with the env-refactor branch,
>> that are stopping it from getting merged, and see who's working on
>> them. So far, these are the ones I know about:
>>
>> - compiler/parsing/proofs/*: nobody?
>>
>> - compiler/bootstrap/translation/*: Yong Kiam?
>>
>> - compiler/bootstrap/evaluation/* (untested): nobody?
>>
>> I added a page on the wiki with some suggested assignments of people
>> to tasks. If you know of other problems, or want to work on fixing one
>> of them, update the wiki.
>>
>> https://wiki.cakeml.org/env-refactor
>>
>> Cheers,
>> Ramana
>>
>> _______________________________________________
>> Developers mailing list
>> Developers at cakeml.org
>> https://lists.cakeml.org/listinfo/developers
>
>
_______________________________________________
Developers mailing list
Developers at cakeml.org
https://lists.cakeml.org/listinfo/developers
More information about the Developers
mailing list