search for: 18287d96

Displaying 1 result from an estimated 1 matches for "18287d96".

Did you mean: 1.828796
2015 Jul 01
2
[LLVMdev] C as used/implemented in practice: analysis of responses
On 1 July 2015 at 13:29, Renato Golin <renato.golin at linaro.org> wrote: > On 1 July 2015 at 13:10, Peter Sewell <Peter.Sewell at cl.cam.ac.uk> wrote: >> while attractive from the compiler-writer point of view, is just not >> realistic, given the enormous body of C code out there which does >> depend on some particular properties which are not guaranteed by the