Timeline
02/10/2019:
- 19:36 Ticket #41 (Faults that are suppressed should not appear in the trace) closed by
- fixed: Should be gone in next. (Static builds are borked though, I'll look …
- 00:09 Ticket #52 (unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06) closed by
- fixed: I have checked in the fix. Also turns out that LLVM codegen can't deal …
02/07/2019:
- 16:30 Ticket #52 (unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06) created by
- I tried to reproduce …
02/04/2019:
- 17:37 Ticket #51 (Write a style guide.) created by
- A few bullet points for now: - indent is 4 spaces and applies to …
02/03/2019:
- 02:14 Ticket #50 (Comparison of pointers in usermeta is incorrect.) created by
- Marked pointers are not extracted into SMT queries and normal pointers …
- 02:03 Ticket #36 (Assign 'types' (weak, marked) to objects, not to pointers.) closed by
- fixed: I have kept the _VM_T_DebugPersist call (at least for now), mainly for …
02/01/2019:
- 13:45 Ticket #49 (Build system should check for minimal version of Z3) created by
- DIVINE build currently fails on Debian with downstream Z3 installed. …
01/30/2019:
- 13:40 Ticket #48 (Destroy symbolic formula directly when 0 reference count is reached) created by
- 13:36 Ticket #47 (Benchmark abstraction cleanup influence) created by
- 13:31 Ticket #46 (Simplify stashing mechanism) created by
- Backtrack to the previous solution with a single stashed structure: …
01/27/2019:
- 12:05 Ticket #45 (Add support for __atomic_* libcalls) created by
- In some code (such as boost::lockfree), there are 128bit atomics, …
01/25/2019:
- 16:22 Ticket #44 (Multi-Threaded Performance Doesn't Scale) created by
- On my Debian laptop, I noticed that running divine check on my model …
01/21/2019:
- 16:25 Ticket #43 (Fix thread_local) created by
-
Currently, the
thread_localkeyword is not supported. Even worse, it …
01/18/2019:
- 13:30 Ticket #42 (DIVINE sim crashes after only six states) closed by
- invalid: This is not something we can really fix -- it is a genuine violation …
- 09:37 Ticket #42 (DIVINE sim crashes after only six states) created by
- I'm using the static binary version 4.1.20+2018.12.17 of DIVINE. I'm …
- 09:16 Ticket #41 (Faults that are suppressed should not appear in the trace) created by
- It seems that when DiOS boots up, the following message emerges: "T: …
01/17/2019:
- 21:49 Ticket #14 (Allow programs to override libc symbols) closed by
- fixed
- 14:26 Ticket #40 (Error with _SYM and array indexing (worked in 4.1.6)) created by
- Verification of the following code could be launched in 4.1.6 but in …
01/16/2019:
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
- Currently, if a benchmark which contains symbolic data is analyzed …
- 13:18 Ticket #37 (Update libc++ and libc++abi.) created by
- 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
- 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
- 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
- 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
- Currently, leak checking is implemented as a vm_trace call. This …
- 22:54 Ticket #32 (Allow usermeta layers to be weak (debug).) created by
- This would be useful to be able to track per-object or even per-byte …
01/11/2019:
Note: See TracTimeline
for information about the timeline view.