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

home     manual     roadmap     issues     status     papers     download

Timeline

01/09/2020:

16:33 Ticket #101 (Divine produces unusable memory leak reports) reopened by Kamil Dudka: I am reopening this ticket because Divine's output format for …

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

Note: See TracTimeline for information about the timeline view.

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