Timeline



11/07/2019:

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 …

11/04/2019:

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 …

10/22/2019:

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 …

10/21/2019:

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 …

10/20/2019:

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 …

10/18/2019:

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/17/2019:

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

10/15/2019:

14:39 Ticket #91 (Make (install) enhancements) created by Lukáš Zaoral
Hello, thank you for fixing the make install procedure in #73! I …
13:07 Ticket #90 (VFS: Divine segfaults while loading when capturing a diffutils directory) created by Lukáš Zaoral
Hello, the following issue still persists even with the latest VFS …

10/13/2019:

00:34 Ticket #73 (make install failure - Divine 4.3.2) closed by mornfall
fixed: I have applied your install-rpath changes and fixed the remaining …

10/12/2019:

23:40 Ticket #84 (FindZ3.cmake fails on Fedora) closed by mornfall
fixed: I have applied your patch. Thanks!
23:37 Ticket #71 (Divine 4.3.2 Build failures) closed by mornfall
fixed: I have disabled the VC checks unconditionally (we never actually want …
23:17 Ticket #82 (Help commands segmentation faults) closed by mornfall
fixed: Hopefully fixed all the problems now. I have added the cases that you …
18:54 Ticket #83 (Divince check: false negative when using NULL as the first argument of ...) closed by mornfall
fixed: What happens is that pthread_create in dios returns EINVAL in this …
18:53 Ticket #81 (dioscc and divine cc explicitly undefine the __x86_64__ macro) closed by mornfall
wontfix: We have discussed this in IRC, but the gist is: DiOS running on DiVM …
15:22 Ticket #46 (Simplify stashing mechanism) closed by mornfall
fixed: I think we can close this issue. The ref/unref bit is part of a much …
15:06 Ticket #86 (Dioscc produces a broken gzip binary) closed by mornfall
fixed: Actually, the fix was easier than I expected and just made it into next.
12:53 Ticket #89 (VFS: Divine crashes while capturing files created by truncate) closed by mornfall
fixed: The truncate is not the problem, it is the size of the file. The VM …
10:30 Ticket #88 (VFS: Divine crashes while capturing current directory) closed by mornfall
fixed: Fixed in next. FWIW, this is not divine crashing but rather dios …

10/11/2019:

11:14 Ticket #89 (VFS: Divine crashes while capturing files created by truncate) created by Lukáš Zaoral
Hello, following procedure makes Divine 4.3.6 crash: 1) Create a …
10:23 Ticket #88 (VFS: Divine crashes while capturing current directory) created by Lukáš Zaoral
Hello, following command makes Divine 4.3.6 crash: {{{divine check …

10/08/2019:

14:35 Ticket #87 (Struct self-assignment results in assertion failure in memcpy) created by Lukáš Zaoral
Hi, the following code makes Divine 4.3.6 crash with an assertion …
Note: See TracTimeline for information about the timeline view.