Re: [creduce-dev] Avoiding syntax warnings and errors

Hi John, > On 14 Mar 2018, at 14:53, John Regehr wrote: > > Regarding try-catch, yes, we'd like to have a pass for that. I added a note > about this to our TODO list, but mostly we're too busy for adding new stuff > these days. I quickly created a simple clang_delta pass

Re: [creduce-dev] cmake bug?

I'm currently on vacation but once I'm back next week I can have a look as well if it's still unsolved. Moritz > On 31 Jan 2018, at 05:39, John Regehr wrote: > > I have weak cmake skills but can try to help. > > In any case I just added this as an item on the TODO list so

Re: [creduce-dev] [RFC] Switching from Perl to Python

Hi Martin, I'm afraid that project slipped a bit. I was almost done with porting the existing functionality but then I had to focus on some other things. But if there is still interest in this project, also mainly from John and Eric, I could pick it up again. Currently I have again some more

Re: [creduce-dev] installing C-Reduce on windows

Hi Aya, The clang binaries you downloaded should contain everything that is needed (if I remember correctly). When installing clang, did you choose to add it to the PATH environment variable? If not you will add -DLLVM_DIR=install/dir/lib/cmake/llvm to your CMake commandline for C-Reduce. Please

Re: [creduce-dev] [RFC] Switching from Perl to Python

Hi John, It took me a good time longer than I expected but I now my Python version of C-Reduce is complete. I ported all passes to Python and except for the "skip key" feature all options are supported. The skip-key feature seems indeed to be quite a problem under Linux as there is no