Timeline



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.

08/22/2019:

00:24 Ticket #79 (Divine help commands crash) closed by mornfall
fixed: Ooops. Fixed in next.

08/21/2019:

23:31 Ticket #67 (DiOS: VFS Capture does not work) closed by mornfall
duplicate: The problem with --capture is that there is no root directory (i.e. …
12:43 Ticket #80 (dioscc without any arguments fails with ld error) created by Lukáš Zaoral
Hi, running dioscc without any arguments results in ld complaining …
10:26 Ticket #79 (Divine help commands crash) created by Lukáš Zaoral
Hello, I'd like to report a regression in the 4.3.5 release. Divine …

08/20/2019:

22:42 Ticket #50 (Comparison of pointers in usermeta is incorrect.) closed by mornfall
fixed: Should be fixed now.
16:12 Ticket #76 (Divcc produces a broken gzip) closed by blurrymoi
fixed: These should now all be resolved in next (or otherwise explained as …
15:13 Ticket #77 (divcc -v segfault) closed by blurrymoi
fixed: Should be fixed in next.
14:22 Ticket #78 (Sigaction in enquiry mode causes unexpected error while checking) closed by mornfall
fixed: Thanks! Should be resolved in next now.

08/19/2019:

15:42 Ticket #78 (Sigaction in enquiry mode causes unexpected error while checking) created by Lukáš Zaoral
Hello, I was trying to check gzip 1.10, but Divine always failed …
Note: See TracTimeline for information about the timeline view.