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. I am using GCC 4.8 on Fedora 19. At first glance Yices appears to have been updated to 2.0 since the last release of sixgill as well as GCC being updated. I see the tasks to get this project working to be: - Update Sixgill to use Yices 2.0 - Fix compiling problems - Figure out how to use Sixgill on the code. Is there a particular directory we should start on? -- You are receiving this mail because: You are the assignee for the bug.
_______________________________________________ Libreoffice-bugs mailing list Libreoffice-bugs@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice-bugs