Timeline



12/18/2019:

19:52 Ticket #98 (testsuite: Testsuite does not use clang from Divine's toolchain) closed by Vladimír Štill
fixed: Fixed in http://divine.fi.muni.cz/next.
19:52 Ticket #100 (libc: getline implementation incorrectly checks the failure of realloc) closed by Vladimír Štill
fixed: Fixed in http://divine.fi.muni.cz/next.

12/13/2019:

23:26 Ticket #99 (The '+' character in nightly tars breaks some tests) closed by mornfall
fixed: I have fixed the tests in next.
13:42 Ticket #103 (libc: strcpy and strncpy do not check if the strings overlap) closed by mornfall
fixed: Fixed in next.

12/12/2019:

15:28 Ticket #103 (libc: strcpy and strncpy do not check if the strings overlap) created by Lukáš Zaoral
Hello, the implementations of strcpy and strncpy should check, …

11/29/2019:

13:03 Ticket #102 (VFS: DiOS fails to boot when capturing an absolute path) closed by mornfall
duplicate: Pretty much #31 -- the parent of the mount point must exist. The error …
12:46 Ticket #101 (Divine produces unusable memory leak reports) closed by mornfall
invalid: Yes, you need to enable leak checking to get leak reports. …
10:10 Ticket #102 (VFS: DiOS fails to boot when capturing an absolute path) created by Lukáš Zaoral
Hello, the following command makes DiOS crash while booting: `divine …

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