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

home     manual     roadmap     issues     status     papers     download

Timeline

03/26/2020:

15:50 Ticket #112 (libc: perror behaves incorrectly when its input is an empty string) closed by Henrich Lauko: fixed: Patch accepted.

03/25/2020:

14:46 Ticket #112 (libc: perror behaves incorrectly when its input is an empty string) created by Lukáš Zaoral: Hi, perror should print only the error message, when its input is an …
12:52 Ticket #111 (libc: zero size allocations are handled improperly) created by Lukáš Zaoral: Hi, whenever a zero size allocation occurs, DiOS' implementation of …

03/16/2020:

10:29 Ticket #17 (Generalize smt builder interface to be usable with different back-ends.) closed by Henrich Lauko: fixed
10:19 Ticket #109 (libc: calloc forgets to set errno whenever it fails) closed by Henrich Lauko: fixed: Thanks for the patch.

03/13/2020:

10:38 Ticket #110 (DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference) created by Lukáš Zaoral: Hi, it is not possible to disable DiOS' stderr and stdout tracing …

03/06/2020:

10:42 Ticket #109 (libc: calloc forgets to set errno whenever it fails) created by Lukáš Zaoral: Hi, Divine fails to correctly verify following piece of code and the …

Note: See TracTimeline for information about the timeline view.

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