On 8/23/18 8:42 PM, Réka Nikolett Kovács wrote:
Hi Moritz,
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?
Hello.
It's nice that I can cooperate with the project. I'm also offering help with finishing of migration into Python
if there's still an interest from community?
Thank you,
Martin
Thanks in advance.
Réka
On Tue, Jan 16, 2018 at 8:49 PM, Moritz Pflanzer <moritz@pflanzer.eu <mailto:moritz@pflanzer.eu>> wrote:
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.
Moritz
On 2 Jan 2018, at 13:48, Martin Liška <mliska@suse.cz <mailto:mliska@suse.cz>> wrote:
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