Timeline



09/02/2021:

15:50 Ticket #119 (libc: make return value of isatty(3) user configurable) created by Lukáš Zaoral
Current implementation of isatty(3) in DiOS assumes that all valid …
15:33 Ticket #118 (libc: isatty(3) is POSIX-nonconformant) created by Lukáš Zaoral
The current implementation of isatty(3) in DiOS returns EINVAL if …
14:42 Ticket #117 (Possibility of symbolic argc + argv) created by Lukáš Zaoral
At the moment, Divine models the contents of argc and argv only by …
09:48 Ticket #116 (Divine fails to build on distributions with recent glibc and GNU toolchain) created by Lukáš Zaoral
Divine fails to successfully complete the make install phase on …
Note: See TracTimeline for information about the timeline view.