Timeline
10/20/2019:
- 12:04 Ticket #85 (testsuite: Some simulator tests fail consistently on Fedora) closed by
-
fixed: Indeed, I managed to reproduce the problem. Should be fixed in
next. - 09:50 Ticket #65 (Error message in symbolic mode) closed by
- 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
- 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
- wontfix: Turns out that static builds on glibc systems are broken anyway: …
- 17:21 Ticket #93 (Memory leak in stdio tracing code.) closed by
- 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
-
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
-
Hello,
the
divine infocommand prints outdated DiOS options. For …
10/15/2019:
- 14:39 Ticket #91 (Make (install) enhancements) created by
-
Hello,
thank you for fixing the
make installprocedure in #73! I … - 13:07 Ticket #90 (VFS: Divine segfaults while loading when capturing a diffutils directory) created by
- 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
- 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
- fixed: I have applied your patch. Thanks!
- 23:37 Ticket #71 (Divine 4.3.2 Build failures) closed by
- fixed: I have disabled the VC checks unconditionally (we never actually want …
- 23:17 Ticket #82 (Help commands segmentation faults) closed by
- 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
- 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
- wontfix: We have discussed this in IRC, but the gist is: DiOS running on DiVM …
- 15:22 Ticket #46 (Simplify stashing mechanism) closed by
- 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
- 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
- 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
- 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
- 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
- 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
- Hi, the following code makes Divine 4.3.6 crash with an assertion …
09/26/2019:
- 13:45 Ticket #86 (Dioscc produces a broken gzip binary) created by
-
Hello,
last few releases of
diosccproduce a broken native binary of …
09/23/2019:
- 15:25 Ticket #85 (testsuite: Some simulator tests fail consistently on Fedora) created by
- Hello, the following simulator tests fail consistently with the same …
09/20/2019:
- 14:09 Ticket #84 (FindZ3.cmake fails on Fedora) created by
-
Hello, the
FindZ3.cmakeCMake module fails to find the …
Note: See TracTimeline
for information about the timeline view.