Timeline



02/06/2020:

17:07 Ticket #108 (symbolic: __VERIFIER_nondet_(u)int() causes a memory leak) closed by Henrich Lauko
duplicate: This is a duplication of #10. Unfortunately symbolic values currently …
16:25 Ticket #108 (symbolic: __VERIFIER_nondet_(u)int() causes a memory leak) created by Lukáš Zaoral
Hi, whenever the __VERIFIER_nondet_int() (or uint) function is …
14:37 Ticket #75 (cmake: Build of 4.4.2 fails due to missing target dependencies) closed by Henrich Lauko
fixed: Fix should appear in the next release.

02/03/2020:

09:15 Ticket #18 (Implement string modification abstraction.) closed by Henrich Lauko
fixed

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.