^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(o)—     |     |   |   |     |   |   |  |  |  |————     '————|
 ———————    |     |   |    |   |    |   |    ||  |              |
—————————   —————'   —'—     '     —'—  '     '  '—————         '

home     manual     roadmap     issues     status     papers     download     

Timeline

View changes from
going back days
by author

Changesets in all repositories   - current   - next Milestones completed Tickets opened and closed

08/09/2019:

14:39 Ticket #77 (divcc -v segfault) created by Lukáš Zaoral

If the divcc compiler is run with the -v option, the binary throws …

12:57 Ticket #76 (Divcc produces a broken gzip) created by Lukáš Zaoral

I've tried to test the gzip binary compiled by divcc from the …

08/07/2019:

13:28 Ticket #75 (cmake: Build of 4.4.2 fails due to missing target dependencies) created by Lukáš Zaoral

Hi, if I try to build latest release of Divine without ninja, the …

07/17/2019:

16:48 Ticket #74 (make static failures - Divine 4.3.2) created by imartisko

Hello, based on the info from the issue #73, we are trying to make …

—— paradise  |  fi muni  |  2000 – 2018 ——