Timeline



10/12/2019:

23:40 Ticket #84 (FindZ3.cmake fails on Fedora) closed by mornfall
fixed: I have applied your patch. Thanks!
23:37 Ticket #71 (Divine 4.3.2 Build failures) closed by mornfall
fixed: I have disabled the VC checks unconditionally (we never actually want …
23:17 Ticket #82 (Help commands segmentation faults) closed by mornfall
fixed: Hopefully fixed all the problems now. I have added the cases that you …
18:54 Ticket #83 (Divince check: false negative when using NULL as the first argument of ...) closed by mornfall
fixed: What happens is that pthread_create in dios returns EINVAL in this …
18:53 Ticket #81 (dioscc and divine cc explicitly undefine the __x86_64__ macro) closed by mornfall
wontfix: We have discussed this in IRC, but the gist is: DiOS running on DiVM …
15:22 Ticket #46 (Simplify stashing mechanism) closed by mornfall
fixed: I think we can close this issue. The ref/unref bit is part of a much …
15:06 Ticket #86 (Dioscc produces a broken gzip binary) closed by mornfall
fixed: Actually, the fix was easier than I expected and just made it into next.
12:53 Ticket #89 (VFS: Divine crashes while capturing files created by truncate) closed by mornfall
fixed: The truncate is not the problem, it is the size of the file. The VM …
10:30 Ticket #88 (VFS: Divine crashes while capturing current directory) closed by mornfall
fixed: Fixed in next. FWIW, this is not divine crashing but rather dios …

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.