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

home     manual     roadmap     issues     status     papers     download

Timeline

10/11/2019:

11:14 Ticket #89 (VFS: Divine crashes while capturing files created by truncate) created by Lukáš Zaoral: Hello, following procedure makes Divine 4.3.6 crash: 1) Create a …
10:23 Ticket #88 (VFS: Divine crashes while capturing current directory) created by Lukáš Zaoral: Hello, following command makes Divine 4.3.6 crash: {{{divine check …

10/08/2019:

14:35 Ticket #87 (Struct self-assignment results in assertion failure in memcpy) created by Lukáš Zaoral: Hi, the following code makes Divine 4.3.6 crash with an assertion …

09/26/2019:

13:45 Ticket #86 (Dioscc produces a broken gzip binary) created by Lukáš Zaoral: Hello, last few releases of dioscc produce a broken native binary of …

09/23/2019:

15:25 Ticket #85 (testsuite: Some simulator tests fail consistently on Fedora) created by Lukáš Zaoral: Hello, the following simulator tests fail consistently with the same …

09/20/2019:

14:09 Ticket #84 (FindZ3.cmake fails on Fedora) created by Lukáš Zaoral: Hello, the FindZ3.cmake CMake module fails to find the …

09/16/2019:

16:13 Ticket #83 (Divince check: false negative when using NULL as the first argument of ...) created by imartisko: Hello, when checking the attached file, divine check returns different …
13:56 Ticket #82 (Help commands segmentation faults) created by Lukáš Zaoral: Hello, unfortunately, the issue #79 wasn't fully fixed. Divine still …

Note: See TracTimeline for information about the timeline view.

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