Claire Le Goues comments

Results 5 comments of


                                            Claire Le Goues

Dorn's 2015 paper.

Thx. (1) Do you have the slides somewhere? You reference them in your putative webste entry but I don't see them in your links. (2) What do you intend me...

Error when running on Coreutils

Hey there! Sorry for the delay in responding, took a back burner between the pandemic and my maternity leave. Sorry for asking what sounds like an obvious question, but: src/split.c...

Where are the TSE 2012 results?

Thx. Both for this and GECCO 2010, I was hoping to dig up the actual logs, rather than just the benchmarks. However, this is a start, and I will definitely...

Could not find CIL include path. Is $CIL set correctly?. Stop.

Is Cil installed? The master branch right now (as in, Sep 1, 2021) doesn't work past ocaml 4.05.0, but if you've set up an opam switch at that compiler version...

Set up tconnectsync - login issues

I'm having the same issue. I'm trying to set tconnectsync up on a new laptop. It worked on the old one (which is at home so I can't easily compare...