^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(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

11/27/2019:

17:09 Ticket #101 (Divine produces unusable memory leak reports) created by Kamil Dudka

[…] […]

11/26/2019:

15:47 Ticket #3 (Aggregate and garbage-collect *_log tables.) closed by blurrymoi

fixed: The added triggers should do for now, we may want to collect other …

11/15/2019:

14:40 Ticket #100 (libc: getline implementation incorrectly checks the failure of realloc) created by Lukáš Zaoral

Hello, the following code results into a null pointer dereference in …

11/07/2019:

11:36 Ticket #99 (The '+' character in nightly tars breaks some tests) created by Lukáš Zaoral

Hello, the + character in the path of the extracted nightly tar …

11/04/2019:

16:44 Ticket #98 (testsuite: Testsuite does not use clang from Divine's toolchain) created by Lukáš Zaoral

Hello, every test, that somehow uses clang, fails, if clang is not …

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