Timeline



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 …

09/10/2019:

13:17 Ticket #81 (dioscc and divine cc explicitly undefine the __x86_64__ macro) created by Lukáš Zaoral
Hello, the following code is preprocessed differently than with other …

09/09/2019:

15:44 Ticket #80 (dioscc without any arguments fails with ld error) closed by Lukáš Zaoral
fixed: I have just tested the 4.3.6 release and this issue has been fixed. …

08/24/2019:

22:51 Ticket #70 (libpng tests in divine hit op != OpCode::Call in setjmp) closed by mornfall
fixed: Fixed in next.
Note: See TracTimeline for information about the timeline view.