Timeline

11/15/2019:

14:40 Ticket #100 (libc: getline implementation incorrectly checks the failure of realloc) created by Lukáš Zaoral: Hello, the following code results into a null pointer dereference in …

11:36 Ticket #99 (The '+' character in nightly tars breaks some tests) created by Lukáš Zaoral: Hello, the + character in the path of the extracted nightly tar …

16:44 Ticket #98 (testsuite: Testsuite does not use clang from Divine's toolchain) created by Lukáš Zaoral: Hello, every test, that somehow uses clang, fails, if clang is not …

12:52 Ticket #97 (DiOS: Passing the debug:mainargs option results in config error in kernel) created by Lukáš Zaoral: Hello, running divine check with the -o debug:mainargs` option …
11:24 Ticket #96 (DiOS: Passing the debug:faultcfg option results in null pointer ...) created by Lukáš Zaoral: Hello, running divine check with the -o debug:faultcfg option …

15:19 Ticket #73 (make install failure - Divine 4.3.2) reopened by Lukáš Zaoral: I have just tried clean building the latest nightly release and `make …
15:09 Ticket #95 (sim: Integers < -5 appearing in dbg.value are discarded.) created by Lukáš Zaoral: Hello, if I run the following code in the divine sim (occurs also on …
14:29 Ticket #94 (sim: Signed integer value is shown as unsigned.) created by Lukáš Zaoral: Hello, if I run the following code in the divine sim (occurs also on …

12:04 Ticket #85 (testsuite: Some simulator tests fail consistently on Fedora) closed by mornfall: fixed: Indeed, I managed to reproduce the problem. Should be fixed in next.
09:50 Ticket #65 (Error message in symbolic mode) closed by mornfall: invalid: While this does look like a real problem in the support code for …

17:40 Ticket #54 (Split global variables by compilation unit.) closed by mornfall: wontfix: The current plan is to abolish the globals mechanism entirely and keep …
17:33 Ticket #74 (make static failures - Divine 4.3.2) closed by mornfall: wontfix: Turns out that static builds on glibc systems are broken anyway: …
17:21 Ticket #93 (Memory leak in stdio tracing code.) closed by mornfall: fixed: The problem was due to a memory leak in code that transcribes …
12:54 Ticket #93 (Memory leak in stdio tracing code.) created by Lukáš Zaoral: Hello, Divine (both 4.3.6 and next) does not correctly simulate …

10:51 Ticket #92 (divine info is outdated) created by Lukáš Zaoral: Hello, the divine info command prints outdated DiOS options. For …

Note: See TracTimeline for information about the timeline view.