Timeline



01/29/2020:

17:47 Ticket #107 (unreachable executed: unknown binary operation fp.leq) created by P. Berger
I tested DIVINE on an example program and it fails with the error …

01/28/2020:

16:55 Ticket #106 (make: CMake does not set PYTHON_INTERP during libcxx configuration) created by Lukáš Zaoral
Hi, as previously discussed in the comments 6-10 of issue #73, the …

01/26/2020:

23:58 Ticket #38 (Report attempts to use symbolic data if symbolic is disable) closed by mornfall
fixed: As of today's next, it should be impossible to accidentally run …

01/23/2020:

15:36 Ticket #73 (make install failure - Divine 4.3.2) closed by mornfall
fixed: Should be fixed in next (please create new tickets for regressions in …

01/21/2020:

14:06 Ticket #105 (make: Move any compilation out of make install) created by Lukáš Zaoral
Hi, would it be possible to build everything even before the `make …

01/14/2020:

13:12 Ticket #104 (build Divine against system LLVM 13) created by Kamil Dudka
Divine is currently built against its own copy of LLVM. This is not …
12:16 Ticket #101 (Divine produces unusable memory leak reports) closed by mornfall
invalid: Improvements in leak reporting fall under #35 and related tickets. As …
11:47 Ticket #81 (dioscc and divine cc explicitly undefine the __x86_64__ macro) closed by mornfall
invalid: I think there's a fundamental misunderstanding what DiOS is and how it …

01/13/2020:

17:43 Ticket #91 (Make (install) enhancements) closed by Vladimír Štill
fixed: It seems both sim PIC and dioscc/divcc install should be fixed in …
15:48 Ticket #81 (dioscc and divine cc explicitly undefine the __x86_64__ macro) reopened by Vladimír Štill
Well, this is partly a problem of specification… if we disregard …

01/09/2020:

16:33 Ticket #101 (Divine produces unusable memory leak reports) reopened by Kamil Dudka
I am reopening this ticket because Divine's output format for …
Note: See TracTimeline for information about the timeline view.