On 10/26/18 9:59 AM, Martin Liška wrote:
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 <mor...@pflanzer.eu
<mailto:mor...@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 <mli...@suse.cz <mailto:mli...@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
Hi.
May I please remind the topic to community?
Thanks,
Martin
