Timeline



01/15/2019:

18:19 Milestone 4.2 completed
14:26 Ticket #38 (Report attempts to use symbolic data if symbolic is disable) created by Vladimír Štill
Currently, if a benchmark which contains symbolic data is analyzed …
13:18 Ticket #37 (Update libc++ and libc++abi.) created by mornfall
We are currently on 4.0, should go at least to 6.0 since that is the …
00:20 Ticket #36 (Assign 'types' (weak, marked) to objects, not to pointers.) created by mornfall
This should eliminate a whole class of hard-to-trace bugs. We can …

01/14/2019:

23:15 Ticket #35 (Track origins of memory objects.) created by mornfall
With #32, it should be easy to attach a stack trace (probably just a …
23:12 Ticket #34 (Add _VM_T_StackTrace to __vm_trace.) created by mornfall
The idea is to send an array of program counters to the VM, so it can …
23:05 Ticket #33 (Return the list of leaked objects back to userspace.) created by mornfall
Currently, leak checking is implemented as a vm_trace call. This …
22:54 Ticket #32 (Allow usermeta layers to be weak (debug).) created by mornfall
This would be useful to be able to track per-object or even per-byte …

01/11/2019:

20:16 Ticket #23 (divine cc -c -Ipath does not work) closed by blurrymoi
fixed

01/10/2019:

13:00 Ticket #31 (Capture 'mount points' are confusing.) created by mornfall
There's a few issues to deal with: - mount points (both files and …
12:55 Ticket #28 (Capturing symbolically linked files seem to crash DiOS) closed by mornfall
fixed: The patches fixing this and a few other capture-related problems are …

01/09/2019:

16:06 Ticket #13 (pass CMake pthreads check) closed by blurrymoi
fixed
02:36 Ticket #29 (Add/fix divcc --version and --help) closed by mornfall
fixed: Soon to land in next.
02:26 Ticket #5 (Invalid YAML report for programs with options or stdin) closed by mornfall
fixed: Should be fixed in next.

01/08/2019:

23:34 Ticket #30 (Possibly move divine's version() out of UI.) created by blurrymoi
divcc only has to link with divine-ui to print --version
14:11 Ticket #29 (Add/fix divcc --version and --help) created by blurrymoi
Both propagate to other tools and result in a segfault.

12/19/2018:

11:03 Ticket #28 (Capturing symbolically linked files seem to crash DiOS) created by John Lång
For verifying my application, I created a new directory, into which I …
10:54 Ticket #27 (build filaure (fatal error: dios.h: No such file or directory)) closed by mornfall
fixed: Yes, this is a known problem that unfortunately affected the 4.1.20 …
10:44 Ticket #27 (build filaure (fatal error: dios.h: No such file or directory)) created by Kamil Dudka
While trying to write self-contained steps to reproduce …

12/18/2018:

23:28 Ticket #8 (Missing or spurious ODBC dependency) closed by mornfall
worksforme: Probably a cmake glitch, or a case of stale cache (odbc headers …
22:51 Ticket #26 (The weakmem runtime leaks memory) created by mornfall
Not super critical, since we can run relaxed-memory checks and leak …
22:48 Ticket #1 (Fix memory leaks in DiOS) closed by mornfall
fixed: The kernel and libc are now virtually leak-free. The only remaining …

12/17/2018:

18:24 Ticket #25 (Make metadata exception map lock-free) created by adamatousek
To date, the metadata exception map is implemented using an …
15:56 Ticket #24 (divcc needs native libc++ and libc++abi to build C++ programs) created by mornfall
We may want to ship native versions of those ourselves, since many …
11:40 Ticket #23 (divine cc -c -Ipath does not work) created by mornfall
Seems to work fine without -c though.
Note: See TracTimeline for information about the timeline view.