Timeline
03/25/2020:
- 14:46 Ticket #112 (libc: perror behaves incorrectly when its input is an empty string) created by
-
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
- 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
- fixed
- 10:19 Ticket #109 (libc: calloc forgets to set errno whenever it fails) closed by
- 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
-
Hi,
it is not possible to disable DiOS'
stderr
andstdout
tracing …
03/06/2020:
- 10:42 Ticket #109 (libc: calloc forgets to set errno whenever it fails) created by
- Hi, Divine fails to correctly verify following piece of code and the …
Note: See TracTimeline
for information about the timeline view.