On 13 November 2015 at 14:36, Christophe Lyon
wrote:
> On 13 November 2015 at 12:24, Kyrill Tkachov wrote:
>>
>> On 13/11/15 11:18, Ramana Radhakrishnan wrote:
Hmm. I hadn't noticed that the crypto intrinsics tests where generated by
On 13/11/15 11:18, Ramana Radhakrishnan wrote:
Hmm. I hadn't noticed that the crypto intrinsics tests where generated by
neon-testgen.ml, I thought they were hand-written.
The tests I added do not cover the crypto intrinsics, so I'm going
to revert r230274 and restore all the tests generated by
On 12 November 2015 at 23:18, Christophe Lyon
wrote:
> On 6 November 2015 at 21:29, Christophe Lyon
> wrote:
>> On 4 November 2015 at 13:16, Ramana Radhakrishnan
>> wrote:
>>> On Fri, Oct 30, 2015 at 2:42 PM,
> Hmm. I hadn't noticed that the crypto intrinsics tests where generated by
> neon-testgen.ml, I thought they were hand-written.
> The tests I added do not cover the crypto intrinsics, so I'm going
> to revert r230274 and restore all the tests generated by neon-testgen.ml
> until we have better
Hi Christophe,
On 13/11/15 10:24, Christophe Lyon wrote:
On 12 November 2015 at 23:18, Christophe Lyon
wrote:
On 6 November 2015 at 21:29, Christophe Lyon wrote:
On 4 November 2015 at 13:16, Ramana Radhakrishnan
On 13 November 2015 at 12:24, Kyrill Tkachov wrote:
>
> On 13/11/15 11:18, Ramana Radhakrishnan wrote:
>>>
>>> Hmm. I hadn't noticed that the crypto intrinsics tests where generated by
>>> neon-testgen.ml, I thought they were hand-written.
>>> The tests I added do not
On 6 November 2015 at 21:29, Christophe Lyon wrote:
> On 4 November 2015 at 13:16, Ramana Radhakrishnan
> wrote:
>> On Fri, Oct 30, 2015 at 2:42 PM, Christophe Lyon
>> wrote:
>>> On 30 October 2015 at 15:33,
On 4 November 2015 at 13:16, Ramana Radhakrishnan
wrote:
> On Fri, Oct 30, 2015 at 2:42 PM, Christophe Lyon
> wrote:
>> On 30 October 2015 at 15:33, Ramana Radhakrishnan
>> wrote:
>>>
>>>
>>> On 29/10/15
On Fri, Oct 30, 2015 at 2:42 PM, Christophe Lyon
wrote:
> On 30 October 2015 at 15:33, Ramana Radhakrishnan
> wrote:
>>
>>
>> On 29/10/15 17:23, Jim Wilson wrote:
>>> I noticed a comment typo in this file while using grep to look for
On 02/11/15 12:06, Julian Brown wrote:
Hi,
On Thu, 29 Oct 2015 10:23:58 -0700
Jim Wilson wrote:
I noticed a comment typo in this file while using grep to look for
other stuff. The typo is easy to fix.
I tried running neon-testgen.ml to verify, but it is apparently
Hi,
On Thu, 29 Oct 2015 10:23:58 -0700
Jim Wilson wrote:
> I noticed a comment typo in this file while using grep to look for
> other stuff. The typo is easy to fix.
>
> I tried running neon-testgen.ml to verify, but it is apparently no
> longer valid ocaml, as it
On 29/10/15 17:23, Jim Wilson wrote:
> I noticed a comment typo in this file while using grep to look for
> other stuff. The typo is easy to fix.
>
> I tried running neon-testgen.ml to verify, but it is apparently no
> longer valid ocaml, as it doesn't work with the ocamlc 4.01.0 I have
> on
On 30 October 2015 at 15:33, Ramana Radhakrishnan
wrote:
>
>
> On 29/10/15 17:23, Jim Wilson wrote:
>> I noticed a comment typo in this file while using grep to look for
>> other stuff. The typo is easy to fix.
>>
>> I tried running neon-testgen.ml to verify,
I noticed a comment typo in this file while using grep to look for
other stuff. The typo is easy to fix.
I tried running neon-testgen.ml to verify, but it is apparently no
longer valid ocaml, as it doesn't work with the ocamlc 4.01.0 I have
on Ubuntu 14.04. I get a syntax error. Someone who
14 matches
Mail list logo