My colleagues and I are working on static analysis tools based on the LLVM/Clang toolchain, and we use C-Reduce to investigate bugs and crashes. We have little experience with Perl, but regularly use Python, and would love to see a Python version of C-Reduce that we could tinker with.
I know that you wrote this mail more than half a year ago, so I'm wondering if you still have time and interest to work on it? Could you perhaps give us a brief overview of what's already accomplished and what is left?
Thanks in advance.
On Tue, Jan 16, 2018 at 8:49 PM, Moritz Pflanzer <firstname.lastname@example.org
> 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 time that I could spend on finishing the rework in Python and also offer support at least during the transition period.
> Let me know what you think.
> > On 2 Jan 2018, at 13:48, Martin Liška <email@example.com
> > Hello.
> > I've working on GCC as a develop, creduce is my daily tool and I'm really grateful we've got such a tool.
> > I'm also responsible for packaging of the project in openSUSE. And time to time I see some warnings/errors
> > in the tool. To be honest, I don't like Perl much, so I always bail out any debugging of the tool.
> > I would be happy to see the tool re-written in Python and I'm curious about any progress update
> > of the migration. From I've read in this discussion, the transition is very close.
> > Thank you,
> > Martin