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


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 …


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: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 …


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 …
Note: See TracTimeline for information about the timeline view.