https://bugs.documentfoundation.org/show_bug.cgi?id=43059
Luboš Luňák changed:
What|Removed |Added
Resolution|--- |WONTFIX
Status|NEW
https://bugs.documentfoundation.org/show_bug.cgi?id=43059
jan iversen changed:
What|Removed |Added
Whiteboard|ToBeReviewed|
--
https://bugs.documentfoundation.org/show_bug.cgi?id=43059
jan iversen changed:
What|Removed |Added
Whiteboard|
https://bugs.freedesktop.org/show_bug.cgi?id=43059
Qubit qu...@runcibility.com changed:
What|Removed |Added
Whiteboard|EasyHack,DifficultyInterest |EasyHack
https://bugs.freedesktop.org/show_bug.cgi?id=43059
Björn Michaelsen bjoern.michael...@canonical.com changed:
What|Removed |Added
CC|
https://bugs.freedesktop.org/show_bug.cgi?id=43059
--- Comment #7 from Stephen Torri sto...@torri.org ---
I am interested in working on this task. Looking at Sixgill it appears tha
project has not been updated in 3 years. It depends on GCC 4.5 plugin and Yices
1.0 (if you want their solver) APIs.
https://bugs.freedesktop.org/show_bug.cgi?id=43059
--- Comment #8 from Michael Meeks michael.me...@collabora.com ---
Hi Stephen ! great to have you interested - of course, we're interested in
throwing as much static checking as we can get at the LibreOffice code-base and
fixing the results :-)
https://bugs.freedesktop.org/show_bug.cgi?id=43059
--- Comment #6 from Julien Nabet serval2...@yahoo.fr ---
I gave a new try but had this:
julien@julienPC:~/sixgill/xgill/testjul$ gcc
-fplugin=/home/julien/sixgill/xgill/gcc/xgill.so -c test.cpp
cc1plus: error: cannot load plugin
https://bugs.freedesktop.org/show_bug.cgi?id=43059
--- Comment #5 from Mathias Hasselmann mathias.hasselm...@gmx.de ---
Is there actually any documentation how to use this tool?
--
You are receiving this mail because:
You are the assignee for the bug.
https://bugs.freedesktop.org/show_bug.cgi?id=43059
--- Comment #4 from Julien Nabet serval2...@yahoo.fr ---
Just for information, there's a new repo for sixgill here:
https://github.com/rillian/xgill
In order to have gcc plugin enabled during xgill building, we just need to have
https://bugs.freedesktop.org/show_bug.cgi?id=43059
Florian Reisinger reisi...@gmail.com changed:
What|Removed |Added
Summary|EasyHack: apply sixgill |apply sixgill
11 matches
Mail list logo