Timeline



01/14/2020:

13:12 Ticket #104 (build Divine against system LLVM 9.x) 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 …

12/18/2019:

19:52 Ticket #98 (testsuite: Testsuite does not use clang from Divine's toolchain) closed by Vladimír Štill
fixed: Fixed in http://divine.fi.muni.cz/next.
19:52 Ticket #100 (libc: getline implementation incorrectly checks the failure of realloc) closed by Vladimír Štill
fixed: Fixed in http://divine.fi.muni.cz/next.
Note: See TracTimeline for information about the timeline view.