Timeline
11/07/2019:
- 11:36 Ticket #99 (The '+' character in nightly tars breaks some tests) created by
-
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
-
Hello,
every test, that somehow uses
clang, fails, ifclangis not …
10/22/2019:
- 12:52 Ticket #97 (DiOS: Passing the debug:mainargs option results in config error in kernel) created by
-
Hello,
running
divine checkwith the -o debug:mainargs` option … - 11:24 Ticket #96 (DiOS: Passing the debug:faultcfg option results in null pointer ...) created by
-
Hello,
running
divine checkwith the-o debug:faultcfgoption …
10/21/2019:
- 15:19 Ticket #73 (make install failure - Divine 4.3.2) reopened by
- 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
-
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
-
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
-
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 …
Note: See TracTimeline
for information about the timeline view.